This is CIDER, the Curry Integrated Development EnviRonment
===========================================================
(see at http://www.informatik.uni-kiel.de/~pakcs/cider for details)

Requirements:
=============

An installation of PAKCS (http://www.informatik.uni-kiel.de/~pakcs) of the
latest release (http://www.informatik.uni-kiel.de/~pakcs/latest_release.tgz)
(i.e., of June 2004 or newer)


Installation notes:
===================

Before you can use CIDER, you have to set the following definitions:

1. In the file "Makefile": Set the definition of variable PAKCSHOME
   according to your local installation of PAKCS.

2. In order to use the CIDER function for drawing dependency graphs,
   you need a correct installation of the PAKCS library "DaVinci"
   (see $PAKCSHOME/lib/DaVinci.curry), i.e., you have to set the
   constant "dvHome" defined in this library to the root directory
   of your local installation of DaVinci.

   Note: You can download the DaVinci graph visualization tool from
         http://www.tzi.de/daVinci/

After that you can compile and start CIDER by "./startcider".



Extending CIDER:
================

As described in the papers about CIDER, CIDER can be easily
extended by adding new program analyses and new front ends.
If you want to do this, modify the file "Conf.curry"
accordingly and recompile CIDER.
