ob-ada-spark provides support for Ada/SPARK languages in the context of
Emacs’ org-babel, part of org-mode, to evaluate block codes written in
different programming languages.
ob-ada-spark supports compiling and running Ada and SPARK code
(gantmake), as well as proving SPARK programs using formal verification
tools provided in SPARK (gnatprove).
It has also good support for literate programming, with special treatment
of literal substitution in source code blocks that allows evaluation of
elisp expressions.
ob-ada-spark package can be found in MELPA. Install ob-ada-spark package
from MELPA, or clone this repository if you plan to contribute to it.
CAVEAT: To have font highlight (keywords, variables) in Ada/SPARK code blocks
in org-babel , it is necessary to have ada-mode already installed.
Because of some initialization issues, you have open and Ada file in Emacs
before the org file in order to have ada-mode activated in the org
file. ada-mode package is available in ELPA.
Please see some screenshots in the images directory.