sci-mathematics:minisat-2.2.0_p20130925-r1:20200319-051928.log

sci-mathematics:minisat-2.2.0_p20130925-r1:20200319-051928.log (text/plain), 3.93 KB, created by Toralf Förster on 2020-03-19 11:17:54 UTC

 * Package:    sci-mathematics/minisat-2.2.0_p20130925-r1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * 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 <fpu_control.h>
      |          ^~~~~~~~~~~~~~~
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'