|
|
MP Gryphon runs on Windows, Mac, Linux, and from Docker. The installation process is different for each.
|
|
|
|
|
|
# Installing on Windows
|
|
|
# Installing Gryphon 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 MacOS Monterey
|
|
|
# Installing Gryphon on MacOS M1
|
|
|
We provide MP-Gryphon for MacOS Monterey. You can determine whether your Mac is running MacOS Montery by clicking on the apple icon and selecting Abbout This Mac. Currently we offer MP Gryphon without an installer. Because of this, it is required to change its mode (`chmod`) from a regular file to an executable app after downloading. Please install MP-Gryphon as an executable app by performing these steps:
|
|
|
|
|
|
* From https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim download either the M1 or the Intel app file depending on your Mac.
|
|
|
* From https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim download the M1 app file.
|
|
|
* Make the download executable:
|
|
|
* Open a terminal: Click on Launchpad and type in "Terminal". A terminal icon will show up. Click on it to open it.
|
|
|
* Make the M1-Gryphon app executable by pasting the following into the terminal and then pressing return:
|
... | ... | @@ -19,8 +19,33 @@ We provide MP-Gryphon for MacOS Monterey. You can determine whether your Mac is |
|
|
* To run MP Gryphon 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. This will install MP Gryphon and the trace generator so that Gryphon can work without requiring access to the internet or a Gryphon server.
|
|
|
# Installing Gryphon + trace-generator on Ubuntu Linux
|
|
|
Install MP Gryphon and the trace generator directly on your Ubuntu Linux system by running the MP Gryphon installer:
|
|
|
|
|
|
1. Download the MP Gryphon installer from https://gitlab.nps.edu/monterey-phoenix/user-interfaces/gryphon/-/blob/master/install_mp.bash.
|
|
|
1. Make the installer executable and then run it by typing this in a command window ![terminal_emulator](uploads/2e92ad4cfa2db13bd7f47976ca2c184d/terminal_emulator.png):
|
|
|
|
|
|
```
|
|
|
cd ~/Downloads
|
|
|
chmod +x install_mp.bash
|
|
|
./install_mp.bash ubuntu
|
|
|
```
|
|
|
|
|
|
The `install_mp.bash` script installs the following:
|
|
|
|
|
|
* Build tools, some 32-bit development files, the C shell, and git are installed using administrator privilege.
|
|
|
* PySide6 and pyspellchecker are installed into the Python environment using pip.
|
|
|
* Gryphon, preloaded examples, and trace-generator are installed under `$HOME/mp_gryphon`.
|
|
|
|
|
|
Once installed, run Gryphon from a command window by changing to the directory conatining the Gryphon tool and typing `./mp.py`:
|
|
|
|
|
|
```
|
|
|
cd ~/mp_gryphon/gryphon/python
|
|
|
./mp.py
|
|
|
```
|
|
|
# Linux Alternatives
|
|
|
Alternatives can be made available, for example:
|
|
|
* Executable Gryphon app without the trace-generator.
|
|
|
* Linux operating systems besides Ubuntu.
|
|
|
* 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.
|
|
|
|
|
|
# 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. |