Hi Zubair, Thanks for you message and your interest in CloudSuite. It seems that binutils 2.21 assembler doesn't like the .size directives anymore and it treats them as errors. Just edit the "klee-c9-uclibc/libc/sysdeps/linux/x86_64/crtn.S" file and remove the lines that appear in bold.
.file "initfini.c" .section .init .global _init .type _init, %function addq $8, %rsp ret .size _init,.-_init .section .fini .global _fini .type _fini, %function addq $8, %rsp ret .size _fini, .-_fini Recompile and tell me if this works for you. Thanks! Regards, Javier ________________________________ From: Zubair Sediqi [[email protected]] Sent: 17 May 2013 16:41 To: [email protected] Subject: 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
