PAKCS: The Portland Aachen Kiel Curry System
Installation Instructions
The current version of PAKCS runs on Unix-based platforms
and has been tested under SunOS, Linux, and Mac OS X.
If you want to install and run the complete system
on your computer, you need the following software:
- 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 the PAKCS kernel:
-
Go into the main directory of PAKCS (which contains
this file). In the following, we assume that pakcshome
is the name of this directory.
-
Modify in the shell script "pakcshome/bin/.pakcs_variables"
the definition of the variables JAVA and SICSTUS
according to your local installation.
If the variable SICSTUS is undefined,
the Curry2Prolog compiler system is not installed (i.e.,
only the front-end is installed).
-
If you prefer faster executables (but larger compilation times
for Curry programs) with the Curry2Prolog compiler system,
you can modify the definition of the variable FASTCODE
in the file "pakcshome/curry2prolog/Makefile".
-
Execute "make" which installs PAKCS as a saved state
of Sicstus-Prolog (if you have already another installation of PAKCS,
do "make clean" before).
-
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.
-
Now you can start the Curry2Prolog compiler system via the commands
"pakcs" or "curry2prolog" (and
the TasteCurry interpreter via the command "tastecurry").
-
If you want, you can also execute "make libdoc"
to generate the online documentation of all system libraries
by the CurryDoc tool into the directory
"pakcshome/lib/CDOC".
-
You can configure the behavior of PAKCS by various setting
in a "pakcsrc" file. For doing so, copy the file
pakcshome/pakcsrc as ".pakcsrc"
into you home directory and modify the settings.
How to install additional packages:
The distribution of PAKCS contains various additional packages
and libraries. Some require additional software packages that are
described below.
-
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).
-
If you want to use the DaVinci library for the visualization of graphs
(pakcshome/lib/DaVinci.curry), you need also an
installed daVinci system which can be downloaded
here.
In this case, you have to modify the definition of the constant
dvHome in the library pakcshome/lib/DaVinci.curry
according to the installation path of daVinci.
-
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.
Michael Hanus