Hi Epfl-Team , I am student at TU Berlin, and want to run cloudsuite on ubuntu. I follow the http://parsa.epfl.ch/cloudsuite/cloud9.html step 2 , 'make' command. while compiling the klee , I see below error. ubuntu@hadoop-6-12:~/cloud9-cloudsuite/klee-c9-uclibc$ make .... SOME OUT PUT ... /tmp/cclcJgsA.s: Assembler messages: /tmp/cclcJgsA.s: Error: .size expression for _init does not evaluate to a constant /tmp/cclcJgsA.s: Error: .size expression for _fini does not evaluate to a constant make: *** [lib/crtn.o] Error 1
ubuntu@hadoop-6-12:~/cloud9-cloudsuite/klee-c9-uclibc$ make #to run again cc1: warning: unrecognized gcc debugging option: N AS lib/crtn.o /tmp/ccIReQ1e.s: Assembler messages: /tmp/ccIReQ1e.s: Error: .size expression for _init does not evaluate to a constant /tmp/ccIReQ1e.s: Error: .size expression for _fini does not evaluate to a constant make: *** [lib/crtn.o] Error 1 ubuntu@hadoop-6-12:~/cloud9-cloudsuite/klee-c9-uclibc$ I saw same issue in http://www.mail-archive.com/[email protected]/msg00155.html and set environmental variables accordingly. But, there is no answer for that. Could you please help! Thanks Best Regards Zubair
