STP on windows?

Daniel Liew

2014-03-10 22:19:37 UTC

Hi Mark,

Post by Mark R. Tuttle
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]

Post by Mark R. Tuttle
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.

Post by Mark R. Tuttle
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-/***@public.gmane.org

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

Thanks,
Dan.