Hi Javier, Thank you for your reply. I added -lrt to LIB in llvm-2.9/Makefile.config and the error was gone.
Best regards, Saba On Thu, Mar 7, 2013 at 6:37 PM, Javier Picorel <[email protected]>wrote: > 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 > > > >
