* installing *source* package ‘Rwbo’ ...
** this is package ‘Rwbo’ version ‘0.1.1’
** package ‘Rwbo’ successfully unpacked and MD5 sums checked
** using staged installation
** libs
make[1]: Entering directory '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src'
cd open_wbo && sh ./configure
cd open_wbo && if [ "$(uname -s)" = "Darwin" ]; then make r; else make rs; fi
make[2]: Entering directory '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo'
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.or
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.or
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.or
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.or
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.or
Compiling: /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.or
Compiling: utils/Options.or
Compiling: utils/System.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.h:35,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.cc:30:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc:21:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.o'.
Compiling: core/Solver.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc: In function ‘void Glucose::printUsageAndExit(int, char**, bool)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc:62:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
62 | if (usage != NULL)
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
65 | sort(Option::getOptionList(), Option::OptionLt());
| ^~~~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.h:36,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.h:36,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.cc:33:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.o'.
Compiling: ../../encodings/Enc_Adder.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.cc:30:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.cc:54:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.h:36,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.h:31,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.cc:30:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.h:35,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.cc:29:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.o'.
Compiling: ../../encodings/Enc_CNetworks.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.h:28,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.o'.
Compiling: ../../encodings/Enc_GTE.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.o'.
Compiling: ../../encodings/Enc_Ladder.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.o'.
Compiling: ../../encodings/Enc_MTotalizer.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.o'.
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.o'.
Compiling: ../../encodings/Enc_SWC.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.o'.
Compiling: ../../encodings/Enc_Totalizer.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.o'.
Compiling: ../../encodings/Encodings.or
Compiling: ../../algorithms/Alg_LinearSU.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
Compiling: ../../algorithms/Alg_MSU3.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.o'.
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.o'.
Compiling: ../../algorithms/Alg_OLL.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
Compiling: ../../algorithms/Alg_PartMSU3.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.o'.
Compiling: ../../algorithms/Alg_WBO.or
In file included from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.h:34,
from /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.cc:28:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’:
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:99:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation]
99 | while (*in >= '0' && *in <= '9')
| ^~~~~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’
103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
| ^~
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.o'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.o'.
Compiling: ../../graph/Graph.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.o'.
Compiling: ../../graph/Graph_Algorithms.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.o'.
Compiling: ../../graph/Graph_Communities.or
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.od'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.op'.
/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.o'.
Linking: open-wbo_static ( /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Encoder.or /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/Main.or /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT.or /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSATFormula.or /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/MaxSAT_Partition.or /data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/ParserPB.or utils/Options.or utils/System.or core/Solver.or ../../encodings/Enc_Adder.or ../../encodings/Enc_CNetworks.or ../../encodings/Enc_GTE.or ../../encodings/Enc_Ladder.or ../../encodings/Enc_MTotalizer.or ../../encodings/Enc_SWC.or ../../encodings/Enc_Totalizer.or ../../encodings/Encodings.or ../../algorithms/Alg_LinearSU.or ../../algorithms/Alg_MSU3.or ../../algorithms/Alg_OLL.or ../../algorithms/Alg_PartMSU3.or ../../algorithms/Alg_WBO.or ../../graph/Graph.or ../../graph/Graph_Algorithms.or ../../graph/Graph_Communities.or )
/usr/bin/ld: cannot find -lz: No such file or directory
/usr/bin/ld: have you installed the static version of the z library ?
/usr/bin/ld: cannot find -lstdc++: No such file or directory
/usr/bin/ld: have you installed the static version of the stdc++ library ?
collect2: error: ld returned 1 exit status
make[2]: *** [/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:78: open-wbo_static] Error 1
make[2]: Target 'rs' not remade because of errors.
make[2]: Leaving directory '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src/open_wbo'
make[1]: *** [Makevars:7: wbo] Error 2
make[1]: Target 'all' not remade because of errors.
make[1]: Leaving directory '/data/gannet/ripley/R/packages/tests-clang/Rwbo/src'
ERROR: compilation failed for package ‘Rwbo’
* removing ‘/data/gannet/ripley/R/packages/tests-clang/Rwbo.Rcheck/Rwbo’