fixup?

AMICI-dev · Mar 5, 2024 · 7b8acff · 7b8acff
1 parent 321b2b0
commit 7b8acff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/installAmiciSource.sh b/scripts/installAmiciSource.sh
@@ -13,14 +13,15 @@ venv_dir="${AMICI_PATH}/venv"
 # test install from setup.py
 set +e
 mkdir -p "${venv_dir}"
+pip3 install virtualenv
 python3 -m venv "${venv_dir}" --clear
 # in case this fails (usually due to missing ensurepip, try getting pip
 # manually
 if [[ $? ]]; then
     set -e
     python3 -m venv "${venv_dir}" --clear --without-pip
     source "${venv_dir}/bin/activate"
-    get_pip=${AMICI_PATH}/build/get-pip.py
+    get_pip=${AMICI_PATH}/get-pip.py
     curl "https://bootstrap.pypa.io/get-pip.py" -o "${get_pip}"
     python3 "${get_pip}"
     rm "${get_pip}"