https://github.com/rocher/ob-ada-spark

https://github.com/rocher/ob-ada-spark

Last synced: 5 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/rocher/ob-ada-spark
• Owner: rocher
• License: gpl-3.0
• Created: 2021-11-16T17:51:50.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-11-14T20:11:43.000Z (over 3 years ago)
• Last Synced: 2025-12-12T02:59:04.993Z (6 months ago)
• Language: Emacs Lisp
• Size: 1.38 MB
• Stars: 8
• Watchers: 2
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.org
  • License: COPYING

Awesome Lists containing this project

README

          
#+TITLE: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 [[https://melpa.org][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 [[https://www.nongnu.org/ada-mode][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 [[https://elpa.gnu.org/][ELPA]].

** Examples

Please see some screenshots in the [[file:./images/README.org][images directory]].