TODO add to MELPA
If you wish to use the straight package manager add the following to your configuration file.
(straight-use-package lustre-mode
:straight (:host github :repo "SamuelFountain/lustre-mode")
:init
(setq auto-mode-alist (cons '("\\.lus\\'" . lustre-mode) auto-mode-alist))
(autoload 'lustre-mode "lustre" "Edition de code lustre" t))
Put this file in your load-path
file: lustre-mode.el
and put this in your init
(require 'lustre-mode)
Alternativly if using use-package, put this in your init
(use-package lustre-mode)
Byte-compile lustre.el to speed-up the loading of a lustre source file :
M-x byte-compile-file <RET> lustre.el <RET>
lustre-mode is a major mode for editing lustre files. To run the lustre
file run with either C-c C-r
or f10
- You can customize settings in the lustre-mode group.
Is a setting that determines how many spaces to indent a comment.
Name of the lustre executor. Defaults to jkind. Assumes that jkind in in your path.
List of extra arguments to be passed to the lustre executor. Should be a list of strings.
Initial release.
Changes from Nicolas Berthier Version 1.3
- Enabled lexical binding
- updated
cl
use tocl-lib
- changed to lustre-mode from lustre and updated necessary names
- added lustre-mode-run and C-c C-r and f10 to run it
- Changed to use
define-derived-mode
and inherit from prog-mode - Removed a number of functions from being interactive
Based off of work done by Chevallier Olivier https://matthieu-moy.fr/emacs/lustre.el
Modified by Nicolas Berthier http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/doc/lustre.el
Their work has been modified and released under the terms of their license.
Bug reports, feature requests, suggestions โ oh my!
- Unit Tests
- Integration tests
- Compile Mode
GPLv3