<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>