build log

build.log (text/plain), 4.10 KB, created by Hans-Peter Deifel on 2013-01-11 12:14:26 UTC

[32;01m * [39;49;00mPackage:    sci-mathematics/nusmv-2.5.2
[32;01m * [39;49;00mRepository: gentoo
[32;01m * [39;49;00mMaintainer: [e-mail] [e-mail]
[32;01m * [39;49;00mUSE:        amd64 elibc_glibc kernel_linux minisat multilib userland_GNU
[32;01m * [39;49;00mFEATURES:   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
 [32;01m*[0m Applying MiniSat_v1.14_nusmv.patch ...
[A[76C [34;01m[ [32;01mok[34;01m ][0m
 [32;01m*[0m Applying MiniSat_v1.14-optimizedlib.patch ...
[A[76C [34;01m[ [32;01mok[34;01m ][0m
 [32;01m*[0m Applying MiniSat_v1.14_gcc41.patch ...
[A[76C [34;01m[ [32;01mok[34;01m ][0m
>>> 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
 [31;01m*[0m ERROR: sci-mathematics/nusmv-2.5.2 failed (compile phase):
 [31;01m*[0m   Failed to build minisat bin
 [31;01m*[0m 
 [31;01m*[0m Call stack:
 [31;01m*[0m     ebuild.sh, line  93:  Called src_compile
 [31;01m*[0m   environment, line 2393:  Called die
 [31;01m*[0m The specific snippet of code:
 [31;01m*[0m           emake COPTIMIZE="${CFLAGS}" r || die "Failed to build minisat bin";
 [31;01m*[0m 
 [31;01m*[0m If you need support, post the output of `emerge --info '=sci-mathematics/nusmv-2.5.2'`,
 [31;01m*[0m the complete build log and the output of `emerge -pqv '=sci-mathematics/nusmv-2.5.2'`.
 [31;01m*[0m The complete build log is located at '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/temp/build.log'.
 [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/temp/environment'.
 [31;01m*[0m Working directory: '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/MiniSat/MiniSat_v1.14'
 [31;01m*[0m S: '/var/tmp/portage/sci-mathematics/nusmv-2.5.2/work/NuSMV-2.5.2/nusmv'