... | ... | @@ -32,20 +32,25 @@ Install MP Gryphon and the trace generator directly on your Ubuntu Linux system |
|
|
./install_mp.bash ubuntu
|
|
|
```
|
|
|
|
|
|
The `install_mp.bash` script installs the following:
|
|
|
To run Gryphon:
|
|
|
|
|
|
* Build tools, some 32-bit development files, the C shell, python3-pip, and git are installed using administrator privilege.
|
|
|
* PySide6, pyqtdarktheme, 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`:
|
|
|
* Double-click the Gryphon icon on the desktop to start Gryphon.
|
|
|
* Alternatively, Gryphon may be launched from a command window ![terminal_emulator](uploads/2e92ad4cfa2db13bd7f47976ca2c184d/terminal_emulator.png) by changing to the directory containing the Gryphon tool and typing `./mp.py`:
|
|
|
|
|
|
```console
|
|
|
cd ~/mp_gryphon/gryphon/python
|
|
|
./mp.py
|
|
|
```
|
|
|
|
|
|
The `install_mp.bash` script installs the following:
|
|
|
|
|
|
* Build tools, some 32-bit development files, the C shell, python3-pip, and git are installed using administrator privilege.
|
|
|
* PySide6, pyqtdarktheme, and pyspellchecker are installed into the Python environment using pip.
|
|
|
* Gryphon, preloaded examples, and the trace generator are installed under `$HOME/mp_gryphon`.
|
|
|
* A launcher on the desktop for starting Gryphon.
|
|
|
|
|
|
# Linux Alternatives
|
|
|
Alternatives can be made available, for example:
|
|
|
Alternative installers 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.
|
... | ... | |