diff options
| -rw-r--r-- | dbreset/Main.hs | 2 | ||||
| -rwxr-xr-x | dist/dbreset-exe | bin | 22359912 -> 24105368 bytes | |||
| -rwxr-xr-x | dist/spectralrenga-exe | bin | 22356968 -> 24102456 bytes | |||
| -rwxr-xr-x | lib/ld-linux-x86-64.so.2 | bin | 221480 -> 0 bytes | |||
| -rwxr-xr-x | lib/libc.so.6 | bin | 2150424 -> 0 bytes | |||
| -rwxr-xr-x | lib/libdl.so.2 | bin | 22704 -> 0 bytes | |||
| -rw-r--r-- | lib/libgmp.a | bin | 0 -> 1311446 bytes | |||
| -rwxr-xr-x | lib/libgmp.so.10 | bin | 649512 -> 0 bytes | |||
| -rwxr-xr-x | lib/libm.so.6 | bin | 1323472 -> 0 bytes | |||
| -rwxr-xr-x | lib/libpthread.so.0 | bin | 154040 -> 0 bytes | |||
| -rwxr-xr-x | lib/librt.so.1 | bin | 39408 -> 0 bytes | |||
| -rwxr-xr-x | lib/libutil.so.1 | bin | 14440 -> 0 bytes | |||
| -rwxr-xr-x | lib/libz.so.1 | bin | 100096 -> 0 bytes | |||
| -rw-r--r-- | package.yaml | 12 | ||||
| -rw-r--r-- | spectralrenga.cabal | 14 | ||||
| -rw-r--r-- | src/Lib.hs | 1 |
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 Binary files differindex 3161336..9d5a8c7 100755 --- a/dist/dbreset-exe +++ b/dist/dbreset-exe diff --git a/dist/spectralrenga-exe b/dist/spectralrenga-exe Binary files differindex 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 Binary files differdeleted 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 Binary files differdeleted 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 Binary files differdeleted file mode 100755 index 2eb425e..0000000 --- a/lib/libdl.so.2 +++ /dev/null diff --git a/lib/libgmp.a b/lib/libgmp.a Binary files differnew file mode 100644 index 0000000..5886d4a --- /dev/null +++ b/lib/libgmp.a diff --git a/lib/libgmp.so.10 b/lib/libgmp.so.10 Binary files differdeleted 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 Binary files differdeleted 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 Binary files differdeleted 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 Binary files differdeleted 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 Binary files differdeleted 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 Binary files differdeleted 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 @@ -822,6 +822,7 @@ headMay [] = Nothing headMay (x:_) = Just x data HeadException = HeadException deriving (Show) + instance E.Exception HeadException mustHead :: [a] -> IO a |