Hi Javier, I changed my os to ubuntu 10.04 x64 with 2.6.32 kernel, and compiling klee was successful. But now I'm stuck on compiling Cloud9. For Cloud9, compiling Basic, Support, Expr, Solver, Module, Core has been done but on the Cloud9 directory, compiling stopped with this message.
Cloud9Data.pb.h:11:2: error: #error This file was generated by a newer version of protoc which is Cloud9Data.pb.h:12:2: error: #error incompatible with your Protocol Buffer headers. Please update Cloud9Data.pb.h:13:2: error: #error your headers. Would you please help me solving this problem? I am using LLVM & KLEE all downloaded with CloudSuite package. Thank you. Sungkap On Tue, Jul 16, 2013 at 11:00 PM, Sungkap Yeo <[email protected]> wrote: > Hi Javier, > > I found that my system has unistd.h at /usr/include/unistd.h , so I edited > Makefile so that gcc can have -I/usr/include. Then the compiler made more > errors saying so many predefined macros are redefined. It turned out that > the klee package that came with CloudSuite already had unistd.h at > ./klee-c9-uclibc/include/unistd.h. It seems like just a small piece is > missing but I can't locate it. (For the error messages I got, please find > the attached image. my kernel version was 3.5.0-36-generic. I was using > Ubuntu 12.04.) > > Can I ask which OS and version did you use for this benchmark? I wish to > install the exact same OS if that's is the only way. Thank you for the > answers!! > > Sungkap > > > > On Mon, Jul 15, 2013 at 4:04 PM, Javier Picorel <[email protected]>wrote: > >> Hi Sungkap, >> >> Thanks for your interest in CloudSuite. >> >> Regarding Cloud9, it seems that your standard c library doesn't export >> the system call numbers (unistd.h). >> >> One option is to create yourself a file called "unistd.h" and place all >> the syscall numbers there. Then you pass the file's path to the c >> preprocessor (export CPPFLAGS=-I/path_to_your_custom_unistd.h). >> >> What's your kernel version? You can download this file and grep the >> #define lines to create your custom "unistd.h" file >> >> >> http://lxr.missinglinkelectronics.com/linux/include/uapi/asm-generic/unistd.h >> >> Regards, >> Javier >> ------------------------------ >> *From:* Sungkap Yeo [[email protected]] >> *Sent:* 16 July 2013 00:19 >> *To:* Cansu Kaynak >> *Cc:* <[email protected]> >> *Subject:* Re: Some questions in compiling and running CloudSuites v2 >> >> Hi Cansu, >> >> Thanks for the reply. I actually always make (Buildit in this case) using >> non-root account but always install with sudo. In this case I also did >> Buildit without sudo and did sudo ./Install. ;-( If you think permission >> may be the problem, then I will try sudo bash and re-do everything again >> tonight and will report the results. Thanks! >> >> >> On Mon, Jul 15, 2013 at 3:06 PM, Cansu Kaynak <[email protected]>wrote: >> >>> Hi Sungkap. >>> Regarding streaming: >>> First, please make sure that you run Buildit before Install. >>> Second, you need to have root privileges for the Install script. So, you >>> can run sudo ./Install. >>> >>> -- >>> Cansu >>> >>> On Jul 16, 2013, at 12:02 AM, Sungkap Yeo <[email protected]> >>> wrote: >>> >>> Dear CloudSuite mailing list subscribers, >>> >>> Good afternoon. I am Sungkap Yeo who is trying to natively run >>> CloudSuite on my Ubuntu machine but facing some difficulties on compiling & >>> preparing some benchmarks. I tried this and that all this weekend but the >>> following things has yet to be resolved. Would you please shed a little >>> light on these problems? >>> >>> First of all, I am using fresh installed Ubuntu 12.04 LTS 64bit OS on >>> top of Intel's core 2 duo CPU (Xeon, in fact). For JVM, I am using OpenJDK6 >>> mostly and tried jdk-6-oracle sometimes. (I found that most of the programs >>> are tested under jdk-6 not -7.) All other packages are downloaded from >>> official CloudSuite (EPFL). >>> >>> (1) For Cloud9, during building KLEE, I faced compile error as follows. >>> >>> (... after many successful compilations ...) >>> *CC libc/sysdeps/linux/common/access.os* >>> *libc/sysdeps/linux/common/access.c: In function 'access':* >>> *libc/sysdeps/linux/common/access.c:12: error: '__NR_access' undeclared >>> (first use in this function)* >>> *libc/sysdeps/linux/common/access.c:12: error: (Each undeclared >>> identifier is reported only once* >>> *libc/sysdeps/linux/common/access.c:12: error: for each function it >>> appears in.)* >>> *make: *** [libc/sysdeps/linux/common/access.os] Error 1* >>> >>> I tried this and that to detour this problem but nothing was successful. >>> >>> >>> (2) For Media Streaming, during "installing the server", after "sudo >>> ./Install" ("Install" file was downloaded from EPFL), >>> - There is no file like "/etc/streaming/streamingserver.xml" >>> - There is no file like "/usr/local/sbin/DarwinStreamingServer" >>> >>> So I could not proceed any further. >>> >>> If you have any clue about these problems would you please share some? >>> Any input will be really appreciated. Thank you for your great work on >>> CloudSuite v2. >>> >>> >>> >> >
