Closed ivanperez-keera closed 11 months ago
The installation script assumes that the tool pip is available, which may not be true:
pip
https://github.com/NASA-SW-VnV/ikos/blob/03293b7f21ac5510aadec84e1e6efc96cb772673/analyzer/CMakeLists.txt#L363-L367
Instead, if should use python -m pip.
python -m pip
Originally reported by @arthaud . Further details: https://github.com/NASA-SW-VnV/ikos/discussions/241#discussioncomment-7806872.
The installation script assumes that the tool
pipis available, which may not be true:https://github.com/NASA-SW-VnV/ikos/blob/03293b7f21ac5510aadec84e1e6efc96cb772673/analyzer/CMakeLists.txt#L363-L367
Instead, if should use
python -m pip.Originally reported by @arthaud . Further details: https://github.com/NASA-SW-VnV/ikos/discussions/241#discussioncomment-7806872.