Resolving dependencies...
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-27936/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-27936/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