* Package: sci-mathematics/minisat-2.2.0_p20130925-r1 * Repository: gentoo * Maintainer: sci@gentoo.org * USE: abi_x86_64 amd64 elibc_musl kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>> Unpacking source... * Unpacking minisat-2.2.0_p20130925.tar.gz >>> Source unpacked in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work >>> Preparing source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ... * Applying minisat-2.2.0_p20130925-nusmv.patch ... [ ok ] * Correcting header minisat/utils/System.h * Correcting header minisat/utils/ParseUtils.h * Correcting header minisat/utils/Options.h * Correcting header minisat/simp/Solver_C.h * Correcting header minisat/simp/SimpSolver.h * Correcting header minisat/mtl/XAlloc.h * Correcting header minisat/mtl/Vec.h * Correcting header minisat/mtl/Sort.h * Correcting header minisat/mtl/Rnd.h * Correcting header minisat/mtl/Queue.h * Correcting header minisat/mtl/Map.h * Correcting header minisat/mtl/IntTypes.h * Correcting header minisat/mtl/IntMap.h * Correcting header minisat/mtl/Heap.h * Correcting header minisat/mtl/Alloc.h * Correcting header minisat/mtl/Alg.h * Correcting header minisat/core/SolverTypes.h * Correcting header minisat/core/Solver.h * Correcting header minisat/core/Dimacs.h >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ... make -j1 config prefix=/usr MINISAT_RELSYM= 'MINISAT_REL=-O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_PRF=-O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_DEB=-O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -D DEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ... make -j1 all Compiling: build/release/minisat/simp/Main.o mkdir -p build/release/minisat/simp/ c++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -fno-common -falign-functions=32:25:16 -c -o build/release/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/release/minisat/simp/Main.d In file included from minisat/simp/Main.cc:24: ./minisat/utils/System.h:25:10: fatal error: fpu_control.h: No such file or directory 25 | #include | ^~~~~~~~~~~~~~~ compilation terminated. make: *** [Makefile:129: build/release/minisat/simp/Main.o] Error 1 * ERROR: sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo'`. * The complete build log is located at '/var/log/portage/sci-mathematics:minisat-2.2.0_p20130925-r1:20200319-051928.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925' * S: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925'