[klee-dev] problem when installing

[Tomasz Kuchta]

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 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
> 
> 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
>