[1 of 1] Compiling Main ( /tmp/liquid-fixpoint-0.1.0.0-6759/liquid-fixpoint-0.1.0.0/Setup.hs, /tmp/liquid-fixpoint-0.1.0.0-6759/liquid-fixpoint-0.1.0.0/dist/setup/Main.o ) Linking /tmp/liquid-fixpoint-0.1.0.0-6759/liquid-fixpoint-0.1.0.0/dist/setup/setup ... Configuring liquid-fixpoint-0.1.0.0... Flags chosen: z3mem=False Dependency ansi-terminal ==0.6: using ansi-terminal-0.6 Dependency array ==0.4.0.1: using array-0.4.0.1 Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency bifunctors ==3.2.0.1: using bifunctors-3.2.0.1 Dependency bytestring ==0.10.0.2: using bytestring-0.10.0.2 Dependency cmdargs ==0.10.5: using cmdargs-0.10.5 Dependency containers ==0.5.0.0: using containers-0.5.0.0 Dependency deepseq ==1.3.0.1: using deepseq-1.3.0.1 Dependency directory ==1.2.0.1: using directory-1.2.0.1 Dependency filemanip ==0.3.6.2: using filemanip-0.3.6.2 Dependency filepath ==1.3.0.1: using filepath-1.3.0.1 Dependency ghc ==7.6.3: using ghc-7.6.3 Dependency ghc-prim ==0.3.0.0: using ghc-prim-0.3.0.0 Dependency hashable ==1.1.2.5: using hashable-1.1.2.5 Dependency liquid-fixpoint -any: using liquid-fixpoint-0.1.0.0 Dependency mtl ==2.1.2: using mtl-2.1.2 Dependency parsec ==3.1.3: using parsec-3.1.3 Dependency pretty ==1.1.1.0: using pretty-1.1.1.0 Dependency process ==1.1.0.2: using process-1.1.0.2 Dependency syb ==0.4.1: using syb-0.4.1 Dependency text ==0.11.2.3: using text-0.11.2.3 Dependency unordered-containers ==0.2.3.3: using unordered-containers-0.2.3.3 Using Cabal-1.16.0.3 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /srv/hackage/var/build/cache/inst Binaries installed in: /srv/hackage/var/build/cache/inst/bin Libraries installed in: /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3 Private binaries installed in: /srv/hackage/var/build/cache/inst/libexec Data files installed in: /srv/hackage/var/build/cache/inst/share/liquid-fixpoint-0.1.0.0 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0 Using alex version 3.0.1 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.7 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/local/bin/ghc-pkg No greencard found Using haddock version 2.13.2 found on system at: /usr/local/bin/haddock Using happy version 1.18.9 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/local/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.19 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found creating dist/build creating dist/build/autogen Building liquid-fixpoint-0.1.0.0... Preprocessing library liquid-fixpoint-0.1.0.0... Building library... creating dist/build /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name liquid-fixpoint-0.1.0.0 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id ansi-terminal-0.6-0cc945db2421314246a07a2e8bf2b9e1 -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id bifunctors-3.2.0.1-757f218b50cfd18b657cb320880fcb4a -package-id bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f -package-id cmdargs-0.10.5-e8b67b60f45290a711fd0a44f15fd8df -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926 -package-id directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 -package-id filemanip-0.3.6.2-27e729afa899bc9a45d44368784458a0 -package-id filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe -package-id ghc-7.6.3-18957ddbb817289f604552aa2da2e879 -package-id ghc-prim-0.3.0.0-d5221a8c8a269b66ab9a07bdc23317dd -package-id hashable-1.1.2.5-d0c2b865b27c9acc743f122c2cbfc1c8 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id parsec-3.1.3-9c21adc149b2590d4342ec560ee50362 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id process-1.1.0.2-76e05340eb66705981411022731ca84a -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 -package-id unordered-containers-0.2.3.3-336ddf5b94b694be43249a5569db1258 -XHaskell98 Language.Fixpoint.Names Language.Fixpoint.Files Language.Fixpoint.Config Language.Fixpoint.Types Language.Fixpoint.Sort Language.Fixpoint.Interface Language.Fixpoint.Parse Language.Fixpoint.PrettyPrint Language.Fixpoint.Misc -O0 [1 of 9] Compiling Language.Fixpoint.Misc ( src/Language/Fixpoint/Misc.hs, dist/build/Language/Fixpoint/Misc.o ) [2 of 9] Compiling Language.Fixpoint.Files ( src/Language/Fixpoint/Files.hs, dist/build/Language/Fixpoint/Files.o ) src/Language/Fixpoint/Files.hs:79:5: Warning: Pattern match(es) are overlapped In an equation for `go': go _ = ... [3 of 9] Compiling Language.Fixpoint.Config ( src/Language/Fixpoint/Config.hs, dist/build/Language/Fixpoint/Config.o ) [4 of 9] Compiling Language.Fixpoint.Names ( src/Language/Fixpoint/Names.hs, dist/build/Language/Fixpoint/Names.o ) [5 of 9] Compiling Language.Fixpoint.Types ( src/Language/Fixpoint/Types.hs, dist/build/Language/Fixpoint/Types.o ) [6 of 9] Compiling Language.Fixpoint.Sort ( src/Language/Fixpoint/Sort.hs, dist/build/Language/Fixpoint/Sort.o ) [7 of 9] Compiling Language.Fixpoint.Parse ( src/Language/Fixpoint/Parse.hs, dist/build/Language/Fixpoint/Parse.o ) [8 of 9] Compiling Language.Fixpoint.Interface ( src/Language/Fixpoint/Interface.hs, dist/build/Language/Fixpoint/Interface.o ) [9 of 9] Compiling Language.Fixpoint.PrettyPrint ( src/Language/Fixpoint/PrettyPrint.hs, dist/build/Language/Fixpoint/PrettyPrint.o ) src/Language/Fixpoint/PrettyPrint.hs:96:1: Warning: Pattern match(es) are overlapped In an equation for `pprintBin': pprintBin b o [] = ... pprintBin b o [x] = ... pprintBin b o (x : xs) = ... Linking... /usr/bin/ar -r dist/build/libHSliquid-fixpoint-0.1.0.0.a dist/build/Language/Fixpoint/Names.o dist/build/Language/Fixpoint/Files.o dist/build/Language/Fixpoint/Config.o dist/build/Language/Fixpoint/Types.o dist/build/Language/Fixpoint/Sort.o dist/build/Language/Fixpoint/Interface.o dist/build/Language/Fixpoint/Parse.o dist/build/Language/Fixpoint/PrettyPrint.o dist/build/Language/Fixpoint/Misc.o /usr/bin/ar: creating dist/build/libHSliquid-fixpoint-0.1.0.0.a In-place registering liquid-fixpoint-0.1.0.0... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --package-db=dist/package.conf.inplace --no-user-package-conf Preprocessing executable 'fixpoint' for liquid-fixpoint-0.1.0.0... Building executable fixpoint... creating dist/build/fixpoint creating dist/build/fixpoint/fixpoint-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/fixpoint/fixpoint-tmp -hidir dist/build/fixpoint/fixpoint-tmp -stubdir dist/build/fixpoint/fixpoint-tmp -i -idist/build/fixpoint/fixpoint-tmp -i. -idist/build/autogen -Idist/build/autogen -Idist/build/fixpoint/fixpoint-tmp -optP-include -optPdist/build/autogen/cabal_macros.h -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-db dist/package.conf.inplace -package-id ansi-terminal-0.6-0cc945db2421314246a07a2e8bf2b9e1 -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id bifunctors-3.2.0.1-757f218b50cfd18b657cb320880fcb4a -package-id bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f -package-id cmdargs-0.10.5-e8b67b60f45290a711fd0a44f15fd8df -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926 -package-id directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 -package-id filemanip-0.3.6.2-27e729afa899bc9a45d44368784458a0 -package-id filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe -package-id ghc-7.6.3-18957ddbb817289f604552aa2da2e879 -package-id ghc-prim-0.3.0.0-d5221a8c8a269b66ab9a07bdc23317dd -package-id hashable-1.1.2.5-d0c2b865b27c9acc743f122c2cbfc1c8 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id parsec-3.1.3-9c21adc149b2590d4342ec560ee50362 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id process-1.1.0.2-76e05340eb66705981411022731ca84a -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 -package-id unordered-containers-0.2.3.3-336ddf5b94b694be43249a5569db1258 -package-id liquid-fixpoint-0.1.0.0-inplace -XHaskell98 ./Fixpoint.hs -o dist/build/fixpoint/fixpoint -O0 [1 of 1] Compiling Main ( Fixpoint.hs, dist/build/fixpoint/fixpoint-tmp/Main.o ) Linking dist/build/fixpoint/fixpoint ... Running Haddock for liquid-fixpoint-0.1.0.0... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for liquid-fixpoint-0.1.0.0... creating dist/doc/html/liquid-fixpoint creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/liquid-fixpoint Preprocessing library liquid-fixpoint-0.1.0.0... creating dist/doc/html/liquid-fixpoint/src /usr/bin/HsColour -print-css -odist/doc/html/liquid-fixpoint/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Names.html src/Language/Fixpoint/Names.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Files.html src/Language/Fixpoint/Files.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Config.html src/Language/Fixpoint/Config.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Types.html src/Language/Fixpoint/Types.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Sort.html src/Language/Fixpoint/Sort.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Interface.html src/Language/Fixpoint/Interface.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Parse.html src/Language/Fixpoint/Parse.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-PrettyPrint.html src/Language/Fixpoint/PrettyPrint.hs /usr/bin/HsColour -css -anchor -odist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Misc.html src/Language/Fixpoint/Misc.hs Preprocessing executable 'fixpoint' for liquid-fixpoint-0.1.0.0... /usr/local/bin/ghc --print-libdir -O0 Preprocessing library liquid-fixpoint-0.1.0.0... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: rts-1.0, mtl-2.1.2, parsec-3.1.3, text-0.11.2.3, transformers-0.3.0.0 copy src/Language/Fixpoint/Names.hs to dist/build/tmp-8299/src/Language/Fixpoint/Names.hs copy src/Language/Fixpoint/Files.hs to dist/build/tmp-8299/src/Language/Fixpoint/Files.hs copy src/Language/Fixpoint/Config.hs to dist/build/tmp-8299/src/Language/Fixpoint/Config.hs copy src/Language/Fixpoint/Types.hs to dist/build/tmp-8299/src/Language/Fixpoint/Types.hs copy src/Language/Fixpoint/Sort.hs to dist/build/tmp-8299/src/Language/Fixpoint/Sort.hs copy src/Language/Fixpoint/Interface.hs to dist/build/tmp-8299/src/Language/Fixpoint/Interface.hs copy src/Language/Fixpoint/Parse.hs to dist/build/tmp-8299/src/Language/Fixpoint/Parse.hs copy src/Language/Fixpoint/PrettyPrint.hs to dist/build/tmp-8299/src/Language/Fixpoint/PrettyPrint.hs copy src/Language/Fixpoint/Misc.hs to dist/build/tmp-8299/src/Language/Fixpoint/Misc.hs creating dist/doc/html/liquid-fixpoint /usr/local/bin/haddock --prologue=dist/doc/html/liquid-fixpoint/haddock-prolog8299.txt --dump-interface=dist/doc/html/liquid-fixpoint/liquid-fixpoint.haddock --optghc=-package-name --optghc=liquid-fixpoint-0.1.0.0 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/liquid-fixpoint-0.1.0.0 --verbosity=1 --html --read-interface=/package/Cabal-1.16.0/docs,/usr/local/share/doc/ghc/html/libraries/Cabal-1.16.0/Cabal.haddock --read-interface=/package/ansi-terminal-0.6/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/ansi-terminal.haddock --read-interface=/package/array-0.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/array-0.4.0.1/array.haddock --read-interface=/package/base-4.6.0.1/docs,/usr/local/share/doc/ghc/html/libraries/base-4.6.0.1/base.haddock --read-interface=/package/bifunctors-3.2.0.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/bifunctors.haddock --read-interface=/package/bin-package-db-0.0.0.0/docs,/usr/local/share/doc/ghc/html/libraries/bin-package-db-0.0.0.0/bin-package-db.haddock --read-interface=/package/binary-0.5.1.1/docs,/usr/local/share/doc/ghc/html/libraries/binary-0.5.1.1/binary.haddock --read-interface=/package/bytestring-0.10.0.2/docs,/usr/local/share/doc/ghc/html/libraries/bytestring-0.10.0.2/bytestring.haddock --read-interface=/package/cmdargs-0.10.5/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/cmdargs.haddock --read-interface=/package/comonad-3.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/comonad.haddock --read-interface=/package/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.haddock --read-interface=/package/contravariant-0.4.4/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/contravariant.haddock --read-interface=/package/deepseq-1.3.0.1/docs,/usr/local/share/doc/ghc/html/libraries/deepseq-1.3.0.1/deepseq.haddock --read-interface=/package/directory-1.2.0.1/docs,/usr/local/share/doc/ghc/html/libraries/directory-1.2.0.1/directory.haddock --read-interface=/package/filemanip-0.3.6.2/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/filemanip.haddock --read-interface=/package/filepath-1.3.0.1/docs,/usr/local/share/doc/ghc/html/libraries/filepath-1.3.0.1/filepath.haddock --read-interface=/package/ghc-7.6.3/docs,/usr/local/share/doc/ghc/html/libraries/ghc-7.6.3/ghc.haddock --read-interface=/package/ghc-prim-0.3.0.0/docs,/usr/local/share/doc/ghc/html/libraries/ghc-prim-0.3.0.0/ghc-prim.haddock --read-interface=/package/hashable-1.1.2.5/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/hashable.haddock --read-interface=/package/hoopl-3.9.0.0/docs,/usr/local/share/doc/ghc/html/libraries/hoopl-3.9.0.0/hoopl.haddock --read-interface=/package/hpc-0.6.0.0/docs,/usr/local/share/doc/ghc/html/libraries/hpc-0.6.0.0/hpc.haddock --read-interface=/package/integer-gmp-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/integer-gmp-0.5.0.0/integer-gmp.haddock --read-interface=/package/nats-0.1.2/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/nats.haddock --read-interface=/package/old-locale-1.0.0.5/docs,/usr/local/share/doc/ghc/html/libraries/old-locale-1.0.0.5/old-locale.haddock --read-interface=/package/old-time-1.1.0.1/docs,/usr/local/share/doc/ghc/html/libraries/old-time-1.1.0.1/old-time.haddock --read-interface=/package/pretty-1.1.1.0/docs,/usr/local/share/doc/ghc/html/libraries/pretty-1.1.1.0/pretty.haddock --read-interface=/package/process-1.1.0.2/docs,/usr/local/share/doc/ghc/html/libraries/process-1.1.0.2/process.haddock --read-interface=/package/semigroupoids-3.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/semigroupoids.haddock --read-interface=/package/semigroups-0.11/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/semigroups.haddock --read-interface=/package/syb-0.4.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/syb.haddock --read-interface=/package/tagged-0.7/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/tagged.haddock --read-interface=/package/template-haskell-2.8.0.0/docs,/usr/local/share/doc/ghc/html/libraries/template-haskell-2.8.0.0/template-haskell.haddock --read-interface=/package/time-1.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/time-1.4.0.1/time.haddock --read-interface=/package/transformers-compat-0.1.1.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/transformers-compat.haddock --read-interface=/package/unix-2.6.0.1/docs,/usr/local/share/doc/ghc/html/libraries/unix-2.6.0.1/unix.haddock --read-interface=/package/unix-compat-0.4.1.1/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/unix-compat.haddock --read-interface=/package/unordered-containers-0.2.3.3/docs,/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/unordered-containers.haddock --odir=dist/doc/html/liquid-fixpoint/ --title=liquid-fixpoint-0.1.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-8299 --optghc=-hidir --optghc=dist/build/tmp-8299 --optghc=-stubdir --optghc=dist/build/tmp-8299 --optghc=-i --optghc=-idist/build --optghc=-isrc --optghc=-idist/build/autogen --optghc=-Idist/build/autogen --optghc=-Idist/build --optghc=-optP-include --optghc=-optPdist/build/autogen/cabal_macros.h --optghc=-hide-all-packages --optghc=-package-db --optghc=/srv/hackage/var/build/cache/inst/local.conf.d --optghc=-package-id --optghc=ansi-terminal-0.6-0cc945db2421314246a07a2e8bf2b9e1 --optghc=-package-id --optghc=array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 --optghc=-package-id --optghc=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=bifunctors-3.2.0.1-757f218b50cfd18b657cb320880fcb4a --optghc=-package-id --optghc=bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f --optghc=-package-id --optghc=cmdargs-0.10.5-e8b67b60f45290a711fd0a44f15fd8df --optghc=-package-id --optghc=containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 --optghc=-package-id --optghc=deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926 --optghc=-package-id --optghc=directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 --optghc=-package-id --optghc=filemanip-0.3.6.2-27e729afa899bc9a45d44368784458a0 --optghc=-package-id --optghc=filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe --optghc=-package-id --optghc=ghc-7.6.3-18957ddbb817289f604552aa2da2e879 --optghc=-package-id --optghc=ghc-prim-0.3.0.0-d5221a8c8a269b66ab9a07bdc23317dd --optghc=-package-id --optghc=hashable-1.1.2.5-d0c2b865b27c9acc743f122c2cbfc1c8 --optghc=-package-id --optghc=mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 --optghc=-package-id --optghc=parsec-3.1.3-9c21adc149b2590d4342ec560ee50362 --optghc=-package-id --optghc=pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 --optghc=-package-id --optghc=process-1.1.0.2-76e05340eb66705981411022731ca84a --optghc=-package-id --optghc=syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 --optghc=-package-id --optghc=text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 --optghc=-package-id --optghc=unordered-containers-0.2.3.3-336ddf5b94b694be43249a5569db1258 --optghc=-XHaskell98 -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-8299/src/Language/Fixpoint/Names.hs dist/build/tmp-8299/src/Language/Fixpoint/Files.hs dist/build/tmp-8299/src/Language/Fixpoint/Config.hs dist/build/tmp-8299/src/Language/Fixpoint/Types.hs dist/build/tmp-8299/src/Language/Fixpoint/Sort.hs dist/build/tmp-8299/src/Language/Fixpoint/Interface.hs dist/build/tmp-8299/src/Language/Fixpoint/Parse.hs dist/build/tmp-8299/src/Language/Fixpoint/PrettyPrint.hs dist/build/tmp-8299/src/Language/Fixpoint/Misc.hs --built-in-themes Haddock coverage: 0% ( 0 / 82) in 'Language.Fixpoint.Misc' 33% ( 5 / 15) in 'Language.Fixpoint.Files' 0% ( 0 / 6) in 'Language.Fixpoint.Config' 14% ( 2 / 14) in 'Language.Fixpoint.Names' 18% ( 24 /135) in 'Language.Fixpoint.Types' 50% ( 3 / 6) in 'Language.Fixpoint.Sort' 27% ( 10 / 37) in 'Language.Fixpoint.Parse' 60% ( 6 / 10) in 'Language.Fixpoint.Interface' 0% ( 0 / 8) in 'Language.Fixpoint.PrettyPrint' Warning: Language.Fixpoint.Types: could not find link destinations for: Language.Fixpoint.Types.Falseable Warning: Language.Fixpoint.Sort: could not find link destinations for: Language.Fixpoint.Sort.Checkable Warning: Language.Fixpoint.Parse: could not find link destinations for: Text.Parsec.Prim.Parsec Text.Parsec.Token.GenTokenParser Data.Functor.Identity.Identity Text.Parsec.Prim.ParsecT Text.Parsec.Prim.Stream Text.Parsec.Pos.SourceName Warning: Language.Fixpoint.PrettyPrint: could not find link destinations for: Text.Parsec.Pos.SourcePos Documentation created: dist/doc/html/liquid-fixpoint/index.html Preprocessing executable 'fixpoint' for liquid-fixpoint-0.1.0.0... directory dist/doc/html/liquid-fixpoint does exist: True creating /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html copy directory 'dist/doc/html/liquid-fixpoint' to '/srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html'. creating /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html creating /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src Installing dist/doc/html/liquid-fixpoint/liquid-fixpoint.haddock to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/liquid-fixpoint.haddock Installing dist/doc/html/liquid-fixpoint/doc-index-A.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-A.html Installing dist/doc/html/liquid-fixpoint/doc-index-B.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-B.html Installing dist/doc/html/liquid-fixpoint/doc-index-C.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-C.html Installing dist/doc/html/liquid-fixpoint/doc-index-D.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-D.html Installing dist/doc/html/liquid-fixpoint/doc-index-E.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-E.html Installing dist/doc/html/liquid-fixpoint/doc-index-F.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-F.html Installing dist/doc/html/liquid-fixpoint/doc-index-G.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-G.html Installing dist/doc/html/liquid-fixpoint/doc-index-H.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-H.html Installing dist/doc/html/liquid-fixpoint/doc-index-I.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-I.html Installing dist/doc/html/liquid-fixpoint/doc-index-J.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-J.html Installing dist/doc/html/liquid-fixpoint/doc-index-K.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-K.html Installing dist/doc/html/liquid-fixpoint/doc-index-L.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-L.html Installing dist/doc/html/liquid-fixpoint/doc-index-M.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-M.html Installing dist/doc/html/liquid-fixpoint/doc-index-N.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-N.html Installing dist/doc/html/liquid-fixpoint/doc-index-O.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-O.html Installing dist/doc/html/liquid-fixpoint/doc-index-P.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-P.html Installing dist/doc/html/liquid-fixpoint/doc-index-Q.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-Q.html Installing dist/doc/html/liquid-fixpoint/doc-index-R.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-R.html Installing dist/doc/html/liquid-fixpoint/doc-index-S.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-S.html Installing dist/doc/html/liquid-fixpoint/doc-index-T.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-T.html Installing dist/doc/html/liquid-fixpoint/doc-index-U.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-U.html Installing dist/doc/html/liquid-fixpoint/doc-index-V.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-V.html Installing dist/doc/html/liquid-fixpoint/doc-index-W.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-W.html Installing dist/doc/html/liquid-fixpoint/doc-index-Z.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-Z.html Installing dist/doc/html/liquid-fixpoint/doc-index-61.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-61.html Installing dist/doc/html/liquid-fixpoint/doc-index-All.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index-All.html Installing dist/doc/html/liquid-fixpoint/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/doc-index.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Misc.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Misc.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Misc.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Misc.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Files.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Files.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Files.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Files.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Config.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Config.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Config.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Config.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Names.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Names.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Names.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Names.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Types.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Types.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Types.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Types.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Sort.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Sort.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Sort.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Sort.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Parse.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Parse.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Parse.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Parse.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-Interface.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-Interface.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-Interface.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-Interface.html Installing dist/doc/html/liquid-fixpoint/Language-Fixpoint-PrettyPrint.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/Language-Fixpoint-PrettyPrint.html Installing dist/doc/html/liquid-fixpoint/mini_Language-Fixpoint-PrettyPrint.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/mini_Language-Fixpoint-PrettyPrint.html Installing dist/doc/html/liquid-fixpoint/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/hslogo-16.png Installing dist/doc/html/liquid-fixpoint/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/minus.gif Installing dist/doc/html/liquid-fixpoint/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/ocean.css Installing dist/doc/html/liquid-fixpoint/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/plus.gif Installing dist/doc/html/liquid-fixpoint/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/synopsis.png Installing dist/doc/html/liquid-fixpoint/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/haskell_icon.gif Installing dist/doc/html/liquid-fixpoint/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/xhaddock.css Installing dist/doc/html/liquid-fixpoint/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/haddock-util.js Installing dist/doc/html/liquid-fixpoint/frames.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/frames.html Installing dist/doc/html/liquid-fixpoint/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/hscolour.css Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Names.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Names.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Files.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Files.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Config.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Config.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Types.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Types.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Sort.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Sort.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Interface.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Interface.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Parse.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Parse.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-PrettyPrint.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-PrettyPrint.html Installing dist/doc/html/liquid-fixpoint/src/Language-Fixpoint-Misc.html to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/src/Language-Fixpoint-Misc.html creating /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html Installing dist/doc/html/liquid-fixpoint/liquid-fixpoint.haddock to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/html/liquid-fixpoint.haddock creating /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0 Installing LICENSE to /srv/hackage/var/build/cache/inst/share/doc/liquid-fixpoint-0.1.0.0/LICENSE Installing library in /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3 Installing executable(s) in /srv/hackage/var/build/cache/inst/bin creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0 creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint Installing dist/build/Language/Fixpoint/Names.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Names.hi Installing dist/build/Language/Fixpoint/Files.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Files.hi Installing dist/build/Language/Fixpoint/Config.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Config.hi Installing dist/build/Language/Fixpoint/Types.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Types.hi Installing dist/build/Language/Fixpoint/Sort.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Sort.hi Installing dist/build/Language/Fixpoint/Interface.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Interface.hi Installing dist/build/Language/Fixpoint/Parse.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Parse.hi Installing dist/build/Language/Fixpoint/PrettyPrint.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/PrettyPrint.hi Installing dist/build/Language/Fixpoint/Misc.hi to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/Language/Fixpoint/Misc.hi creating /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3 Installing dist/build/libHSliquid-fixpoint-0.1.0.0.a to /srv/hackage/var/build/cache/inst/lib/liquid-fixpoint-0.1.0.0/ghc-7.6.3/libHSliquid-fixpoint-0.1.0.0.a creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/fixpoint/fixpoint to /srv/hackage/var/build/cache/inst/bin/fixpoint /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/fixpoint ./configure: line 6: ocamlc: command not found checking for ocamlc... no configure: error: Cannot find ocamlc. /usr/local/bin/ghc --abi-hash -fbuilding-cabal-package -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name liquid-fixpoint-0.1.0.0 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id ansi-terminal-0.6-0cc945db2421314246a07a2e8bf2b9e1 -package-id array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3 -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id bifunctors-3.2.0.1-757f218b50cfd18b657cb320880fcb4a -package-id bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f -package-id cmdargs-0.10.5-e8b67b60f45290a711fd0a44f15fd8df -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926 -package-id directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 -package-id filemanip-0.3.6.2-27e729afa899bc9a45d44368784458a0 -package-id filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe -package-id ghc-7.6.3-18957ddbb817289f604552aa2da2e879 -package-id ghc-prim-0.3.0.0-d5221a8c8a269b66ab9a07bdc23317dd -package-id hashable-1.1.2.5-d0c2b865b27c9acc743f122c2cbfc1c8 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id parsec-3.1.3-9c21adc149b2590d4342ec560ee50362 -package-id pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396 -package-id process-1.1.0.2-76e05340eb66705981411022731ca84a -package-id syb-0.4.1-c0ac57d8df13380d77cfe67fa7c54af9 -package-id text-0.11.2.3-20bbe8fabd6e57647019c7050504c715 -package-id unordered-containers-0.2.3.3-336ddf5b94b694be43249a5569db1258 -XHaskell98 Language.Fixpoint.Names Language.Fixpoint.Files Language.Fixpoint.Config Language.Fixpoint.Types Language.Fixpoint.Sort Language.Fixpoint.Interface Language.Fixpoint.Parse Language.Fixpoint.PrettyPrint Language.Fixpoint.Misc -O0 Registering liquid-fixpoint-0.1.0.0... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf Post Install: "/srv/hackage/var/build/cache/inst/bin/" EXEC: ./configure EXEC: ./build.sh setup: cmd: ./build.sh failure code 1