Merge branch 'dev-pip-package'. Close #242.

NASA-SW-VnV · Dec 10, 2023 · 21cd2b5 · 21cd2b5
2 parents 03293b7 + 2c534c9
commit 21cd2b5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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\"
   )