Resolving dependencies...
Configuring cabal-doctest-1.0.2...
Configuring base-orphans-0.6...
Building base-orphans-0.6...
Building cabal-doctest-1.0.2...
Configuring base-compat-0.9.3...
Installed base-orphans-0.6
Installed cabal-doctest-1.0.2
Configuring integer-logarithms-1.0.2...
Building base-compat-0.9.3...
Building integer-logarithms-1.0.2...
Configuring mtl-2.2.1...
Installed integer-logarithms-1.0.2
Building mtl-2.2.1...
Configuring primitive-0.6.2.0...
Installed base-compat-0.9.3
Building primitive-0.6.2.0...
Configuring safe-0.3.15...
Installed mtl-2.2.1
Building safe-0.3.15...
Configuring semigroups-0.18.3...
Installed safe-0.3.15
Building semigroups-0.18.3...
Configuring syb-0.7...
Installed primitive-0.6.2.0
Building syb-0.7...
Configuring stm-2.4.4.1...
Installed semigroups-0.18.3
Building stm-2.4.4.1...
Configuring text-1.2.2.2...
Installed syb-0.7
Configuring th-lift-0.7.7...
Installed stm-2.4.4.1
Building text-1.2.2.2...
Building th-lift-0.7.7...
Configuring universe-base-1.0.2.1...
Installed th-lift-0.7.7
Building universe-base-1.0.2.1...
Configuring transformers-compat-0.5.1.4...
Installed universe-base-1.0.2.1
Building transformers-compat-0.5.1.4...
Configuring void-0.7.2...
Installed transformers-compat-0.5.1.4
Building void-0.7.2...
Installed void-0.7.2
Configuring z3-4.1.2...
Configuring th-expand-syns-0.4.3.0...
Failed to install z3-4.1.2
Build log ( /home/builder/.cabal/logs/z3-4.1.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-5859/z3-4.1.2'
Configuring z3-4.1.2...
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-5859/z3-4.1.2'
Building th-expand-syns-0.4.3.0...
Configuring vector-0.12.0.1...
Installed th-expand-syns-0.4.3.0
Building vector-0.12.0.1...
Configuring universe-instances-base-1.0...
Installed text-1.2.2.2
Building universe-instances-base-1.0...
Configuring StateVar-1.1.0.4...
Installed universe-instances-base-1.0
Building StateVar-1.1.0.4...
Configuring tagged-0.8.5...
Installed StateVar-1.1.0.4
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring th-reify-many-0.1.8...
Building th-reify-many-0.1.8...
Configuring universe-reverse-instances-1.0...
Installed th-reify-many-0.1.8
Building universe-reverse-instances-1.0...
Configuring hashable-1.2.6.1...
Installed universe-reverse-instances-1.0
Building hashable-1.2.6.1...
Configuring contravariant-1.4...
Installed hashable-1.2.6.1
Building contravariant-1.4...
Configuring distributive-0.5.3...
Installed vector-0.12.0.1
Installed contravariant-1.4
Configuring scientific-0.3.5.2...
Building scientific-0.3.5.2...
Building distributive-0.5.3...
Configuring unordered-containers-0.2.8.0...
Installed scientific-0.3.5.2
Building unordered-containers-0.2.8.0...
Warning: /tmp/pkgConf-distributive-0.53642284441947346619.3: Unrecognized
field dynamic-library-dirs on line 22
Configuring th-lift-instances-0.1.11...
Installed distributive-0.5.3
Building th-lift-instances-0.1.11...
Installed th-lift-instances-0.1.11
Configuring attoparsec-0.13.2.0...
Building attoparsec-0.13.2.0...
Configuring comonad-5.0.2...
Installed unordered-containers-0.2.8.0
Building comonad-5.0.2...
Configuring th-orphans-0.13.4...
Installed attoparsec-0.13.2.0
Building th-orphans-0.13.4...
Warning: /tmp/pkgConf-comonad-5.02694553061703964683.2: Unrecognized field
dynamic-library-dirs on line 29
Installed comonad-5.0.2
Configuring bifunctors-5.4.2...
Building bifunctors-5.4.2...
Installed th-orphans-0.13.4
Configuring th-desugar-1.6...
Building th-desugar-1.6...
Installed bifunctors-5.4.2
Configuring semigroupoids-5.2.1...
Building semigroupoids-5.2.1...
Warning: /tmp/pkgConf-semigroupoids-5.2200747796289700723.1: Unrecognized
field dynamic-library-dirs on line 60
Installed semigroupoids-5.2.1
Configuring lattices-1.7...
Building lattices-1.7...
Installed th-desugar-1.6
Configuring singletons-2.2...
Building singletons-2.2...
Installed lattices-1.7
Installed singletons-2.2
Configuring expressions-0.1.4...
Building expressions-0.1.4...
Installed expressions-0.1.4
cabal: Error: some packages failed to install:
expressions-z3-0.1.1 depends on z3-4.1.2 which failed to install.
z3-4.1.2 failed during the configure step. The exception was:
ExitFailure 1