Build #1 for liquid-fixpoint-0.1.0.0
| Package | liquid-fixpoint-0.1.0.0 |
|---|
| Install | InstallFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | unordered-containers-0.2.3.3, text-0.11.2.3, syb-0.4.1, process-1.1.0.2, pretty-1.1.1.0, parsec-3.1.3, mtl-2.1.2, hashable-1.1.2.5, ghc-prim-0.3.0.0, ghc-7.6.3, filepath-1.3.0.1, filemanip-0.3.6.2, directory-1.2.0.1, deepseq-1.3.0.1, containers-0.5.0.0, cmdargs-0.10.5, bytestring-0.10.0.2, bifunctors-3.2.0.1, base-4.6.0.1, array-0.4.0.1, ansi-terminal-0.6 |
| Flags | -z3mem |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
[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
Test log
No test log was submitted for this report.