Changes between Version 26 and Version 27 of ccpn

Timestamp:

Feb 3, 2019, 6:05:13 PM (6 years ago)

Author:

9simon

Comment:

Work on Haustermann's change. Write about Windows.

ccpn

@@ -14 +14 @@
 == Prerequisites ==
 
-Installation for the CCPN tools is supported for Linux and macOS and requiers:
+Installation for the CCPN tools is supported for Unix-like systems (macOS, Linux, BSD,...) and requires:
 
 - Java Runtime Environment in Version 9 or later
@@ -21 +21 @@
 == Installation ==
 
-The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] (includes the KiCS2 compiler).
+The CCPN tool set requires two components, Renew with the CurryCPN and the !RefNetReachabilityGraph plugin, as well as the [https://git.informatik.uni-hamburg.de/9simon/ccpn CCPN simulator] (includes the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] Curry compiler).
+
+We have extensively tested the installation on macOS, but it also supports other Unix-like systems (Linux, BSD,...). Windows is currently not officially supported (see below).
 
 === Renew ===
@@ -39 +41 @@
 This may take a while because it bootstraps the KiCS2 compiler.
 
+=== On Windows ===
+
+So far, we do not offer a working setup script for the CCPN simulator on Windows.
+The installation described above only works on Unix-like systems (macOS, Linux, BSD,...).
+The CCPN simulator installation depends on a lot of standard GNU commands that are very difficult to set up correctly in Windows.
+However, if the CCPN simulator installation succeeded, Renew can be set up in Windows by running `bin/win/installrenew.bat` and then started by running `bin/win/loadrenew`.
+
 == Usage ==
 
-To start Renew with the CurryCPN plugin use the generated `loadrenew` script in `bin/unix`.
+To start Renew with the CurryCPN plugin use the generated `bin/unix/loadrenew` script.
 
 You can find the example CCPN from the ''Tools for Curry-Coloured Petri Nets'' paper in `examples/word.rnw`.