https://github.com/jakuj/raise-docker-util

A shell wrapper around dockerized RAISE
https://github.com/jakuj/raise-docker-util

raise

Last synced: 2 months ago
JSON representation

A shell wrapper around dockerized RAISE

• Host: GitHub
• URL: https://github.com/jakuj/raise-docker-util
• Owner: JakuJ
• License: mit
• Created: 2021-08-30T08:43:08.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-08-29T19:01:19.000Z (4 months ago)
• Last Synced: 2024-08-29T21:10:57.583Z (4 months ago)
• Topics: raise
• Language: PowerShell
• Homepage:
• Size: 7.81 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
This repository contains wrappers around a Docker image containing `rsltc` and `sml`.

Docker image source: https://github.com/JakuJ/RAISE-tools

# Prerequisites

The scripts use a Docker image, so make sure you have Docker installed from https://docs.docker.com/get-docker/.

**[macOS/Linux only]** You might have to install `coreutils`. On Mac you can use the Homebrew package manager (`brew install coreutils`) and on Linux, use `sudo apt install coreutils`.

# Usage

The scripts forwards all arguments to the Docker container. The last argument **must be** a filepath.

```bash

raise.sh rsltc     # typecheck

raise.sh rsltc -m  # compile to SML

raise.sh sml       # run SML

```

You can copy the `raise.sh` script to any directory in your `$PATH` (Linux/macOS). For Windows, do the same with the `raise.ps1` Powershell script. Here's how: https://windowsloop.com/how-to-add-to-windows-path/.

# Caveats

On Windows, you might need to pass absolute paths to RSL/SML files, like so:

```powershell

raise.ps1 rsltc "C:\path\to\my\file.rsl"

```