;
;  $Id$
;
;  Copyright (c) 2001-2002, RIACA, Technische Universiteit Eindhoven (TU/e).
;  All Rights Reserved.
;

                                INSTALL
                                -------

  Follow the directions below to properly install this service:

   1. Set the Magma binary location in
        $INSTALL_DIR/var/service/magma/etc/service.properties

   3. Startup the service by going to $INSTALL_DIR/bin and starting
      the server (sh server.sh).

   4. Connect to localhost:1236 and type a Magma command.