* installing *source* package ‘Rwbo’ ...
** package ‘Rwbo’ successfully unpacked and MD5 sums checked
** using staged installation
** libs
cd open_wbo && sh ./configure
cd open_wbo && if [ "$(uname -s)" = "Darwin" ]; then make r; else make rs; fi
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Encoder.or
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Main.or
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT.or
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSATFormula.or
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.or
Compiling: /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/ParserPB.or
In file included from /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.cc:30:
/Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.h:37:10: fatal error: 'gmpxx.h' file not found
#include <gmpxx.h>
         ^~~~~~~~~
1 error generated.
make[1]: *** [/Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/MaxSAT_Partition.or] Error 1
make[1]: *** Waiting for unfinished jobs....
In file included from /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Main.cc:59:
In file included from /Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/algorithms/Alg_PartMSU3.h:38:
/Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/algorithms/../MaxSAT_Partition.h:37:10: fatal error: 'gmpxx.h' file not found
#include <gmpxx.h>
         ^~~~~~~~~
1 error generated.
make[1]: *** [/Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/00_pkg_src/Rwbo/src/open_wbo/Main.or] Error 1
make: *** [wbo] Error 2
ERROR: compilation failed for package ‘Rwbo’
* removing ‘/Volumes/Builds/packages/big-sur-arm64/results/4.4/Rwbo.Rcheck/Rwbo’