* installing *source* package ‘Rwbo’ ...
** this is package ‘Rwbo’ version ‘0.1.2’
** package ‘Rwbo’ successfully unpacked and MD5 sums checked
** using staged installation
** libs
cd open_wbo && if [ "$(uname -s)" = "Darwin" ]; then make r OPENWBO_WARNFLAGS=; else make rs || make r; fi
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Encoder.or
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Main.or
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT.or
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSATFormula.or
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.or
Compiling: /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/ParserPB.or
Compiling: utils/Options.or
Compiling: utils/System.or
Compiling: core/Solver.or
Compiling: ../../encodings/Enc_Adder.or
Compiling: ../../encodings/Enc_CNetworks.or
Compiling: ../../encodings/Enc_GTE.or
Compiling: ../../encodings/Enc_Ladder.or
/Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/solvers/glucose4.1/core/Solver.cc:1415:13: warning: variable 'moved' set but not used [-Wunused-but-set-variable]
 1415 |         int moved = 0;
      |             ^
Compiling: ../../encodings/Enc_MTotalizer.or
Compiling: ../../encodings/Enc_SWC.or
Compiling: ../../encodings/Enc_Totalizer.or
Compiling: ../../encodings/Encodings.or
Compiling: ../../algorithms/Alg_LinearSU.or
Compiling: ../../algorithms/Alg_MSU3.or
1 warning generated.
Compiling: ../../algorithms/Alg_OLL.or
Compiling: ../../algorithms/Alg_PartMSU3.or
Compiling: ../../algorithms/Alg_WBO.or
Compiling: ../../graph/Graph.or
Compiling: ../../graph/Graph_Algorithms.or
Compiling: ../../graph/Graph_Communities.or
/Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/solvers/glucose4.1/../../algorithms/Alg_OLL.cc:372:15: warning: variable 'active_soft' set but not used [-Wunused-but-set-variable]
  372 |           int active_soft = 0;
      |               ^
/Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.cc:105:20: warning: variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
  105 |   int random_order[_g->nVertexes()];
      |                    ^~~~~~~~~~~~~~~
/Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/solvers/glucose4.1/../../graph/Graph_Communities.cc:105:20: note: implicit use of 'this' pointer is only allowed within the evaluation of a call to a 'constexpr' member function
1 warning generated.
1 warning generated.
Linking: open-wbo_release ( /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Encoder.or /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Main.or /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT.or /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSATFormula.or /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.or /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/00_pkg_src/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 )
mkdir -p ../inst/bin
if [ "$(uname -s)" = "Darwin" ]; then \
		cp -f open_wbo/open-wbo_release ../inst/bin/open-wbo_static; \
	else \
		if [ -f open_wbo/open-wbo_static ]; then \
			cp -f open_wbo/open-wbo_static ../inst/bin/open-wbo_static; \
		else \
			cp -f open_wbo/open-wbo_release ../inst/bin/open-wbo_static; \
		fi; \
	fi
installing via 'install.libs.R' to /Volumes/Builds/packages/sonoma-arm64/results/4.6/Rwbo.Rcheck/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)