Hi Mark, On 10 March 2014 21:28, Mark R. Tuttle <[email protected]> wrote: > 1. Is there an email list for STP support? I've looked on > > https://github.com/stp/stp > http://stp.github.io/stp/ > https://sites.google.com/site/stpfastprover/
I think you want the STP users' group [1] > 2. In what windows environments will STP build? Doing the "obvious" thing > with CMake and Visual Studio 2010 does not appear to build without errors. Are you using LLVM2.9? I know for sure that LLVM3.3 (and upwards) can build on Windows because of a colleague of mine has done this. But for earlier versions of LLVM such as LLVM2.9 I have no idea. I wouldn't be surprised if earlier versions do not work on Windows because UNIX like platforms were the original target for LLVM and not windows. > 3. More generally, under windows, I've been struggling to build a > llvm/llvm-gcc/stp/klee environment with mingw and cygwin and visual studio > and failing in various ways. What is the most appropriate windows > environment for getting klee up and running? Where is the most appropriate > place to ask embarrassing questions? Well if it's related to building KLEE then I guess here. I wouldn't say there's anything that embarrassing about it (other than the Windows part :p). However I don't know anyone you who has ever tried to build KLEE under windows so I suspect you are covering new ground. But I must ask, why are you trying to do this on Windows which pretty much guarantees you're going to have a bad time? If you really need to use Windows but want to develop KLEE why not just run a linux distro inside a VM and try out llvm/STP and KLEE from there? If you're asking for the best environment then I'd recommend a recent Linux distribution. For your reference though there is a port of the STP compiler to Visual Studio 2012 [2] that I've not tested. [1] https://groups.google.com/forum/#!forum/stp-users [email protected] [2] https://github.com/stp/stp/pull/64 Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
