Build #1 for boolector-0.0.0.12
| Package | boolector-0.0.0.12 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2020-08-18 20:06:25.469402723 UTC |
|---|---|
| Compiler | ghc-8.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.12.0.0, containers-0.6.0.1, directory-1.3.3.0, mtl-2.2.2, temporary-1.3, time-1.8.0.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting exceptions-0.10.4 Starting splitmix-0.1.0.1 Building exceptions-0.10.4 Building splitmix-0.1.0.1 Completed splitmix-0.1.0.1 Starting random-1.2.0 Building random-1.2.0 Completed exceptions-0.10.4 Completed random-1.2.0 Starting temporary-1.3 Building temporary-1.3 Completed temporary-1.3 Downloading boolector-0.0.0.12 Downloaded boolector-0.0.0.12 Starting boolector-0.0.0.12 Building boolector-0.0.0.12 Failed to install boolector-0.0.0.12 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/boolector-0.0.0.12-340SBv7q5LkFSekAJy9jep.log ): cabal: Entering directory '/tmp/cabal-tmp-31533/boolector-0.0.0.12' [1 of 1] Compiling Main ( /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/setup.hs, /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/Main.o ) Linking /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/setup ... Configuring boolector-0.0.0.12... make: *** No rule to make target 'deps/boolector-dist'. Stop. cabal: Leaving directory '/tmp/cabal-tmp-31533/boolector-0.0.0.12' cabal: Error: some packages failed to install: boolector-0.0.0.12-340SBv7q5LkFSekAJy9jep failed during the building phase. The exception was: ExitFailure 2
Test log
No test log was submitted for this report.