asdf-mcrl2

mcrl2 plugin for the asdf version manager.

Contents

• Dependencies
• Install
• Why?
• Contributing
• License

Dependencies

• bash, curl, tar: generic POSIX utilities.
• SOME_ENV_VAR: set this environment variable in your shell config to load the correct version of tool x.

Install

Plugin:

asdf plugin add mcrl2
# or
asdf plugin add mcrl2 https://github.com/pmonson711/asdf-mcrl2.git

mcrl2:

# Show all installable versions
asdf list-all mcrl2

# Install specific version
asdf install mcrl2 latest

# Set a version globally (on your ~/.tool-versions file)
asdf global mcrl2 latest

# Now mcrl2 commands are available
mcrl22lps --version

Check asdf readme for more instructions on how to install & manage versions.

Contributing

Contributions of any kind welcome! See the contributing guide.

Thanks goes to these contributors!

License

See LICENSE © Paul Monson