https://github.com/jakuj/rsl-language-server

Language Server for the RAISE Specification Language
https://github.com/jakuj/rsl-language-server

language-server raise rsl

Last synced: 2 months ago
JSON representation

Language Server for the RAISE Specification Language

• Host: GitHub
• URL: https://github.com/jakuj/rsl-language-server
• Owner: JakuJ
• License: bsd-3-clause
• Created: 2021-09-01T12:21:50.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-08-28T21:44:10.000Z (5 months ago)
• Last Synced: 2024-08-29T20:34:19.732Z (4 months ago)
• Topics: language-server, raise, rsl
• Language: Haskell
• Homepage:
• Size: 1.94 MB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# RSL Language Server

[![GitHub CI](https://github.com/JakuJ/rsl-language-server/workflows/CI/badge.svg)](https://github.com/JakuJ/rsl-language-server/actions)

Language server for the RAISE Specification Language.

Used by the [VS Code extension](https://github.com/JakuJ/raise-vscode).

Download the newest version from the releases page and put it in your `PATH`.

The server requires the `rsltc` binary to be in your `PATH`.

## Manual installation

1. Make sure you have `stack` installed (get it [here](https://docs.haskellstack.org/en/stable/README/))

2. Run `stack install` in the main directory

3. Make sure the directory to which `stack` copied the `rsl-language-server` binary is in your `PATH`