[fix]

S1eGa · Nov 17, 2023 · eb59d8d · eb59d8d
1 parent 35cf076
commit eb59d8d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/scripts/build/p-bitwuzla-linux-ubuntu.inc b/scripts/build/p-bitwuzla-linux-ubuntu.inc
@@ -13,4 +13,8 @@ install_build_dependencies_bitwuzla() {
 
   #Install essential dependencies
   with_sudo apt -y --no-install-recommends install "${dependencies[@]}"
+
+  pip3 install --user meson
+  base_path="$(python3 -m site --user-base)"
+  export PATH="$PATH:${base_path}/bin"
 }
diff --git a/scripts/build/v-bitwuzla.inc b/scripts/build/v-bitwuzla.inc
@@ -8,4 +8,4 @@ artifact_dependency_bitwuzla=("")
 install_build_dependencies_bitwuzla() {
   source "${DIR}/common-functions"
   with_sudo pip3 install --user meson
-}
+}