formal-aspects-docker-runner
- Download, install and run Docker from https://docs.docker.com/get-docker/
- Download rsltc_2.6.1-1_i386.deb from
RAISE Tools / rsltc-for-Linux / rsltc_2.6.1-1_i386
into project folder - Build and start container with
docker-compose up -d
- Attach to the container with
docker-compose exec rsl bash
- You can use
rsltc
andsml
commands - When you're done, exit and stop container with
docker-compose down
Optionaly you can use VSCode for coding and running commands
Credit for the docker files: https://github.com/danielgaldev/