* 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 '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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 '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo'
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.h:35,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.o'.
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.cc:30:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.o'.
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.h:36,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.o'.
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.cc:30:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.o'.
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.h:36,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.h:31,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.cc:30:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.o'.
Compiling: /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.h:36,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.cc:33:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/ParserPB.o'.
Compiling: utils/Options.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc:21:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.o'.
Compiling: utils/System.or
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/System.o'.
Compiling: core/Solver.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.cc:54:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.o'.
Compiling: ../../encodings/Enc_Adder.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Adder.h:35,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Adder.cc:29:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Adder.o'.
Compiling: ../../encodings/Enc_CNetworks.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_CNetworks.h:28,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_CNetworks.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_CNetworks.o'.
Compiling: ../../encodings/Enc_GTE.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_GTE.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_GTE.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_GTE.o'.
Compiling: ../../encodings/Enc_Ladder.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Ladder.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Ladder.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Ladder.o'.
Compiling: ../../encodings/Enc_MTotalizer.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_MTotalizer.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_MTotalizer.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_MTotalizer.o'.
Compiling: ../../encodings/Enc_SWC.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_SWC.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_SWC.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_SWC.o'.
Compiling: ../../encodings/Enc_Totalizer.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Totalizer.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Enc_Totalizer.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Enc_Totalizer.o'.
Compiling: ../../encodings/Encodings.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Encodings.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/encodings/Encodings.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../encodings/Encodings.o'.
Compiling: ../../algorithms/Alg_LinearSU.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_LinearSU.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_LinearSU.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_LinearSU.o'.
Compiling: ../../algorithms/Alg_MSU3.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_MSU3.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_MSU3.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_MSU3.o'.
Compiling: ../../algorithms/Alg_OLL.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_OLL.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_OLL.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.o'.
Compiling: ../../algorithms/Alg_PartMSU3.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_PartMSU3.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_PartMSU3.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_PartMSU3.o'.
Compiling: ../../algorithms/Alg_WBO.or
In file included from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/Options.h:30,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.h:55,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_WBO.h:34,
                 from D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/algorithms/Alg_WBO.cc:28:
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
D:/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_WBO.o'.
Compiling: ../../graph/Graph.or
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph.o'.
Compiling: ../../graph/Graph_Algorithms.or
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Algorithms.o'.
Compiling: ../../graph/Graph_Communities.or
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.od'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.op'.
/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/mtl/template.mk:72: warning: pattern recipe did not update peer target '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.o'.
Linking: open-wbo_static ( /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Encoder.or /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/Main.or /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT.or /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSATFormula.or /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src/open_wbo/MaxSAT_Partition.or /d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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[2]: Leaving directory '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/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
make[1]: Leaving directory '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src'
make[1]: Entering directory '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src'
make[1]: Leaving directory '/d/temp/2026_01_17_01_50_00_15534/RtmpS8yfjv/R.INSTALL9c9c2f52f5d/Rwbo/src'
installing via 'install.libs.R' to d:/Rcompile/CRANpkg/lib/4.5/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
* MD5 sums
packaged installation of 'Rwbo' as Rwbo_0.1.1.zip
* DONE (Rwbo)