Dear Daniel Liew Did you mean that I have to wait until the new versions of LLVM to compile under Windows under cygwin?
On Mon, Sep 8, 2014 at 5:15 AM, Daniel Liew <[email protected]> wrote: > On 7 September 2014 15:46, Dinh Ngoc Thi <[email protected]> wrote: > > Dear all > > > > To use KLEE, I have to compile LLVM 2.9. > > You also need to use Linux, **not** windows to use KLEE. In principle > the Linux specific parts could be removed but I've never tried. > > New versions of LLVM will compile under Windows under cygwin (I'm not > sure about LLVM2.9 though). > > > I used Cygwin in Window 7.0, and I always meet error: > > Can't open perl script > > > "/cygdrive/d/phd/SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config": > > No such file or directory > > llvm-config is not a perl script. I'm not familiar with how cygwin > works but it should not be trying run llvm-config as a perl script. >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
