Build #1 for minisat-solver-0.1
| Package | minisat-solver-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-11-19 03:47:10.714157 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0, containers-0.5.7.1, transformers-0.5.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading minisat-solver-0.1...
Configuring minisat-solver-0.1...
Building minisat-solver-0.1...
Failed to install minisat-solver-0.1
Build log ( /home/builder/.cabal/logs/minisat-solver-0.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-4552/minisat-solver-0.1'
Configuring minisat-solver-0.1...
Building minisat-solver-0.1...
Preprocessing library minisat-solver-0.1...
[1 of 7] Compiling SAT.MiniSat.LowLevel ( SAT/MiniSat/LowLevel.hs, dist/build/SAT/MiniSat/LowLevel.o )
[2 of 7] Compiling SAT.MiniSat.Literals ( SAT/MiniSat/Literals.hs, dist/build/SAT/MiniSat/Literals.o )
[3 of 7] Compiling SAT.MiniSat.Monadic ( SAT/MiniSat/Monadic.hs, dist/build/SAT/MiniSat/Monadic.o )
[4 of 7] Compiling SAT.MiniSat.Functional ( SAT/MiniSat/Functional.hs, dist/build/SAT/MiniSat/Functional.o )
[5 of 7] Compiling SAT.MiniSat.Variable ( SAT/MiniSat/Variable.hs, dist/build/SAT/MiniSat/Variable.o )
[6 of 7] Compiling SAT.MiniSat.Formula ( SAT/MiniSat/Formula.hs, dist/build/SAT/MiniSat/Formula.o )
[7 of 7] Compiling SAT.MiniSat ( SAT/MiniSat.hs, dist/build/SAT/MiniSat.o )
c-sources/solver.c: In function ‘solver_simplification’:
c-sources/solver.c:901:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = solver_dlevel(s); i >= 0; i--) {
^
c-sources/solver.c:901:3: error:
note: use option -std=c99 or -std=gnu99 to compile your code
c-sources/solver.c:907:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int c = s->qtail - 1; c >= 0; c--) {
^
c-sources/solver.c:929:7: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int j = 0; j < size; j++) {
^
c-sources/solver.c:948:12: error:
error: redefinition of ‘i’
for (int i = 0; i < m; i++) {
^
c-sources/solver.c:901:12: error:
note: previous definition of ‘i’ was here
for (int i = solver_dlevel(s); i >= 0; i--) {
^
c-sources/solver.c:948:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = 0; i < m; i++) {
^
c-sources/solver.c:954:5: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int j = clause_size(c) - 1; j >= 0; j--) {
^
c-sources/solver.c:978:12: error:
error: redefinition of ‘i’
for (int i = solver_dlevel(s); i > s->root_level; i--) {
^
c-sources/solver.c:948:12: error:
note: previous definition of ‘i’ was here
for (int i = 0; i < m; i++) {
^
c-sources/solver.c:978:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = solver_dlevel(s); i > s->root_level; i--) {
^
c-sources/solver.c:991:12: error:
error: redefinition of ‘i’
for (int i = solver_dlevel(s) - veci_size(&s->blkcls); i > 0; i--) {
^
c-sources/solver.c:978:12: error:
note: previous definition of ‘i’ was here
for (int i = solver_dlevel(s); i > s->root_level; i--) {
^
c-sources/solver.c:991:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = solver_dlevel(s) - veci_size(&s->blkcls); i > 0; i--) {
^
c-sources/solver.c: In function ‘solver_testblkcls’:
c-sources/solver.c:1014:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = veci_size(cls) - 1; i >= 0; i--) {
^
c-sources/solver.c:1034:12: error:
error: redefinition of ‘i’
for (int i = 0; i < m; i++) {
^
c-sources/solver.c:1014:12: error:
note: previous definition of ‘i’ was here
for (int i = veci_size(cls) - 1; i >= 0; i--) {
^
c-sources/solver.c:1034:3: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = 0; i < m; i++) {
^
c-sources/solver.c:1039:5: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int j = clause_size(c) - 1; j >= 0; j--) {
^
c-sources/solver.c: In function ‘solver_search’:
c-sources/solver.c:1153:2: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int i = solver_dlevel(s); i > s->root_level; i--) {
^
c-sources/solver.c: In function ‘solver_solve’:
c-sources/solver.c:1502:9: error:
error: ‘for’ loop initial declarations are only allowed in C99 mode
for (int x = 0; x < solver_nvars(s); x++) {
^
`gcc' failed in phase `C Compiler'. (Exit code: 1)
cabal: Leaving directory '/tmp/cabal-tmp-4552/minisat-solver-0.1'
cabal: Error: some packages failed to install:
minisat-solver-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.