[klee-dev] Ask you about compile klee-uclibc

[Kuchta, Tomasz]

Hello,
The officially supported operating system for KLEE is Linux, I’m afraid you will not be able to run it on Windows.
Best regards,

Tomek

From: Dinh Ngoc Thi <dinhngocthi at gmail.com<mailto:dinhngocthi at gmail.com>>
Date: Wednesday, 1 October 2014 15:14
To: klee-dev <klee-dev at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>>
Subject: [klee-dev] Ask you about compile klee-uclibc

Dear all,


When I compile klee-uclibc which is guided in this site
http://klee.github.io/klee/GetStarted.html

I always met this error:
--------------------------------------------------
INFO:Testing LLVM Bitcode compiler.../cygdrive/e/SymbolicExecution/tool/llvm-gcc/bin/llvm-gcc
INFO:Compiler failed with output:
llvm-gcc.exe: /tmp/tmpmEA0eB.c: No such file or directory
llvm-gcc.exe: no input files
--------------------------------------------------

I am using Win7 32bits and Cygwin.

Anyone can help me?
Many thanks in advance.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 5361 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20141001/cacdd9ac/attachment.bin>