[klee-dev] problem when installing

[Kuchta, Tomasz]

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 <j.neuschaefer at gmx.net> 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 at 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 at 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 4615 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130517/4ece4986/attachment.bin>