ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Promela_Spin

by corbanmailloux ALL

Sublime Text 3 syntax highlighting and build system for Promela Spin.

Labels build system, language syntax

Details

Installs

  • Total 2K
  • Win 589
  • Mac 550
  • Linux 538
Oct 7 Oct 6 Oct 5 Oct 4 Oct 3 Oct 2 Oct 1 Sep 30 Sep 29 Sep 28 Sep 27 Sep 26 Sep 25 Sep 24 Sep 23 Sep 22 Sep 21 Sep 20 Sep 19 Sep 18 Sep 17 Sep 16 Sep 15 Sep 14 Sep 13 Sep 12 Sep 11 Sep 10 Sep 9 Sep 8 Sep 7 Sep 6 Sep 5 Sep 4 Sep 3 Sep 2 Sep 1 Aug 31 Aug 30 Aug 29 Aug 28 Aug 27 Aug 26 Aug 25 Aug 24
Windows 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

Sublime Text 3 - Promela Spin Syntax Highlighting and Build System

Syntax highlighting for Promela Spin in Sublime Text 3.

Getting Started

Note: While the syntax highlighting should work on any OS with no dependencies, the build system is Windows only, and requires that jSpin's bin directory (default: C:\jspin\bin) be added to the PATH variable.

1. Installation

(Recommended) Automatic Installation using Sublime Text Package Control

  1. Open Sublime Text's Command Palette (default: Ctrl+Shift+P)
  2. Type install and select Package Control: Install Package
  3. Type promela spin and select “Promela_Spin” to install the package.

Manual Installation

Go to Preferences -> Browse Packages, and then either download and unzip this plugin into that directory, or:

git clone https://github.com/corbanmailloux/sublime-promela-spin.git "sublime-promela-spin"

2. Activate this Language

After installing this package, open an PML file and switch the language to Promela, using one of the following methods:

  • Select from the list of supported languages in your status bar at the bottom right corner of your editor
  • Ctrl+Shift+P and search for “Promela”

3. Make “Promela” the default

To make Promela the default highlighting for the current extension:

  1. Open a file with the extension you want to set a default for (i.e. .pml)
  2. Navigate through the following menus in Sublime Text: View -> Syntax -> Open all with current extension as... -> Promela

3. Test the Build System

The “Promela - Random” build system should be automatically selected when a Promela file is open.

To run the build, press Ctrl+B or select “Build” from the “Tools” menu.

Author

Corban Mailloux

Copyright and License

Copyright 2014 Corban Mailloux

MIT License