|
|
MP Gryphon runs on Windows, Mac, Linux, and from Docker. The installation process is different for each.
|
|
|
|
|
|
# Installing on Windows
|
|
|
Download the Windows installer for MP Gryphon from https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim and run the installer. The installer will put the MP-Gryphon launcher on your desktop.
|
|
|
|
|
|
# Installing on Mac
|
|
|
A Mac installer is currently not in place. For now, please perform these steps:
|
|
|
|
|
|
* From https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim download the M1 or Intel app depending on the hardware in your Mac.
|
|
|
* Make the download executable:
|
|
|
* Open a terminal: Click on Launchpad, type in "Terminal" and a terminal icon will show up. Click on it to open it.
|
|
|
* Paste the following into the terminal and then hit return:
|
|
|
```console
|
|
|
cd Downloads
|
|
|
chmod +x MP-Gryphon*
|
|
|
```
|
|
|
|
|
|
* To run the first time: Click on Finder, select Downloads from favorites, find the MP-Gryphon executable, Control-click on it, and select Open. Accept to run.
|
|
|
* Running after the first time: Either click on the MP-Gryphon executable from the Downloads icon or click on Finder or select Downloads from favorites, find the MP-Gryphon executable, and double-click on it.
|
|
|
|
|
|
# Installing on Ubuntu Linux
|
|
|
For now, please see https://gitlab.nps.edu/monterey-phoenix/user-interfaces/gryphon/-/wikis/old_version/Installing-MP-Gryphon-(OLD2)#ubuntu-linux
|
|
|
|
|
|
# Using Docker
|
|
|
Thanks to contributions from Ben Payne, Gryphon can alternatively be run in Docker without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.
|
|
|
|
|
|
# Gryphon Server and Preloaded Examples
|
|
|
* The Gryphon server is now automatically selected.
|
|
|
* Preloaded examples are bundled with the Windows and Mac MP-Gryphon executable apps. |
|
|
\ No newline at end of file |