PAKCS: The Portland Aachen Kiel Curry System

Installation Instructions

• a Java interpreter
• Sicstus-Prolog (Version 3 #5 or higher)
• a compiler for Pizza (this is only necessary if you want to use the compiler for Curry into Java)

How to generate and install PAKCS:

1. Go into the main directory of PAKCS (which contains this file). In the following, we assume that pakcshome is the name of this directory.
2. Modify in the shell script "pakcshome/bin/.pakcs_variables" the definition of the following variables according to your local installation: JAVA, PIZZACLASSES, SICSTUS, SICSTUS_VERSION.
   
3. Execute "make" which installs PAKCS as a saved state of Sicstus-Prolog (if you have already another installation of PAKCS, do "make clean" before).
4. Add the directory "pakcshome/bin" to your path, e.g., by the command set path ($path pakcshome/bin) in the C-shell. Since pakcshome/bin/sicstus is equivalent to a call to your local Sicstus-Prolog system (as defined by the variable SICSTUS above), the shell command sicstus is now a call to your Sicstus-Prolog system. This is necessary to restore Sicstus-Prolog saved states correctly.
5. Now you can start the Curry2Prolog Compiler System via the command "curry2prolog" or the TasteCurry interpreter via the command "tastecurry".
6. If you want to use the compiler for Curry into Java (command "curry2java"), you need also a Pizza compiler and you have to modify the definition of the variable PIZZACLASSES in the shell script "pakcshome/bin/.pakcs_variables" according to your local installation of the Pizza compiler.
7. If you want to use the Tk library for GUI programming in Curry (pakcshome/lib/Tk.curry), you need also a Tcl/Tk implementation (including the windowing shell wish) which can be downloaded here. In this case, the windowing shell wish must be in your path (or you can also modify the definition of the function openWish in the Tk library pakcshome/lib/Tk.curry).