Dear All, I am installing the software-testing benchmark on a Ubuntu 12.04.1 machine. However, when I am building Cloud9, I got the following error:
make[2]: Leaving directory `/home/hailong/software_testing/cloud9/stp/simplifier' make[1]: Leaving directory `/home/hailong/software_testing/cloud9/stp' make[1]: Entering directory `/home/hailong/software_testing/cloud9/tools' make[2]: Entering directory `/home/hailong/software_testing/cloud9/tools/klee' llvm[2]: Compiling Debug.cpp for Release+Asserts build llvm[2]: Compiling main.cpp for Release+Asserts build llvm[2]: Linking Release+Asserts executable klee (without symbols) /home/hailong/software_testing/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::start()': /home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:97: undefined reference to `clock_gettime' /home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:102: undefined reference to `clock_gettime' /home/hailong/software_testing/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::stop()': /home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:111: undefined reference to `clock_gettime' /home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:116: undefined reference to `clock_gettime' /home/hailong/software_testing/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::start()': /home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:97: undefined reference to `clock_gettime' /home/hailong/software_testing/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o):/home/hailong/software_testing/cloud9/include/cloud9/instrum/Timing.h:102: more undefined references to `clock_gettime' follow collect2: ld returned 1 exit status make[2]: *** [/home/hailong/software_testing/cloud9/Release+Asserts/bin/klee] Error 1 make[2]: Leaving directory `/home/hailong/software_testing/cloud9/tools/klee' make[1]: *** [klee/.makeall] Error 2 make[1]: Leaving directory `/home/hailong/software_testing/cloud9/tools' make: *** [all] Error 1 It seems the library is not linked correctly. Anyone knows how to fix it? Best Hailong
