Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     StateVar-1.1.1.1
Starting     cabal-doctest-1.0.6
Starting     base-orphans-0.8.1
Starting     base-compat-0.10.5
Building     StateVar-1.1.1.1
Building     base-orphans-0.8.1
Building     cabal-doctest-1.0.6
Building     base-compat-0.10.5
Completed    base-orphans-0.8.1
Starting     hashable-1.2.7.0
Completed    StateVar-1.1.1.1
Starting     integer-logarithms-1.0.3
Building     hashable-1.2.7.0
Building     integer-logarithms-1.0.3
Completed    cabal-doctest-1.0.6
Starting     primitive-0.6.4.0
Building     primitive-0.6.4.0
Completed    integer-logarithms-1.0.3
Starting     random-1.1
Building     random-1.1
Completed    hashable-1.2.7.0
Starting     safe-0.3.17
Building     safe-0.3.17
Completed    base-compat-0.10.5
Starting     semigroups-0.18.5
Building     semigroups-0.18.5
Completed    semigroups-0.18.5
Starting     syb-0.7
Completed    random-1.1
Starting     tagged-0.8.6
Building     syb-0.7
Building     tagged-0.8.6
Completed    safe-0.3.17
Starting     th-abstraction-0.3.1.0
Building     th-abstraction-0.3.1.0
Completed    tagged-0.8.6
Starting     transformers-compat-0.6.4
Building     transformers-compat-0.6.4
Completed    syb-0.7
Starting     z3-4.3.1
Failed to install z3-4.3.1
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/z3-4.3.1-EATYwJTUdJKGhhJac3KDYI.log ):
cabal: Entering directory '/tmp/cabal-tmp-17064/z3-4.3.1'
Configuring z3-4.3.1...
cabal: Missing dependency on a foreign library:
* Missing (or bad) header file: z3.h
* Missing (or bad) 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
library 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.
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-17064/z3-4.3.1'
Starting     contravariant-1.5
Building     contravariant-1.5
Completed    th-abstraction-0.3.1.0
Completed    transformers-compat-0.6.4
Completed    primitive-0.6.4.0
Completed    contravariant-1.5
cabal: Error: some packages failed to install:
expressions-z3-0.5-BP66pZekN21J0VvbaPoT1K depends on expressions-z3-0.5 which
failed to install.
z3-4.3.1-EATYwJTUdJKGhhJac3KDYI failed during the configure step. The
exception was:
ExitFailure 1