Gnu Emacs Ada mode homepage

Ada mode 7.2.0

Available via Gnu ELPA.
Requires Emacs 25.0 or greater. Compiling the required Ada code for the requires GNAT GPL 2017 or later; tested with GNAT Community Edition 2019 and GNAT Pro 20.
To install:
ada-mode project page on savannah

Access git repository, etc.

To clone the git repository, use "git clone -b org.emacs.ada-mode"; otherwise git uses the non-existent branch "master". After cloning that branch, run git_checkout.sh to checkout wisitoken, sal, etc.

ELPA page for ada-mode
Ada mode manual, NEWS, and old versions
ada-mode-keys.el
My bindings, settings, and hooks for using Ada mode; provided as an example.

Ada mode 7.3.beta beta test

To retrieve the beta test version from Gnu ELPA, add the devel repository to package-archives:

(add-to-list 'package-archives (cons "gnu-devel" "https://elpa.gnu.org/devel"))
    

Incremental parse is provided. It still has some bugs, so it is not enabled by default. To try it:

      (setq-default wisi-incremental-parse-enable t).
    

Please report success or issues to the ada-mode mailing list

Notes

Ada mode uses a parser for the indentation, fontification, and navigation engine. The tools used to produce the Ada parser are included in the ada-mode and wisi ELPA packages; the upstream development version is available from the git repository in the Emacs ada-mode savannah project.

ELPA page for wisi package
Provides the elisp interface with the parser.
WisiToken
The parser generator.
SAL
Containers and other utilities used by WisiToken.

mailing list, bugs

Subscribe to the Emacs ada-mode-users mailing list, for developer and user discussions of Ada mode. WisiToken is discussed either on the Ada mode mailing list, or the newsgroup comp.lang.ada.

mailing list archive

Please report bugs both to the mailing list and to the Emacs bug list or Emacs debbugs. Put Package: emacs, ada-mode as the first line of the bug message.


my home page Author : Stephen Leake Valid HTML 5 Created with Emacs Last modified: Tue Jul 12 07:20:27 Pacific Daylight Time 2022