---------------------------------------------------------------
         Software of New Algorithms for Fully Dynamic Transitive Closure
         ---------------------------------------------------------------


                      Installation Instructions


This version of the software package is to be installed on a SUN Solaris
or Linux machine, with g++ compiler (2.95), and LEDA-4.2.


1. Uncompress and untar the file Zaro-new-fdtc-software-leda-4.2.tar.gz:

     prompt> gunzip Zaro-new-fdtc-software-leda-4.2.tar.gz
     prompt> tar xvf Zaro-new-fdtc-software-leda-4.2.tar

   Alternatively, you can type:

     prompt> tar xvfz Zaro-new-fdtc-software-leda-4.2.tar.gz

   The following files and directories should have been created

   Experiments/                       Contains links to the experimentation platforms
                                      (dtc_test, dtc_test_no_gui) which have to be invoked
                                      from this directory and may also contain some data
                                      used in the experiments (subdirectory Data). See also
                                      the included README file in that directory.

   INSTALL                            (a copy of) this file

   README                             A general introduction to the software.

   new-dtc/                           Contains the source and header files of the
                                      software package.


2. Obtain the LEDA-4.2 object codes for the g++-2.95 compiler and Solaris or Linux
   operating systems from Algorithmic Solutions GmbH (http://www.algorithmic-solutions.com/).
   These were the latest free distributions of LEDA, and hence you may still get it for free. 
   Install the LEDA-4.2 object package. 


3. Go to the directory new-dtc which was created in step 1,
   and list its contents.

     prompt> cd new-dtc
     prompt> ls

   It should contain (at least) the following files and subdirectories.

     Makefile        a makefile for compiling the package
     README          a general description of the directory new-dtc
     lconfig         shell script used for configuration
                     (should be executable)
     confdir/        a directory with information for automatic
                     configuration
     incl/           include files (follow the subdirectories)
     src/            source code of the implementations
     test/           tools for performance measurements


4. Type 'make configure'.

     prompt> make configure

   to start the automatic configuration procedure. You will be prompted for the C++ compiler
   you want to use (e.g., g++), for the path to the LEDA include files (if necessary), e.g.,
   /usr/local/LEDA-4.2-sparc-solaris-g++-2.95/incl, and for the path to the LEDA libraries,
   e.g., /usr/local/LEDA-4.2-sparc-solaris-g++-2.95.


5. Type 'make'

     prompt> make

   to compile the software package. Then the library libLEP_dynamic_graphs.a
   is assembled, and test programs are made in the subdirectory test. There are some
   options, e.g., making the library with debugging support enabled. See the
   Makefile for these options.
   If you want to recompile, you don't need to repeat step 4; simply type 'make'.
   During recompilation the old configuration files are used.


6. If you want to reconfigure (e.g., to give new paths for LEDA include files
   and directories), use the following commands.

     prompt> make configure
     prompt> make