This repository contains a simple wrapper around a Docker image containing rsltc and sml.
- Make sure you have
coreutilsinstalled (e.g.brew install coreutilson MacOS) - Clone the Formal-Aspects-Docker repository and build the image (with the default name).
- Place the
raise.shscript in a directory in your$PATHfor convenience.
The script forwards all arguments to the image. The last argument must be a filepath.
raise.sh rsltc <file.rsl> # typecheck
raise.sh rsltc -m <file.rsl> # compile to SML
raise.sh sml <file.sml> # run SML