Discussion:
problem when installing
wnta
2013-05-17 04:51:26 UTC
Permalink
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:~/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:~/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
Tomasz Kuchta
2013-05-17 07:44:00 UTC
Permalink
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
Post by wnta
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
"
--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.
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Jonathan Neuschäfer
2013-05-17 09:15:13 UTC
Permalink
Post by wnta
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
"
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.
You need a space between "CFLAGS_M32=" and "install".


Thanks,
Jonathan Neuschäfer
Post by wnta
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
Kuchta, Tomasz
2013-05-17 09:23:07 UTC
Permalink
I've just noticed the same. I would try to do make clean, configure once more and then as Jonathan's said.

Thanks,

Tomek
Post by Jonathan Neuschäfer
Post by wnta
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
"
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.
You need a space between "CFLAGS_M32=" and "install".
Thanks,
Jonathan Neuschäfer
Post by wnta
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Continue reading on narkive:
Loading...