Hi Saba, Thanks for you message. You appear to have the same problem as the one described here:
https://bbs.archlinux.org/viewtopic.php?id=88108 Let me know if this solution works for you. Regards, Javier ________________________________ From: Saba Aflaki [[email protected]] Sent: 07 March 2013 20:25 To: [email protected] Subject: Software Testing Benchmark Installation Problem Dear All, I'm trying to compile the software testing benchmark but I get the same error mentioned in this thread : http://www.mail-archive.com/[email protected]/msg00116.html llvm[2]: Linking Release+Asserts executable klee (without symbols) /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::start()': /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:97: undefined reference to `clock_gettime' /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:102: undefined reference to `clock_gettime' /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::stop()': /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:111: undefined reference to `clock_gettime' /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:116: undefined reference to `clock_gettime' /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o): In function `cloud9::instrum::Timer::start()': /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:97: undefined reference to `clock_gettime' /home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/Release+Asserts/lib/libkleeCore.a(TimingSolver.o):/home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/include/cloud9/instrum/Timing.h:102: more undefined references to `clock_gettime' follow collect2: ld returned 1 exit status make[2]: *** [/home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/Release+Asserts/bin/klee] Error 1 make[2]: Leaving directory `/home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/tools/klee' make[1]: *** [klee/.makeall] Error 2 make[1]: Leaving directory `/home/saba/SoftwareTesting/cloud9-cloudsuite/cloud9/tools' make: *** [all] Error 1 I looked at all make files.. in Makefile.common -lrt is added to LD.Flags at the end, and in Makefile.config I added LDFLAGS := -lrt. I'm still getting the same error. Could you please tell me how this can be fixed? Thanks, Saba
