Building ProB on Windows: Difference between revisions

(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')
 
(Replaced by new documentation in source repo)
Tag: Replaced
 
(7 intermediate revisions by one other user not shown)
Line 1: Line 1:
In case that you want to compile ProB from Source on Windows, here are some information about the setup:
Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md.
 
Required:
# Sicstus (4.1.3)
# Visual Studio 2005
# Cygwin & svn

Latest revision as of 15:35, 24 March 2022

Build instructions for Windows (and other systems) are now found in the ProB source distribution in the file doc/building.md.