[env vars]
ZEF_TEST_DEGREE=5
ZEF_FETCH_DEGREE=1
[agent]
flamboyant-moore-63797432
[raku]
/tmp/whateverable/rakudo-moar/fe0e20c28859ea709eefad19af452c9d35dff20d/bin//raku
Welcome to Rakudo™ v2025.11.
Implementing the Raku® Programming Language v6.d.
Built on MoarVM version 2025.11.
[zef]
/tmp/whateverable/rakudo-moar/fe0e20c28859ea709eefad19af452c9d35dff20d/share/perl6/site/bin/zef
1.0.0
===
install [SAT::Solver::MiniSAT]
1) install SAT::Solver::MiniSAT dependencies
===> Searching for: SAT::Solver::MiniSAT
===> Searching for missing dependencies: SAT
===> Staging SAT:ver<0.0.1>
===> Staging [OK] for SAT:ver<0.0.1>
===> Testing: SAT:ver<0.0.1>
===> Testing [OK] for SAT:ver<0.0.1>
===> Installing: SAT:ver<0.0.1>
2) install SAT::Solver::MiniSAT
===> Searching for: SAT::Solver::MiniSAT
Aborting due to build failure: SAT::Solver::MiniSAT:ver<0.0.1> (use --force-build to override)
===> Building: SAT::Solver::MiniSAT:ver<0.0.1>
[SAT::Solver::MiniSAT] In file included from minisat/simp/Main.cc:26:
[SAT::Solver::MiniSAT] ./minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[SAT::Solver::MiniSAT]   285 |             fprintf(stderr, "%4"PRIi64, range.begin);
[SAT::Solver::MiniSAT]       |                             ^
[SAT::Solver::MiniSAT] ./minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[SAT::Solver::MiniSAT]   291 |             fprintf(stderr, "%4"PRIi64, range.end);
[SAT::Solver::MiniSAT]       |                             ^
[SAT::Solver::MiniSAT] ./minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[SAT::Solver::MiniSAT]   293 |         fprintf(stderr, "] (default: %"PRIi64")\n", value);
[SAT::Solver::MiniSAT]       |                         ^
[SAT::Solver::MiniSAT] In file included from ./minisat/core/Dimacs.h:27,
[SAT::Solver::MiniSAT]                  from minisat/simp/Main.cc:27:
[SAT::Solver::MiniSAT] ./minisat/core/SolverTypes.h:55:16: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition [-fpermissive]
[SAT::Solver::MiniSAT]    55 |     friend Lit mkLit(Var var, bool sign = false);
[SAT::Solver::MiniSAT]       |                ^~~~~
[SAT::Solver::MiniSAT] ./minisat/core/SolverTypes.h:63:14: error: friend declaration of 'Minisat::Lit Minisat::mkLit(Var, bool)' specifies default arguments and isn't the only declaration [-fpermissive]
[SAT::Solver::MiniSAT]    63 | inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
[SAT::Solver::MiniSAT]       |              ^~~~~
[SAT::Solver::MiniSAT] ./minisat/core/SolverTypes.h:55:16: note: previous declaration of 'Minisat::Lit Minisat::mkLit(Var, bool)'
[SAT::Solver::MiniSAT]    55 |     friend Lit mkLit(Var var, bool sign = false);
[SAT::Solver::MiniSAT]       |                ^~~~~
[SAT::Solver::MiniSAT] make: *** [Makefile:129: build/release/minisat/simp/Main.o] Error 1
[SAT::Solver::MiniSAT] The spawned command 'make' exited unsuccessfully (exit code: 2, signal: 0)
[SAT::Solver::MiniSAT]   in method build at /tmp/.zef.1765211234.336555/SAT%3A%3ASolver%3A%3AMiniSAT%3Aver%3C0.0.1%3E%3Aauth%3Cgithub%3Ataboege%3E.tar.gz/raku-SAT-Solver-MiniSAT-master/Build.pm line 12
[SAT::Solver::MiniSAT]   in block <unit> at -e line 1
===> Building [FAIL]: SAT::Solver::MiniSAT:ver<0.0.1>