Resolving dependencies...
Configuring base-orphans-0.5.4...
Configuring monad-loops-0.4.3...
Building base-orphans-0.5.4...
Building monad-loops-0.4.3...
Installed base-orphans-0.5.4
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Configuring parallel-3.2.1.0...
Installed monad-loops-0.4.3
Building parallel-3.2.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 mtl-2.2.1
Building reflection-2.1.2...
Configuring primitive-0.6.1.0...
Installed prelude-extras-0.4.0.3
Building primitive-0.6.1.0...
Configuring stm-2.4.4.1...
Installed reflection-2.1.2
Building stm-2.4.4.1...
Configuring semigroups-0.18.2...
Installed primitive-0.6.1.0
Building semigroups-0.18.2...
Configuring text-1.2.2.1...
Installed stm-2.4.4.1
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed semigroups-0.18.2
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring z3-4.1.0...
Configuring StateVar-1.1.0.4...
Failed to install z3-4.1.0
Build log ( /home/builder/.cabal/logs/z3-4.1.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-1617/z3-4.1.0'
Configuring z3-4.1.0...
cabal: Missing dependency on a foreign library:
* Missing (or bad) header file: z3.h
* Missing C library: z3
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.
If the header file does exist, it may contain errors that are caught by the C
compiler at the preprocessing stage. In this case you can re-run configure
with the verbosity flag -v3 to see the error messages.
cabal: Leaving directory '/tmp/cabal-tmp-1617/z3-4.1.0'
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 tagged-0.8.5...
Installed text-1.2.2.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 distributive-0.5.0.2...
Building distributive-0.5.0.2...
Configuring hashable-1.2.4.0...
Installed distributive-0.5.0.2
Building hashable-1.2.4.0...
Installed vector-0.11.0.0
Installed hashable-1.2.4.0
Configuring unordered-containers-0.2.7.1...
Configuring void-0.7.1...
Building unordered-containers-0.2.7.1...
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.1
Building comonad-5...
Installed comonad-5
Configuring bifunctors-5.4.1...
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring profunctors-5.2...
Configuring semigroupoids-5.1...
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
cabal: Error: some packages failed to install:
ntha-0.1.3 depends on z3-4.1.0 which failed to install.
z3-4.1.0 failed during the configure step. The exception was:
ExitFailure 1