[klee-dev] STP on windows?

[Daniel Liew]

Hi Mark,

On 10 March 2014 21:28, Mark R. Tuttle <tuttle at acm.org> 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
stp-users at googlegroups.com

[2] https://github.com/stp/stp/pull/64

Thanks,
Dan.