[fix]

S1eGa · Nov 17, 2023 · 7c8bf5f · 7c8bf5f
1 parent d19e1a4
commit 7c8bf5f
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
@@ -11,4 +11,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
-}
+}