Dear All,
I am trying to compile and run the software testing benchmark Cloud9. I have
encountered errors on the way, but right now I am finally able to compile Klee
(klee-c9-uclibc) and llvm (llvm-2.9).
Right now I am getting the following error when I try to compile cloud9:
iakgun@iakgun-OptiPlex-7020:~/Tools/cloud9-cloudsuite/cloud9$ sudo make
make[1]: Entering directory `/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib'
make[2]: Entering directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Basic'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Basic'
make[2]: Entering directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Support'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Support'
make[2]: Entering directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Expr'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Expr'
make[2]: Entering directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Solver'
llvm[2]: Compiling Solver.cpp for Release+Asserts build
In file included from
/home/iakgun/Tools/cloud9-cloudsuite/cloud9/include/klee/Solver.h:13:0,
from Solver.cpp:10:
/home/iakgun/Tools/cloud9-cloudsuite/cloud9/include/klee/Expr.h: In member
function 'virtual klee::ref<klee::Expr>
klee::ConstantExpr::rebuild(klee::ref<klee::Expr>*) const':
/home/iakgun/Tools/cloud9-cloudsuite/cloud9/include/klee/Expr.h:354:20:
warning: cast from type 'const klee::ConstantExpr* const' to type 'klee::Expr*'
casts away qualifiers [-Wcast-qual]
return (Expr*) this;
^
Solver.cpp: In function 'void stpTimeoutHandler(int)':
Solver.cpp:590:11: error: '_exit' was not declared in this scope
_exit(52);
^
Solver.cpp: In function 'bool runAndGetCexForked(VC, klee::STPBuilder*, VCExpr,
const std::vector<const klee::Array*>&, std::vector<std::vector<unsigned char>
>&, bool&, double)':
Solver.cpp:610:18: error: 'fork' was not declared in this scope
int pid = fork();
^
Solver.cpp:647:7: error: '::alarm' has not been declared
::alarm(0); /* Turn off alarm so we can safely set signal handler */
^
Solver.cpp:649:7: error: '::alarm' has not been declared
::alarm(std::max(1, (int)timeout));
^
Solver.cpp:663:14: error: '_exit' was not declared in this scope
_exit(res);
^
Solver.cpp:712:1: warning: control reaches end of non-void function
[-Wreturn-type]
}
^
/bin/rm: cannot remove
'/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Solver/Release+Asserts/Solver.d.tmp':
No such file or directory
make[2]: ***
[/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Solver/Release+Asserts/Solver.o]
Error 1
make[2]: Leaving directory
`/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib/Solver'
make[1]: *** [Solver/.makeall] Error 2
make[1]: Leaving directory `/home/iakgun/Tools/cloud9-cloudsuite/cloud9/lib'
make: *** [all] Error 1
Build Environment:
bison (GNU Bison) 3.0.2
Boost version 1.54
flex 2.5.35
klee-c9-uclibc
llvm-2.9
llvm-gcc4.2-2.9-x86_64-linux
clang+llvm-2.9-x86_64-linux
OS:
Linux iakgun-OptiPlex-7020 3.13.0-46-generic #77-Ubuntu SMP Mon Mar 2 18:23:39
UTC 2015 x86_64 x86_64 x86_64 GNU/Linux
Any help is appreciated. Thank you.
Itir Akgun
