You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I found a couple of issues with the setup for GeneSys which you guys would like to address. I have included my solution for the issue which might be sub-optimal.
URL not defined in setup.py line 104:
Define URL="" globally
Incorrect non-PyPI dependency setup
Move following directories into tools: codelets, examples & polymath
Incorrect dependency in /home/blackbox/Desktop/VeriGOOD/genesys/genesys/tools/examples/genesys/genesys_network_sim.py line 7:
from compile_layer import store_compilation_output
Cheers!
The text was updated successfully, but these errors were encountered:
Hi,
I found a couple of issues with the setup for GeneSys which you guys would like to address. I have included my solution for the issue which might be sub-optimal.
URL not defined in setup.py line 104:
Define URL="" globally
Module pygraphviz requires system packages:
sudo apt-get install python3-dev graphviz libgraphviz-dev pkg-config
Required module not in requirements.txt
Misleading reference to polymath module since there exists a incorrect polymath module on PyPi
Download correct polymath module from https://github.com/he-actlab/polymath
Incorrect non-PyPI dependency setup
Move following directories into tools: codelets, examples & polymath
Incorrect dependency in /home/blackbox/Desktop/VeriGOOD/genesys/genesys/tools/examples/genesys/genesys_network_sim.py line 7:
from compile_layer import store_compilation_output
Cheers!
The text was updated successfully, but these errors were encountered: