* installing *source* package 'Rwbo' ... ** this is package 'Rwbo' version '0.1.0' ** using staged installation ** libs cd open_wbo && sh ./configure cd open_wbo && if [ "$(uname -s)" = "Darwin" ]; then /usr/bin/make r; else /usr/bin/make rs; fi make[1]: Entering directory '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo' Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.h:35, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.o'. Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.cc:30: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.o'. Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.h:36, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.o'. Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.cc:30: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.o'. Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.h:36, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.h:31, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.cc:30: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.o'. Compiling: /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.h:36, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.cc:33: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/ParserPB.o'. Compiling: utils/Options.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc:21: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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) | ^~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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()); | ^~~~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.o'. Compiling: utils/System.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.o'. Compiling: core/Solver.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.cc:54: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.o'. Compiling: ../../encodings/Enc_Adder.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Adder.h:35, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Adder.cc:29: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.o'. Compiling: ../../encodings/Enc_CNetworks.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_CNetworks.h:28, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_CNetworks.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.o'. Compiling: ../../encodings/Enc_GTE.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_GTE.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_GTE.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.o'. Compiling: ../../encodings/Enc_Ladder.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Ladder.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Ladder.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.o'. Compiling: ../../encodings/Enc_MTotalizer.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_MTotalizer.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_MTotalizer.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.o'. Compiling: ../../encodings/Enc_SWC.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_SWC.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_SWC.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.o'. Compiling: ../../encodings/Enc_Totalizer.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Totalizer.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Enc_Totalizer.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.o'. Compiling: ../../encodings/Encodings.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Encodings.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/encodings/Encodings.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.o'. Compiling: ../../algorithms/Alg_LinearSU.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_LinearSU.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_LinearSU.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.o'. Compiling: ../../algorithms/Alg_MSU3.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_MSU3.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_MSU3.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.o'. Compiling: ../../algorithms/Alg_OLL.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_OLL.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_OLL.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.o'. Compiling: ../../algorithms/Alg_PartMSU3.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_PartMSU3.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_PartMSU3.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.o'. Compiling: ../../algorithms/Alg_WBO.or In file included from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_WBO.h:34, from D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/algorithms/Alg_WBO.cc:28: D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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') | ^~~~~ D:/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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); | ^~ /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.o'. Compiling: ../../graph/Graph.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.o'. Compiling: ../../graph/Graph_Algorithms.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.o'. Compiling: ../../graph/Graph_Communities.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.od'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.op'. /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.o'. Linking: open-wbo_static ( /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Encoder.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/Main.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSATFormula.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo/MaxSAT_Partition.or /d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/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 ) make[1]: Leaving directory '/d/temp/2026_01_10_12_25_17_32762/RtmpMp49Ej/R.INSTALL488078907a3e/Rwbo/src/open_wbo' mkdir -p ../inst/bin if [ "$(uname -s)" = "Darwin" ]; then \ cp -f open_wbo/open-wbo_release ../inst/bin/open-wbo_static; \ else \ cp -f open_wbo/open-wbo_static ../inst/bin/open-wbo_static; \ fi installing via 'install.libs.R' to d:/RCompile/CRANincoming/R-devel/lib/00LOCK-Rwbo/00new/Rwbo ** R ** inst ** byte-compile and prepare package for lazy loading ** help *** installing help indices ** building package indices ** testing if installed package can be loaded from temporary location ** testing if installed package can be loaded from final location ** testing if installed package keeps a record of temporary installation path * DONE (Rwbo)