Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

analyzer: Installation script assumes pip tool is available #242

Closed
ivanperez-keera opened this issue Dec 9, 2023 · 0 comments
Closed

analyzer: Installation script assumes pip tool is available #242

ivanperez-keera opened this issue Dec 9, 2023 · 0 comments
Assignees
@ivanperez-keera
Labels
C-bug Category: Bug L-python Language: Python P-high Priority: High
Milestone
ikos 3.2

Comments

@ivanperez-keera
Copy link
Collaborator

ivanperez-keera commented Dec 9, 2023 •
edited
Loading

The installation script assumes that the tool pip is available, which may not be true:

ikos/analyzer/CMakeLists.txt

Lines 363 to 367 in 03293b7

install(CODE "
set(PIP_INSTALL
\"pip\"
\"install\"
)

Instead, if should use python -m pip.

Originally reported by @arthaud . Further details: #241 (comment).
@ivanperez-keera ivanperez-keera added C-bug Category: Bug P-high Priority: High L-python Language: Python labels Dec 9, 2023
@ivanperez-keera ivanperez-keera added this to the ikos 3.2 milestone Dec 9, 2023
@ivanperez-keera ivanperez-keera self-assigned this Dec 9, 2023
ivanperez-keera added a commit to ivanperez-keera/ikos that referenced this issue Dec 10, 2023
@ivanperez-keera
analyzer: Use pip module instead of tool to install IKOS (NASA-SW-V…
2c534c9 
…nV#242).

The installation script assumes that the tool pip is available, which
may not be true.

This commit replaces calls to the `pip` tool with calls to `python`
using `pip` as the module.

This change was actually contributed by Maxime Arthaud.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ivanperez-keera ivanperez-keera

Labels
C-bug Category: Bug L-python Language: Python P-high Priority: High
Projects
None yet
Milestone
ikos 3.2
Development

No branches or pull requests
1 participant
@ivanperez-keera