Hi guys, I'm having trouble compiling STP as instructed by http://ccadar.github.io/klee/GetStarted.html (step 3)
I am running in a Ubuntu 12.04 LTS Linux 64-bit machine. After failing to build with my default toolchain GCC 4.6.3, I installed version 3.4.6 of gcc, gcc-base, g++, cpp, libstdc++6 via: $ wget http://old-releases.ubuntu.com/ubuntu/pool/universe/g/gcc-3.4/*.deb(I put each separately) $ sudo dpkg -i *.deb I didn't update binutils nor make. I ran... $ ./scripts/configure --with-prefix=/home/(myname)/stp --with-cryptominisat2, and... $ make CC=gcc-3.4 CXX=g++-3.4 OPTIMIZE=-O2 CFLAGS_M32= But still I get lots of warnings and an error that I print below: In file included from Gaussian.h:32, from Logger.cpp:36: PackedMatrix.h: In member function `MINISAT::PackedRow MINISAT::PackedMatrix::iterator::operator*()': PackedRow.h:224: error: `MINISAT::PackedRow::PackedRow(uint32_t, uint64_t*)' is private PackedMatrix.h:141: error: within this context Logger.cpp: In member function `void MINISAT::Logger::end(MINISAT::Logger::finish_type)': Logger.cpp:375: warning: cast to pointer from integer of different size make[2]: *** [Logger.o] Error 1 make[2]: Leaving directory `/home/(myname)/llvm-2.9/stp/src/sat/cryptominisat2' make[1]: *** [cryptominisat2] Error 2 make[1]: Leaving directory `/home/(myname)/llvm-2.9/stp/src/sat' make: *** [all] Error 2 Any ideas of what this error is and how to resolve it? Help is truly appreciated. Thanks, Luis
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
