Resolving dependencies...
Configuring base-orphans-0.5.4...
Configuring memoize-0.8.1...
Building memoize-0.8.1...
Building base-orphans-0.5.4...
Installed base-orphans-0.5.4
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Configuring parallel-3.2.1.0...
Installed memoize-0.8.1
Building parallel-3.2.1.0...
Configuring primitive-0.6.1.0...
Installed mtl-2.2.1
Building primitive-0.6.1.0...
Configuring prelude-extras-0.4.0.3...
Installed parallel-3.2.1.0
Building prelude-extras-0.4.0.3...
Configuring reflection-2.1.2...
Installed primitive-0.6.1.0
Configuring stm-2.4.4.1...
Installed prelude-extras-0.4.0.3
Building reflection-2.1.2...
Building stm-2.4.4.1...
Configuring semigroups-0.18.2...
Installed stm-2.4.4.1
Building semigroups-0.18.2...
Configuring text-1.2.2.1...
Installed semigroups-0.18.2
Configuring timeit-1.0.0.0...
Installed reflection-2.1.2
Building text-1.2.2.1...
Building timeit-1.0.0.0...
Configuring transformers-compat-0.5.1.4...
Installed timeit-1.0.0.0
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring StateVar-1.1.0.4...
Building StateVar-1.1.0.4...
Configuring vector-0.11.0.0...
Installed StateVar-1.1.0.4
Building vector-0.11.0.0...
Configuring async-2.1.1...
Installed text-1.2.2.1
Building async-2.1.1...
Configuring tagged-0.8.5...
Installed async-2.1.1
Building tagged-0.8.5...
Configuring exceptions-0.8.3...
Installed tagged-0.8.5
Building exceptions-0.8.3...
Installed exceptions-0.8.3
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Configuring minisat-0.1.2...
Installed hashable-1.2.4.0
Building minisat-0.1.2...
Configuring distributive-0.5.0.2...
Installed vector-0.11.0.0
Building distributive-0.5.0.2...
Installed minisat-0.1.2
Configuring unordered-containers-0.2.7.2...
Building unordered-containers-0.2.7.2...
Configuring void-0.7.1...
Installed distributive-0.5.0.2
Building void-0.7.1...
Installed void-0.7.1
Configuring contravariant-1.4...
Building contravariant-1.4...
Installed contravariant-1.4
Configuring comonad-5...
Installed unordered-containers-0.2.7.2
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring semigroupoids-5.1...
Configuring profunctors-5.2...
Building profunctors-5.2...
Building semigroupoids-5.1...
Installed profunctors-5.2
Installed semigroupoids-5.1
Configuring free-4.12.4...
Building free-4.12.4...
Installed free-4.12.4
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Installed adjunctions-4.3
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Configuring lens-4.15.1...
Building lens-4.15.1...
Installed lens-4.15.1
Configuring satchmo-2.9.9.3...
Building satchmo-2.9.9.3...
Installed satchmo-2.9.9.3
Configuring satchmo-backends-1.9.1...
Building satchmo-backends-1.9.1...
Failed to install satchmo-backends-1.9.1
Build log ( /home/builder/.cabal/logs/satchmo-backends-1.9.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-26756/satchmo-backends-1.9.1'
Configuring satchmo-backends-1.9.1...
Building satchmo-backends-1.9.1...
Preprocessing library satchmo-backends-1.9.1...

Satchmo/Solver/Minisat.hs:1:14: warning:
    -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead

Satchmo/Solver/Pcosat.hs:1:14: warning:
    -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead

Satchmo/Solver/Yices.hs:1:47: warning:
    -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE ScopedTypeVariables #-} instead
[1 of 4] Compiling Satchmo.Solver.Internal ( Satchmo/Solver/Internal.hs, dist/build/Satchmo/Solver/Internal.o )
[2 of 4] Compiling Satchmo.Solver.Minisat ( Satchmo/Solver/Minisat.hs, dist/build/Satchmo/Solver/Minisat.o )

Satchmo/Solver/Minisat.hs:12:1: error:
    Failed to load interface for ‘Satchmo.Solve’
    Perhaps you meant Satchmo.Code (from satchmo-2.9.9.3)
    Use -v to see a list of the files searched for.

Satchmo/Solver/Minisat.hs:14:1: error:
    Failed to load interface for ‘Satchmo.SAT.Seq’
    Perhaps you meant
      Satchmo.SAT (from satchmo-2.9.9.3)
      Satchmo.SAT.Mini (from satchmo-2.9.9.3)
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-26756/satchmo-backends-1.9.1'
cabal: Error: some packages failed to install:
satchmo-backends-1.9.1 failed during the building phase. The exception was:
ExitFailure 1
satchmo-examples-1.8.1 depends on satchmo-backends-1.9.1 which failed to
install.