Help

Building ProB on Windows

Revision as of 12:42, 14 February 2011 by Jens Bendisposto (talk | contribs) (Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In case that you want to compile ProB from Source on Windows, here are some information about the setup:

Required:

  1. Sicstus (4.1.3)
  2. Visual Studio 2005
  3. Cygwin & svn
Retrieved from "https://prob.hhu.de/w/index.php?title=Building_ProB_on_Windows&oldid=823"