Build #1 for expressions-z3-0.5
Package | expressions-z3-0.5 |
---|
Install | DependencyFailed expressions-z3-0.5 |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2019-04-30 22:01:42.534687557 UTC |
---|---|
Compiler | ghc-8.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.12.0.0, containers-0.6.0.1, expressions-0.5, list-t-1.0.3.1, singletons-2.5.1, transformers-0.5.5.0, z3-4.3.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
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 cabal-doctest-1.0.6 Building base-orphans-0.8.1 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 Completed syb-0.7 Downloading z3-4.3.1 Building transformers-compat-0.6.4 Downloaded z3-4.3.1 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-10526/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-10526/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
Test log
No test log was submitted for this report.