[klee-dev] problem when installing

[Jonathan Neuschäfer]

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