@@ -37,6 +37,31 @@ Install Gryphon and the Trace Generator by running the installer. Download the
You may select to install specific versions of the MP trace-generator or of Gryphon using additional parameters: `./install_mp.bash <your operating system selection> <trace-generator version> <gryphon version>`. The default version for each repository is "master", which selects the most current versions of each.
### Special provisions
#### Centos 7
Configure a Python 3 environment in a shell by typing the following:
```bash
scl enable rh-python36 bash # sets up the environment for Python 3.6
mkdir ~/python_project # folder for virtual environment for this Python configuration
python -m venv python_project_venv # Enters a virtual environment for this Python configuration