build

16 files changed, 25 insertions, 4 deletions

diff --git a/dbreset/Main.hs b/dbreset/Main.hs
index 83d8cb8..1f829d1 100644
--- a/dbreset/Main.hs
+++ b/dbreset/Main.hs
@@ -21,5 +21,5 @@ main = withTx $ \conn -> do
   execute_ conn "CREATE INDEX idx_arrows_dst ON arrows(dst);"
   g <- newStdGen >>= newIOGenM
   graphSpec <- makeDefaultGraphSpec g
-  Lib.createDomain conn (DomainName "piazza") graphSpec
+  _ <- Lib.createDomain conn (DomainName "piazza") graphSpec
   return ()
diff --git a/dist/dbreset-exe b/dist/dbreset-exe
index 3161336..9d5a8c7 100755
--- a/dist/dbreset-exe
+++ b/dist/dbreset-exe
diff --git a/dist/spectralrenga-exe b/dist/spectralrenga-exe
index c2188f3..b9cb94c 100755
--- a/dist/spectralrenga-exe
+++ b/dist/spectralrenga-exe
diff --git a/lib/ld-linux-x86-64.so.2 b/lib/ld-linux-x86-64.so.2
deleted file mode 100755
index e55a6ee..0000000
--- a/lib/ld-linux-x86-64.so.2
+++ /dev/null
diff --git a/lib/libc.so.6 b/lib/libc.so.6
deleted file mode 100755
index bf1f7f0..0000000
--- a/lib/libc.so.6
+++ /dev/null
diff --git a/lib/libdl.so.2 b/lib/libdl.so.2
deleted file mode 100755
index 2eb425e..0000000
--- a/lib/libdl.so.2
+++ /dev/null
diff --git a/lib/libgmp.a b/lib/libgmp.a
new file mode 100644
index 0000000..5886d4a
--- /dev/null
+++ b/lib/libgmp.a
diff --git a/lib/libgmp.so.10 b/lib/libgmp.so.10
deleted file mode 100755
index bb9d701..0000000
--- a/lib/libgmp.so.10
+++ /dev/null
diff --git a/lib/libm.so.6 b/lib/libm.so.6
deleted file mode 100755
index acc93c8..0000000
--- a/lib/libm.so.6
+++ /dev/null
diff --git a/lib/libpthread.so.0 b/lib/libpthread.so.0
deleted file mode 100755
index dd6fd87..0000000
--- a/lib/libpthread.so.0
+++ /dev/null
diff --git a/lib/librt.so.1 b/lib/librt.so.1
deleted file mode 100755
index 0dc565d..0000000
--- a/lib/librt.so.1
+++ /dev/null
diff --git a/lib/libutil.so.1 b/lib/libutil.so.1
deleted file mode 100755
index 7fa6bbf..0000000
--- a/lib/libutil.so.1
+++ /dev/null
diff --git a/lib/libz.so.1 b/lib/libz.so.1
deleted file mode 100755
index 3dad5f1..0000000
--- a/lib/libz.so.1
+++ /dev/null
diff --git a/package.yaml b/package.yaml
index ff152a1..fcb31e7 100644
--- a/package.yaml
+++ b/package.yaml
@@ -47,6 +47,12 @@ executables:
     - -threaded
     - -rtsopts
     - -with-rtsopts=-N
+    - -static
+    - -Wall
+    - -O2
+    cc-options: -static
+    ld-options: -static -pthread
+    extra-lib-dirs: ./lib/
     dependencies:
     - base
     - spectralrenga
@@ -57,6 +63,12 @@ executables:
     - -threaded
     - -rtsopts
     - -with-rtsopts=-N
+    - -static
+    - -Wall
+    - -O2
+    cc-options: -static
+    ld-options: -static -pthread
+    extra-lib-dirs: ./lib/
     dependencies:
     - base
     - spectralrenga
diff --git a/spectralrenga.cabal b/spectralrenga.cabal
index 4188e11..3910008 100644
--- a/spectralrenga.cabal
+++ b/spectralrenga.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.2.
+-- This file has been generated from package.yaml by hpack version 0.34.4.
 --
 -- see: https://github.com/sol/hpack
 
@@ -47,7 +47,11 @@ executable dbreset-exe
       Paths_spectralrenga
   hs-source-dirs:
       dbreset
-  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -static -Wall -O2
+  cc-options: -static
+  extra-lib-dirs:
+      ./lib/
+  ld-options: -static -pthread
   build-depends:
       base
     , containers
@@ -72,7 +76,11 @@ executable spectralrenga-exe
       Paths_spectralrenga
   hs-source-dirs:
       app
-  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N -static -Wall -O2
+  cc-options: -static
+  extra-lib-dirs:
+      ./lib/
+  ld-options: -static -pthread
   build-depends:
       base
     , containers
diff --git a/src/Lib.hs b/src/Lib.hs
index 629ed4f..6842144 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -822,6 +822,7 @@ headMay []    = Nothing
 headMay (x:_) = Just x
 
 data HeadException = HeadException deriving (Show)
+
 instance E.Exception HeadException
 
 mustHead :: [a] -> IO a