Configuring cspmchecker-1.0.0... Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency directory ==1.2.0.1: using directory-1.2.0.1 Dependency filepath ==1.3.0.1: using filepath-1.3.0.1 Dependency haskeline ==0.7.0.3: using haskeline-0.7.0.3 Dependency libcspm ==1.0.0: using libcspm-1.0.0 Dependency mtl ==2.1.2: using mtl-2.1.2 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/cspmchecker-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/cspmchecker-1.0.0 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/cspmchecker-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 cspmchecker-1.0.0... Preprocessing executable 'cspmcheckeri' for cspmchecker-1.0.0... Building executable cspmcheckeri... creating dist/build/cspmcheckeri creating dist/build/cspmcheckeri/cspmcheckeri-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cspmcheckeri/cspmcheckeri-tmp -hidir dist/build/cspmcheckeri/cspmcheckeri-tmp -stubdir dist/build/cspmcheckeri/cspmcheckeri-tmp -i -idist/build/cspmcheckeri/cspmcheckeri-tmp -isrc/InteractiveChecker -idist/build/autogen -Idist/build/autogen -Idist/build/cspmcheckeri/cspmcheckeri-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 base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 -package-id filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe -package-id haskeline-0.7.0.3-9e6e865108b8ceeeb556cd6e93a059c3 -package-id libcspm-1.0.0-a0ccae68bd7f372b3df64a8c0f86e199 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -XHaskell98 src/InteractiveChecker/Main.hs -o dist/build/cspmcheckeri/cspmcheckeri -O0 [1 of 2] Compiling Monad ( src/InteractiveChecker/Monad.hs, dist/build/cspmcheckeri/cspmcheckeri-tmp/Monad.o ) [2 of 2] Compiling Main ( src/InteractiveChecker/Main.hs, dist/build/cspmcheckeri/cspmcheckeri-tmp/Main.o ) Linking dist/build/cspmcheckeri/cspmcheckeri ... Preprocessing executable 'cspmchecker' for cspmchecker-1.0.0... Building executable cspmchecker... creating dist/build/cspmchecker creating dist/build/cspmchecker/cspmchecker-tmp /usr/local/bin/ghc --make -fbuilding-cabal-package -odir dist/build/cspmchecker/cspmchecker-tmp -hidir dist/build/cspmchecker/cspmchecker-tmp -stubdir dist/build/cspmchecker/cspmchecker-tmp -i -idist/build/cspmchecker/cspmchecker-tmp -isrc/Checker -idist/build/autogen -Idist/build/autogen -Idist/build/cspmchecker/cspmchecker-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 base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2 -package-id filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe -package-id libcspm-1.0.0-a0ccae68bd7f372b3df64a8c0f86e199 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -XHaskell98 -XDoAndIfThenElse src/Checker/Main.hs -o dist/build/cspmchecker/cspmchecker -O0 [1 of 3] Compiling Monad ( src/Checker/Monad.hs, dist/build/cspmchecker/cspmchecker-tmp/Monad.o ) [2 of 3] Compiling Paths_cspmchecker ( dist/build/autogen/Paths_cspmchecker.hs, dist/build/cspmchecker/cspmchecker-tmp/Paths_cspmchecker.o ) [3 of 3] Compiling Main ( src/Checker/Main.hs, dist/build/cspmchecker/cspmchecker-tmp/Main.o ) Linking dist/build/cspmchecker/cspmchecker ... Warning: No documentation was generated as this package does not contain a library. Perhaps you want to use the --executables flag. directory dist/doc/html/cspmchecker does exist: False creating /srv/hackage/var/build/cache/inst/share/doc/cspmchecker-1.0.0 Installing LICENSE.txt to /srv/hackage/var/build/cache/inst/share/doc/cspmchecker-1.0.0/LICENSE.txt Installing executable(s) in /srv/hackage/var/build/cache/inst/bin creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cspmcheckeri/cspmcheckeri to /srv/hackage/var/build/cache/inst/bin/cspmcheckeri /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cspmcheckeri creating /srv/hackage/var/build/cache/inst/bin Installing executable dist/build/cspmchecker/cspmchecker to /srv/hackage/var/build/cache/inst/bin/cspmchecker /usr/bin/strip /srv/hackage/var/build/cache/inst/bin/cspmchecker