dspil/lustre-mode

LUSTRE-MODE is a major Emacs mode for editing Lustre.

lustre-mode

Contents

• Installation
• Usage
• Changelog
• Credits
• Development
• License

Installation

MELPA

TODO add to MELPA

straight.el

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))

Manual

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>

Usage

lustre-mode is a major mode for editing lustre files. To run the lustre file run with either C-c C-r or f10

Tips

• You can customize settings in the lustre-mode group.

lustre-mode-comment-ind-level

Is a setting that determines how many spaces to indent a comment.

lustre-mode-executer-name

Name of the lustre executor. Defaults to jkind. Assumes that jkind in in your path.

Jkind Loonwerks

lustre-mode-extra-args

List of extra arguments to be passed to the lustre executor. Should be a list of strings.

Changelog

2.0.0

Initial release.

Changes from Nicolas Berthier Version 1.3

• Enabled lexical binding
• updated cl use to cl-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

Credits

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.

Development

Bug reports, feature requests, suggestions — oh my!

TO DO List

• Unit Tests
• Integration tests
• Compile Mode

License

GPLv3