Build #2 for sat-1.0
| Package | sat-1.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-07 19:13:47.779036 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.7.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading sat-1.0...
[1 of 1] Compiling Main ( /tmp/sat-1.0-5053/sat-1.0/dist/setup/setup.hs, /tmp/sat-1.0-5053/sat-1.0/dist/setup/Main.o )
Linking /tmp/sat-1.0-5053/sat-1.0/dist/setup/setup ...
Configuring sat-1.0...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Building sat-1.0...
Preprocessing executable 'SATSolve' for sat-1.0...
SATSolver.hs:26:8:
Could not find module ‘System.Random’
Use -v to see a list of the files searched for.
Failed to install sat-1.0
cabal: Error: some packages failed to install:
sat-1.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.