The trace generator and the GUI have some dependencies. To build the trace generator, you may need to install a few packages for `make` to work, for example on Fedora:
...
...
@@ -39,3 +44,4 @@ To run the Gryphon GUI:
* MP home page: https://wiki.nps.edu/display/MP/Monterey+Phoenix+Home
* MP Language manual v4: https://wiki.nps.edu/download/attachments/604667916/MP2-syntax-v4.pdf?api=v2