Build #2 for ntha-0.1.3
Package | ntha-0.1.3 |
---|
Install | DependencyFailed z3-4.1.0 |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-11-20 19:27:15.65458 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
OS | linux |
Arch | x86_64 |
Dependencies | array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, monad-loops-0.4.3, mtl-2.2.1, pretty-1.1.3.3, z3-4.1.0, base-4.9.0.0, containers-0.5.7.1, haskeline-0.7.2.3, lens-4.15.1, mtl-2.2.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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 primitive-0.6.1.0... Installed parallel-3.2.1.0 Building primitive-0.6.1.0... Configuring prelude-extras-0.4.0.3... Installed mtl-2.2.1 Downloading z3-4.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 transformers-compat-0.5.1.4... Installed semigroups-0.18.2 Configuring text-1.2.2.1... Installed reflection-2.1.2 Building transformers-compat-0.5.1.4... Building text-1.2.2.1... 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-5714/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-5714/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 exceptions-0.8.3... Installed text-1.2.2.1 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Building tagged-0.8.5... Configuring hashable-1.2.4.0... Installed tagged-0.8.5 Building hashable-1.2.4.0... Installed hashable-1.2.4.0 Configuring unordered-containers-0.2.7.1... Building unordered-containers-0.2.7.1... Configuring distributive-0.5.0.2... Installed vector-0.11.0.0 Building distributive-0.5.0.2... Configuring void-0.7.1... Installed distributive-0.5.0.2 Installed 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... 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
Test log
No test log was submitted for this report.