INSTALLATION INSTRUCTIONS
-------------------------

The SPARK Ada mode is not a stand alone mode, it requires the Ada mode.

ADA_MODE_VERSION=4.01
SPARK_MODE_VERSION=1.1

- Get version <ADA_MODE_VERSION> of the Ada mode from
  http://stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html. Check
  the version of the Ada mode provided with your Emacs, it could be
  the relevant one!

- Install the Ada mode if needed :

  mkdir <PREFIX>/ada-mode/
  cd <PREFIX>/ada-mode/
  tar zxvf ada-mode-${ADA_MODE_VERSION}.tar.gz
  cd -

- Unpack the SPARK Ada mode :

  tar zxvf spark-ada-${SPARK_MODE_VERSION}.tar.gz

  The directory spark-ada-<SPARK_MODE_VERSION> will be created.

- Overwrite the Ada mode by the SPARK Ada mode :

  cp -f <PREFIX>/spark-ada-${SPARK_MODE_VERSION}/*.el <PREFIX>/ada-mode/

- Make the SPARK Ada mode visible for Emacs by adding in your .emacs :

  (add-to-list 'load-path "<PREFIX>/ada-mode")

- By default the SPARK Ada mode is not activated. To activate the
  SPARK Ada mode, use the Ada -> Customize menu from the Ada mode and
  update the entry : "Ada Spark Mode". This will update your .emacs by
  adding :

  (custom-set-variables
   '(ada-spark-mode t)
  )

- When opening an Ada file in Emacs, the SPARK Ada mode will be used.

- The specific SPARK Ada mode functionalities are described in
  the usage section of spark-mode.el.

LICENCE
-------

Copyright (C) 2010, 2011  Gaétan Allaert

Author: Gaétan Allaert <gaetan.allaert@belgacom.net>
Maintainer: Gaétan Allaert <gaetan.allaert@belgacom.net>
Keywords: languages SPARK ada

This file is not part of GNU Emacs.

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <http://www.gnu.org/licenses/>.
