# Sublime Text 3 - Promela Spin Syntax Highlighting and Build System ### Syntax highlighting for [Promela Spin](http://spinroot.com/spin/whatispin.html) in [Sublime Text 3](http://www.sublimetext.com/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](https://code.google.com/p/jspin/)'s `bin` directory (default: `C:\jspin\bin`) be added to the PATH variable. ### 1. Installation #### (Recommended) Automatic Installation using [Sublime Text Package Control](https://packagecontrol.io/) 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: ``` bash 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** + [http://corb.co](http://corb.co) + [http://twitter.com/corbco](http://twitter.com/corbco) + [http://github.com/corbanmailloux](https://github.com/corbanmailloux) ## Copyright and License Copyright 2014 Corban Mailloux [MIT License](LICENSE-MIT)