Problem with installation

[supratik1]

Hello,
I'm trying to use ERAN as one of the tools for students to experiment with in a course on Formal Methods in Machine Learning that I am teaching at IIT Bombay.

In trying to follow the installation instructions, we seem to be facing a problem related to Python version when the script tries to install Gurobi on Ubuntu 22.04. I am reproducing the error message below.

$ tools/ERAN/gurobi912/linux64/setup.py:13: DeprecationWarning: The distutils package is deprecated and slated for removal in Python 3.12. Use setuptools or check PEP 632 for potential alternatives
from distutils.core import setup, Command #, Extension
Traceback (most recent call last):
File "tools/ERAN/gurobi912/linux64/setup.py", line 48, in
raise RuntimeError("Unsupported Python version")
RuntimeError: Unsupported Python version

The Python version we are using is 3.10.12

Is there an updated set of instructions/scripts that students can use to install ERAN with the latest version of Python? Any help will be much appreciated.

[fzuerkeraguilar]

I think that according to this page on Gurobis website, Python 3.10 is not supported. Python 3.9 should work.
The python version should be manually set in the setup-script, as the root user may have another python version as the local shell.