*** setup configure setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/cflp-2009.2.1 --haddock-option=--built-in-themes --verbose Configuring cflp-2009.2.1... Dependency HUnit -any: using HUnit-1.2.2.1 Dependency MonadRandom -any: using MonadRandom-0.1.5 Dependency base ==4.*: using base-4.2.0.2 Dependency containers -any: using containers-0.3.0.0 Dependency control-monad-omega -any: using control-monad-omega-0.3 Dependency incremental-sat-solver -any: using incremental-sat-solver-0.1.7 Dependency level-monad -any: using level-monad-0.4.1 Dependency logict -any: using logict-0.4 Dependency mtl -any: using mtl-1.1.1.0 Dependency random -any: using random-1.0.0.2 Dependency stream-monad -any: using stream-monad-0.2 Dependency syb -any: using syb-0.1.0.2 Dependency value-supply -any: using value-supply-0.5 Using Cabal-1.8.0.2 compiled by ghc-6.12 Using compiler: ghc-6.12.3 Using install prefix: /usr/local/tmp/archive/install Binaries installed in: /usr/local/tmp/archive/install/bin Libraries installed in: /usr/local/tmp/archive/install/lib/cflp-2009.2.1/ghc-6.12.3 Private binaries installed in: /usr/local/tmp/archive/install/libexec Data files installed in: /usr/local/tmp/archive/install/share/cflp-2009.2.1 Documentation installed in: /usr/local/tmp/archive/install/share/doc/cflp-2009.2.1 Using alex version 2.3.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.16.0 found on system at: /usr/local/bin/c2hs Using cpphs version 1.11 found on system at: /usr/local/bin/cpphs Using ffihugs found on system at: /usr/local/bin/ffihugs Using gcc version 4.4.5 found on system at: /usr/bin/gcc Using ghc version 6.12.3 found on system at: /usr/local/bin/ghc Using ghc-pkg version 6.12.3 found on system at: /usr/local/bin/ghc-pkg Using greencard found on system at: /usr/local/tmp/archive/install/bin/greencard Using haddock version 2.8.1 found on system at: /usr/local/bin/haddock Using happy version 1.17 found on system at: /usr/local/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/local/bin/hsc2hs Using hscolour version 1.17 found on system at: /usr/local/bin/HsColour Using hugs found on system at: /usr/local/bin/hugs No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found Using pkg-config version 0.25 found on system at: /usr/bin/pkg-config 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 *** setup build setup/setup build --verbose Creating dist/build (and its parents) Creating dist/build/autogen (and its parents) Preprocessing library cflp-2009.2.1... Building cflp-2009.2.1... Building library... Creating dist/build (and its parents) /usr/local/bin/ghc --make -package-name cflp-2009.2.1 -hide-all-packages -fbuilding-cabal-package -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -odir dist/build -hidir dist/build -stubdir dist/build -package-id HUnit-1.2.2.1-e0ae454ae6a63df781b9c31184c1a583 -package-id MonadRandom-0.1.5-ed3ff9d02529db69df8248a75572ce35 -package-id base-4.2.0.2-10bdacb430274706a59728e237e2bfb3 -package-id containers-0.3.0.0-ee442470d8dcc9e45f31677c400c5379 -package-id control-monad-omega-0.3-2e1cfa1976514498b1b10f195d88c156 -package-id incremental-sat-solver-0.1.7-887826221a1d3eb7af0efcec4ac30a31 -package-id level-monad-0.4.1-fd0eb5d5ed12f2b356bf53cbb4e366cf -package-id logict-0.4-1c770ac91cf8992c6911894671a06be4 -package-id mtl-1.1.1.0-d036dc304ce29f3ccf77920ec7880651 -package-id random-1.0.0.2-f4208c3677aeaaaf41e4d36309c0b4ff -package-id stream-monad-0.2-3c647e701e809f75e79c2a7dd84f5a0b -package-id syb-0.1.0.2-0917873f366b0be90a48082271223b4e -package-id value-supply-0.5-1f87fa7ba28fdca434529cabbbf28a4d -O -Wall -fno-warn-orphans -fno-warn-name-shadowing -XGeneralizedNewtypeDeriving -XNoMonomorphismRestriction -XFunctionalDependencies -XMultiParamTypeClasses -XUndecidableInstances -XOverlappingInstances -XIncoherentInstances -XFlexibleInstances -XFlexibleContexts -XNoMonoPatBinds -XPatternGuards -XTypeOperators -XTypeFamilies -XRankNTypes CFLP CFLP.Constraints.Boolean CFLP.Strategies CFLP.Strategies.CallTimeChoice CFLP.Strategies.DepthCounter CFLP.Strategies.DepthLimit CFLP.Strategies.Random CFLP.Tests CFLP.Tests.Boolean CFLP.Tests.CallTimeChoice CFLP.Tests.HigherOrder CFLP.Types.Bool CFLP.Types.List CFLP.Control.Monad.Update CFLP.Control.Strategy CFLP.Data CFLP.Data.Generic CFLP.Data.HigherOrder CFLP.Data.Matching CFLP.Data.Narrowing CFLP.Data.Primitive CFLP.Data.Types CFLP.Data.UniqueID [ 1 of 23] Compiling CFLP.Control.Monad.Update ( src/CFLP/Control/Monad/Update.lhs, dist/build/CFLP/Control/Monad/Update.o ) [ 2 of 23] Compiling CFLP.Control.Strategy ( src/CFLP/Control/Strategy.lhs, dist/build/CFLP/Control/Strategy.o ) [ 3 of 23] Compiling CFLP.Strategies.CallTimeChoice ( src/CFLP/Strategies/CallTimeChoice.lhs, dist/build/CFLP/Strategies/CallTimeChoice.o ) [ 4 of 23] Compiling CFLP.Strategies.DepthCounter ( src/CFLP/Strategies/DepthCounter.lhs, dist/build/CFLP/Strategies/DepthCounter.o ) [ 5 of 23] Compiling CFLP.Strategies.DepthLimit ( src/CFLP/Strategies/DepthLimit.lhs, dist/build/CFLP/Strategies/DepthLimit.o ) [ 6 of 23] Compiling CFLP.Strategies.Random ( src/CFLP/Strategies/Random.lhs, dist/build/CFLP/Strategies/Random.o ) [ 7 of 23] Compiling CFLP.Data.Types ( src/CFLP/Data/Types.lhs, dist/build/CFLP/Data/Types.o ) [ 8 of 23] Compiling CFLP.Data.Generic ( src/CFLP/Data/Generic.lhs, dist/build/CFLP/Data/Generic.o ) [ 9 of 23] Compiling CFLP.Data.Primitive ( src/CFLP/Data/Primitive.lhs, dist/build/CFLP/Data/Primitive.o ) [10 of 23] Compiling CFLP.Data.UniqueID ( src/CFLP/Data/UniqueID.lhs, dist/build/CFLP/Data/UniqueID.o ) [11 of 23] Compiling CFLP.Data.Matching ( src/CFLP/Data/Matching.lhs, dist/build/CFLP/Data/Matching.o ) [12 of 23] Compiling CFLP.Data.Narrowing ( src/CFLP/Data/Narrowing.lhs, dist/build/CFLP/Data/Narrowing.o ) src/CFLP/Data/Narrowing.lhs:20:2: Warning: The import of `Control.Monad' is redundant except perhaps to import instances from `Control.Monad' To import instances alone, use: import Control.Monad() [13 of 23] Compiling CFLP.Data.HigherOrder ( src/CFLP/Data/HigherOrder.lhs, dist/build/CFLP/Data/HigherOrder.o ) [14 of 23] Compiling CFLP.Data ( src/CFLP/Data.lhs, dist/build/CFLP/Data.o ) [15 of 23] Compiling CFLP ( src/CFLP.lhs, dist/build/CFLP.o ) [16 of 23] Compiling CFLP.Types.Bool ( src/CFLP/Types/Bool.lhs, dist/build/CFLP/Types/Bool.o ) [17 of 23] Compiling CFLP.Constraints.Boolean ( src/CFLP/Constraints/Boolean.lhs, dist/build/CFLP/Constraints/Boolean.o ) src/CFLP/Constraints/Boolean.lhs:35:2: Warning: The import of `Context' from module `CFLP.Data.Types' is redundant [18 of 23] Compiling CFLP.Strategies ( src/CFLP/Strategies.lhs, dist/build/CFLP/Strategies.o ) src/CFLP/Strategies.lhs:72:22: Not in scope: type constructor or class `Levels' src/CFLP/Strategies.lhs:72:49: Not in scope: `breadthFirstSearch' src/CFLP/Strategies.lhs:74:46: Not in scope: type constructor or class `Levels' src/CFLP/Strategies.lhs:132:62: Not in scope: type constructor or class `Levels' *** Trying again with preferred-versions *** setup configure setup/setup configure --ghc --user --prefix=/usr/local/tmp/archive/install --haddock-option=--use-contents=/package/cflp-2009.2.1 --haddock-option=--built-in-themes --constraint=base<4 --constraint=parsec<3 --constraint=QuickCheck<2 --verbose Configuring cflp-2009.2.1... setup: At least the following dependencies are missing: base ==4.* && <4