On Fri, May 17, 2013 at 12:51:26PM +0800, wnta wrote: > Dear All: > > I use ubuntu 12.04,and install klee in my computer according to the > instruction from Andrei > when i install STP(subversion 940). There is some error. would anybody > give me some kindly help? > > Best Regards > wnta > > " > wnta@wnta:~/work/stp$ ./scripts/configure > --with-prefix=/home/$(whoami)/work/stp_install --with-cryptominisat2 > Setting prefix to... /home/wnta/work/stp_install > Using SAT solver: cryptominisat2 > STP is configured successfully. > > Type 'make' to compile STP. > Type 'make install' to compile & install STP. > wnta@wnta:~/work/stp$ make -j $(grep -c processor /proc/cpuinfo) > OPTIMIZE=-O2 CFLAGS_M32=install
You need a space between "CFLAGS_M32=" and "install". Thanks, Jonathan Neuschäfer > make -C src/AST > make[1]: Entering directory `/home/wnta/work/stp/src/AST' > g++: error: install: No such file or directory > g++ -O2 -DCRYPTOMINISAT2 -I../../src/ install -I../AST -DONLY_MSPACES > -DMSPACES -I../../src/sat/cryptominisat2/mtl -I../../src/sat/cryptominisat2 > -DEXT_HASH_MAP -Wno-deprecated -c -o ArrayTransformer.o ArrayTransformer.cpp > g++ -O2 -DCRYPTOMINISAT2 -I../../src/ install -I../AST -DONLY_MSPACES > -DMSPACES -I../../src/sat/cryptominisat2/mtl -I../../src/sat/cryptominisat2 > -DEXT_HASH_MAP -Wno-deprecated -c -o ASTBVConst.o ASTBVConst.cpp > g++: error: install: No such file or directory > make[1]: *** [ArrayTransformer.o] Error 1 > make[1]: *** Waiting for unfinished jobs.... > g++: error: install: No such file or directory > make[1]: *** [ASTBVConst.o] Error 1 > make[1]: Leaving directory `/home/wnta/work/stp/src/AST' > make: *** [AST] Error 2 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
