From 2c534c93de9fee0152b8ea1dedfe86a7de4aa3e7 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Sun, 10 Dec 2023 01:33:08 +0000 Subject: [PATCH] analyzer: Use `pip` module instead of tool to install IKOS (#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. --- analyzer/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/analyzer/CMakeLists.txt b/analyzer/CMakeLists.txt index 1937e398..f3729747 100644 --- a/analyzer/CMakeLists.txt +++ b/analyzer/CMakeLists.txt @@ -362,6 +362,8 @@ add_custom_target(ikos-python ALL install(CODE " set(PIP_INSTALL + \"${PYTHON_EXECUTABLE}\" + \"-m\" \"pip\" \"install\" )