<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
I am trying to build httpd.bc and for this I am configuring as<br>
<br>
./configure --disable-shared CC="<u><i><b>llvm-gcc -flto
-use-gold-plugin -Wl,-plugin-opt=also-emit-llvm</b></i></u>"
CFLAGS="-g" RANLIB="ar --plugin
/home/awanish/llvm-2.9/llvm-gcc-4.2-2.9.source/libexec/gcc/x86_64-unknown-linux-gnu/4.2.1/LLVMgold.so
-s" AR_FLAGS="--plugin
/home/awanish/llvm-2.9/llvm-gcc-4.2-2.9.source/libexec/gcc/x86_64-unknown-linux-gnu/4.2.1/LLVMgold.so
-cru"<br>
<br>
but I am getting an error which states that<br>
<br>
<font color="#ff0000">checking for gcc... llvm-gcc -flto
-use-gold-plugin -Wl,-plugin-opt=also-emit-llvm<br>
checking whether the C compiler works... no<br>
configure: error: in
`/home/awanish/PHD/benchmark/httpd-2.2.16/myBuild/srclib/apr':<br>
configure: error: C compiler cannot create executables<br>
</font><br>
I got reference for configuring like this from
<a class="moz-txt-link-rfc2396E" href="https://dslabredmine.epfl.ch/embedded/cloud9/user/CompilingLLVM.html">"https://dslabredmine.epfl.ch/embedded/cloud9/user/CompilingLLVM.html"</a>.
<br>
Can anyone please tell me where I am doing wrong and what is correct
procedure for generating .bc for for httpd which can be run on klee?<br>
<pre class="moz-signature" cols="72">--
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur</pre>
</body>
</html>