Build #3 for sat-1.1.1
Package | sat-1.1.1 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2015-09-27 13:16:33.406674 UTC |
---|---|
Compiler | ghc-7.10.2 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.8.1.0 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... [1 of 1] Compiling Main ( /tmp/cabal-tmp-17994/sat-1.1.1/dist/setup/setup.hs, /tmp/cabal-tmp-17994/sat-1.1.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-17994/sat-1.1.1/dist/setup/setup ... Configuring sat-1.1.1... 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.1.1... Preprocessing executable 'SATSolve' for sat-1.1.1... 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.1.1 cabal: Error: some packages failed to install: sat-1.1.1 failed during the building phase. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.