* Package:    sci-mathematics/nusmv-2.5.2
 * Repository: gentoo
 * Maintainer: robbat2@gentoo.org sci-mathematics@gentoo.org
 * USE:        amd64 elibc_glibc kernel_linux minisat multilib userland_GNU
 * FEATURES:   preserve-libs sandbox
>>> Unpacking source...
>>> Unpacking NuSMV-2.5.2.tar.gz to /var/tmp/portage/sci-mathematics/nusmv-2.5.2/work
>>> Unpacking MiniSat_v1.14_src.zip to /var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/MiniSat
 * Applying MiniSat_v1.14_nusmv.patch ...
 [ ok ]
 * Applying MiniSat_v1.14-optimizedlib.patch ...
 [ ok ]
 * Applying MiniSat_v1.14_gcc41.patch ...
 [ ok ]
>>> Source unpacked in /var/tmp/portage/sci-mathematics/nusmv-2.5.2/work
>>> Compiling source in /var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/nusmv ...
make -j9 'COPTIMIZE=-O2 -pipe' r 
Making dependencies ...
Compiling: Solver_C.C
g++ -Wall -ffloat-store -O2 -pipe -D NDEBUG -c -o Solver_C.or Solver_C.C
Compiling: Main.C
Building minisat (release)
g++ -Wall -ffloat-store -O2 -pipe -D NDEBUG -c -o Main.or Main.C
Compiling: Solver.C
g++ -Wall -ffloat-store -O2 -pipe -D NDEBUG -c -o Solver.or Solver.C
In file included from Solver.h:23:0,
                 from Solver.C:20:
SolverTypes.h: In member function 'float& Clause::activity() const':
SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules
SolverTypes.h: In member function 'Lit GClause::lit() const':
SolverTypes.h:126:56: error: cast from 'void*' to 'int' loses precision
In file included from Solver_C.C:1:0:
SolverTypes.h: In member function 'float& Clause::activity() const':
SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules
SolverTypes.h: In member function 'Lit GClause::lit() const':
SolverTypes.h:126:56: error: cast from 'void*' to 'int' loses precision
In file included from Solver.h:23:0,
                 from Main.C:20:
SolverTypes.h: In member function 'float& Clause::activity() const':
SolverTypes.h:102:73: warning: dereferencing type-punned pointer will break strict-aliasing rules
SolverTypes.h: In member function 'Lit GClause::lit() const':
SolverTypes.h:126:56: error: cast from 'void*' to 'int' loses precision
make: *** [Solver_C.or] Error 1
make: *** Waiting for unfinished jobs....
make: *** [Solver.or] Error 1
Main.C: In function 'bool parse_BCNF(const cchar*, Solver&)':
Main.C:39:29: warning: ignoring return value of 'size_t fread(void*, size_t, size_t, FILE*)', declared with attribute warn_unused_result
Main.C:55:34: warning: ignoring return value of 'size_t fread(void*, size_t, size_t, FILE*)', declared with attribute warn_unused_result
Global.h: In function 'int memReadStat(int)':
Global.h:133:33: warning: ignoring return value of 'int fscanf(FILE*, const char*, ...)', declared with attribute warn_unused_result
make: *** [Main.or] Error 1
emake failed
 * ERROR: sci-mathematics/nusmv-2.5.2 failed (compile phase):
 *   Failed to build minisat bin
 * 
 * Call stack:
 *     ebuild.sh, line  93:  Called src_compile
 *   environment, line 2393:  Called die
 * The specific snippet of code:
 *           emake COPTIMIZE="${CFLAGS}" r || die "Failed to build minisat bin";
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/nusmv-2.5.2'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/nusmv-2.5.2'`.
 * The complete build log is located at '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/MiniSat/MiniSat_v1.14'
 * S: '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/nusmv'