Skip to content

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

Notifications You must be signed in to change notification settings

SamuelFountain/lustre-mode

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 
 
 

Repository files navigation

lustre-mode

Contents

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

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

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published