analyzer: Install python scripts using alternative to easy_install
#233
Comments
ivanperez-keera
changed the title
easy_installanalyzer: Install python scripts using alternative to easy_install
ivanperez-keera
added a commit
to ivanperez-keera/ikos
that referenced
this issue
Nov 5, 2023
The current installation scripts for python programs don't place files exactly where/how expected, resulting in errors like: ``` $ ikos error: could not find ikos python module error: see TROUBLESHOOTING.md ``` even when PYTHONPATH is set correctly. Instead of trying to fix the issue, it's worth it to switch to an alternative that is more up-to-date, where the problem does not happen. The current installation scripts for python programs included in IKOS use easy_install, which has been deprecated (https://setuptools.pypa.io/en/latest/history.html#v58-3-0). This commit replaces calls to the setup.py script, with calls to pip, which is one of the recommended solutions for python package installation.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The current installation scripts for python programs don't place files exactly where/how expected, resulting in errors like:
even when
PYTHONPATHis set correctly.The current installation scripts for python programs included in IKOS use
easy_install, which has been deprecated (https://setuptools.pypa.io/en/latest/history.html#v58-3-0). The recommended solution for installing IKOS ispip, and the recommended solution for building isbuild.The text was updated successfully, but these errors were encountered: