[klee-dev] 回复： 回复： 回复： How can I running .cpp from KLEE?

[小、 ￣洁]

When I have installed CLang, during the installation of the llvm ,it still notes that clang++ not found
 why?




------------------ 原始邮件 ------------------
发件人: "小、　　￣洁"; 
发送时间: 2014年5月6日(星期二) 下午3:54
收件人: "madinmud at gmail.com"; "이원준"; 
抄送: "klee-dev"; 
主题: [klee-dev] 回复： 回复： How can I running .cpp from KLEE?



KLEE must be inistalled on Linux X86_64? What operating systems you use? Ubutu or Debian?
 

 

 ------------------ 原始邮件 ------------------
  发件人:"madinmud at gmail.com"; 
 发送时间: 2014年5月5日(星期一) 下午2:21
 收件人: "이원준"; 
 抄送: "klee-dev"; 
 主题: [klee-dev] 回复： How can I running .cpp from KLEE?

 

 
You need to install built essencials
, or you are using a 64bit maching without the 32bit -compatible libs installed.


 
发自我的小米手机
 이원준 <net_abc at nate.com>于 2014-5-1 下午10:14写道：
       1. Im edit tutorial 1's get_sign.c -> get_sign.cpp
 
 2. and just followed tutorial1
 
 3. now im meet the error what's the problem?
 
 http://puu.sh/8uNcI.png
  
 ps. that Korean mean is no such file or directory
-------------- next part --------------
HTML attachment scrubbed and removed