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.