... | ... | @@ -4,9 +4,9 @@ MP Gryphon runs on Windows, Mac, Linux, and from Docker. The installation proce |
|
|
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
|
|
|
Currently we provide MP-Gryphon as an app rather than as an installer. Please install MP-Gryphon directly as an app by performing these steps:
|
|
|
We provide MP-Gryphon for MacOS Monterey. You may determine whether you have this OS 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. 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 depending on the hardware in your Mac.
|
|
|
* From https://nps.box.com/s/dfzn0344l3h3q8jopdio1q0kt1ejctim download either the M1 or the Intel app file depending on your Mac.
|
|
|
* 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:
|
... | ... | @@ -16,16 +16,14 @@ Currently we provide MP-Gryphon as an app rather than as an installer. Please i |
|
|
```
|
|
|
* Close the terminal.
|
|
|
|
|
|
* 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.
|
|
|
* 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
|
|
|
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.
|
|
|
|
|
|
# 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 installation process no longer requires configuration for the 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 |
|
|
The installation process no longer requires configuration for the Gryphon server and preloaded examples; the Gryphon server is now automatically selected and preloaded examples are bundled with the Windows and Mac MP-Gryphon executable apps. |
|
|
\ No newline at end of file |