I've just noticed the same. I would try to do make clean, configure once more and then as Jonathan's said.
Thanks, Tomek On 17 May 2013, at 10:15, Jonathan Neuschäfer <[email protected]> wrote: > 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
<<attachment: winmail.dat>>
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
