search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.35k stars 171 forks source link

`analyzer`: Install python scripts using alternative to `easy_install` #233

Closed ivanperez-keera closed 1 year ago

ivanperez-keera commented 1 year ago

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.

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 is pip, and the recommended solution for building is build.