Dear Wnta, I am not sure whether that might be the case here, however I would check if llvm-gcc is in the PATH when you compile STP.
Best regards, Tomek > 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 > > 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 > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
