[klee-dev] Problems compiling KLEE/STP

[Luis Miguel Martinez]

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
-------------- next part --------------
HTML attachment scrubbed and removed