Skip to content

rocher/ob-ada-spark

Repository files navigation

Ada/SPARK support for Emacs org-babel

Introduction

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.

Installation

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.

Examples

Please see some screenshots in the images directory.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

No packages published