Configuring obdd-0.2.3... Dependency base ==4.6.0.1: using base-4.6.0.1 Dependency containers ==0.5.0.0: using containers-0.5.0.0 Dependency mtl ==2.1.2: using mtl-2.1.2 Dependency random ==1.0.1.1: using random-1.0.1.1 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/obdd-0.2.3/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/obdd-0.2.3 Documentation installed in: /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3 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 obdd-0.2.3... Preprocessing library obdd-0.2.3... 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 obdd-0.2.3 -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 containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id random-1.0.1.1-43fdc5da991685d8a0ec8cb553880cf8 -XHaskell98 OBDD OBDD.Data OBDD.Make OBDD.Operation OBDD.Property -funbox-strict-fields -O0 [1 of 5] Compiling OBDD.Data ( src/OBDD/Data.hs, dist/build/OBDD/Data.o ) [2 of 5] Compiling OBDD.Make ( src/OBDD/Make.hs, dist/build/OBDD/Make.o ) [3 of 5] Compiling OBDD.Operation ( src/OBDD/Operation.hs, dist/build/OBDD/Operation.o ) [4 of 5] Compiling OBDD.Property ( src/OBDD/Property.hs, dist/build/OBDD/Property.o ) [5 of 5] Compiling OBDD ( src/OBDD.hs, dist/build/OBDD.o ) Linking... /usr/bin/ar -r dist/build/libHSobdd-0.2.3.a dist/build/OBDD.o dist/build/OBDD/Data.o dist/build/OBDD/Make.o dist/build/OBDD/Operation.o dist/build/OBDD/Property.o /usr/bin/ar: creating dist/build/libHSobdd-0.2.3.a In-place registering obdd-0.2.3... /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 Running Haddock for obdd-0.2.3... /usr/local/bin/haddock --ghc-version --built-in-themes creating dist/build creating dist/build/autogen Running hscolour for obdd-0.2.3... creating dist/doc/html/obdd creating dist/doc/html creating dist/doc creating dist/doc/html creating dist/doc/html/obdd Preprocessing library obdd-0.2.3... creating dist/doc/html/obdd/src /usr/bin/HsColour -print-css -odist/doc/html/obdd/src/hscolour.css /usr/bin/HsColour -css -anchor -odist/doc/html/obdd/src/OBDD.html src/OBDD.hs /usr/bin/HsColour -css -anchor -odist/doc/html/obdd/src/OBDD-Data.html src/OBDD/Data.hs /usr/bin/HsColour -css -anchor -odist/doc/html/obdd/src/OBDD-Make.html src/OBDD/Make.hs /usr/bin/HsColour -css -anchor -odist/doc/html/obdd/src/OBDD-Operation.html src/OBDD/Operation.hs /usr/bin/HsColour -css -anchor -odist/doc/html/obdd/src/OBDD-Property.html src/OBDD/Property.hs /usr/local/bin/ghc --print-libdir -O0 Preprocessing library obdd-0.2.3... 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, random-1.0.1.1, transformers-0.3.0.0 copy src/OBDD.hs to dist/build/tmp-28259/src/OBDD.hs copy src/OBDD/Data.hs to dist/build/tmp-28259/src/OBDD/Data.hs copy src/OBDD/Make.hs to dist/build/tmp-28259/src/OBDD/Make.hs copy src/OBDD/Operation.hs to dist/build/tmp-28259/src/OBDD/Operation.hs copy src/OBDD/Property.hs to dist/build/tmp-28259/src/OBDD/Property.hs creating dist/doc/html/obdd /usr/local/bin/haddock --prologue=dist/doc/html/obdd/haddock-prolog28259.txt --dump-interface=dist/doc/html/obdd/obdd.haddock --optghc=-package-name --optghc=obdd-0.2.3 --source-module=src/%{MODULE/./-}.html --source-entity=src/%{MODULE/./-}.html#%{NAME} --use-contents=/package/obdd-0.2.3 --verbosity=1 --html --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/containers-0.5.0.0/docs,/usr/local/share/doc/ghc/html/libraries/containers-0.5.0.0/containers.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/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/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/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/time-1.4.0.1/docs,/usr/local/share/doc/ghc/html/libraries/time-1.4.0.1/time.haddock --odir=dist/doc/html/obdd/ --title=obdd-0.2.3: Ordered Reduced Binary Decision Diagrams --optghc=-fbuilding-cabal-package --optghc=-odir --optghc=dist/build/tmp-28259 --optghc=-hidir --optghc=dist/build/tmp-28259 --optghc=-stubdir --optghc=dist/build/tmp-28259 --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=base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 --optghc=-package-id --optghc=containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 --optghc=-package-id --optghc=mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 --optghc=-package-id --optghc=random-1.0.1.1-43fdc5da991685d8a0ec8cb553880cf8 --optghc=-XHaskell98 --optghc=-funbox-strict-fields -B/usr/local/lib/ghc-7.6.3 dist/build/tmp-28259/src/OBDD.hs dist/build/tmp-28259/src/OBDD/Data.hs dist/build/tmp-28259/src/OBDD/Make.hs dist/build/tmp-28259/src/OBDD/Operation.hs dist/build/tmp-28259/src/OBDD/Property.hs --built-in-themes Haddock coverage: 59% ( 10 / 17) in 'OBDD.Data' 67% ( 2 / 3) in 'OBDD.Make' 36% ( 4 / 11) in 'OBDD.Operation' 83% ( 5 / 6) in 'OBDD.Property' 100% ( 5 / 5) in 'OBDD' Warning: OBDD.Data: could not find link destinations for: Control.Monad.Trans.State.Strict.State OBDD.Data.Index Documentation created: dist/doc/html/obdd/index.html directory dist/doc/html/obdd does exist: True creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3 creating /srv/hackage/var/build/cache/inst/share/doc creating /srv/hackage/var/build/cache/inst/share creating /srv/hackage/var/build/cache/inst/share/doc creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3 creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html copy directory 'dist/doc/html/obdd' to '/srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html'. creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src Installing dist/doc/html/obdd/obdd.haddock to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/obdd.haddock Installing dist/doc/html/obdd/doc-index.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/doc-index.html Installing dist/doc/html/obdd/OBDD-Data.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/OBDD-Data.html Installing dist/doc/html/obdd/mini_OBDD-Data.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/mini_OBDD-Data.html Installing dist/doc/html/obdd/OBDD-Make.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/OBDD-Make.html Installing dist/doc/html/obdd/mini_OBDD-Make.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/mini_OBDD-Make.html Installing dist/doc/html/obdd/OBDD-Operation.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/OBDD-Operation.html Installing dist/doc/html/obdd/mini_OBDD-Operation.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/mini_OBDD-Operation.html Installing dist/doc/html/obdd/OBDD-Property.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/OBDD-Property.html Installing dist/doc/html/obdd/mini_OBDD-Property.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/mini_OBDD-Property.html Installing dist/doc/html/obdd/OBDD.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/OBDD.html Installing dist/doc/html/obdd/mini_OBDD.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/mini_OBDD.html Installing dist/doc/html/obdd/hslogo-16.png to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/hslogo-16.png Installing dist/doc/html/obdd/minus.gif to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/minus.gif Installing dist/doc/html/obdd/ocean.css to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/ocean.css Installing dist/doc/html/obdd/plus.gif to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/plus.gif Installing dist/doc/html/obdd/synopsis.png to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/synopsis.png Installing dist/doc/html/obdd/haskell_icon.gif to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/haskell_icon.gif Installing dist/doc/html/obdd/xhaddock.css to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/xhaddock.css Installing dist/doc/html/obdd/haddock-util.js to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/haddock-util.js Installing dist/doc/html/obdd/frames.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/frames.html Installing dist/doc/html/obdd/src/hscolour.css to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/hscolour.css Installing dist/doc/html/obdd/src/OBDD.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/OBDD.html Installing dist/doc/html/obdd/src/OBDD-Data.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/OBDD-Data.html Installing dist/doc/html/obdd/src/OBDD-Make.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/OBDD-Make.html Installing dist/doc/html/obdd/src/OBDD-Operation.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/OBDD-Operation.html Installing dist/doc/html/obdd/src/OBDD-Property.html to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/src/OBDD-Property.html creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html Installing dist/doc/html/obdd/obdd.haddock to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/html/obdd.haddock creating /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3 Installing LICENSE to /srv/hackage/var/build/cache/inst/share/doc/obdd-0.2.3/LICENSE Installing library in /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3 creating /srv/hackage/var/build/cache/inst/lib creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3 creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3 creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD Installing dist/build/OBDD.hi to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD.hi Installing dist/build/OBDD/Data.hi to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD/Data.hi Installing dist/build/OBDD/Make.hi to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD/Make.hi Installing dist/build/OBDD/Operation.hi to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD/Operation.hi Installing dist/build/OBDD/Property.hi to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/OBDD/Property.hi creating /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3 Installing dist/build/libHSobdd-0.2.3.a to /srv/hackage/var/build/cache/inst/lib/obdd-0.2.3/ghc-7.6.3/libHSobdd-0.2.3.a /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 obdd-0.2.3 -hide-all-packages -package-db /srv/hackage/var/build/cache/inst/local.conf.d -package-id base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57 -package-id containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2 -package-id mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62 -package-id random-1.0.1.1-43fdc5da991685d8a0ec8cb553880cf8 -XHaskell98 OBDD OBDD.Data OBDD.Make OBDD.Operation OBDD.Property -funbox-strict-fields -O0 Registering obdd-0.2.3... /usr/local/bin/ghc-pkg update - --global --user --package-db=/srv/hackage/var/build/cache/inst/local.conf.d --no-user-package-conf