[fix]

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

Hide file tree

Showing 3 changed files with 12 additions and 11 deletions.
diff --git a/scripts/build/p-bitwuzla-linux-ubuntu.inc b/scripts/build/p-bitwuzla-linux-ubuntu.inc
@@ -13,4 +13,5 @@ install_build_dependencies_bitwuzla() {
 
   #Install essential dependencies
   with_sudo apt -y --no-install-recommends install "${dependencies[@]}"
+  with_sudo pip3 install --user meson
 }
diff --git a/scripts/build/p-bitwuzla-osx.inc b/scripts/build/p-bitwuzla-osx.inc
@@ -1,10 +1,11 @@
 install_build_dependencies_bitwuzla() {
-   dependencies=(
-     ninja
-     python3
-     python3-pip
-     cmake
-     git
-   )
-   brew install "${dependencies[@]}"
+  dependencies=(
+    ninja
+    python3
+    python3-pip
+    cmake
+    git
+  )
+  brew install "${dependencies[@]}"
+  with_sudo pip3 install --user meson
 }
diff --git a/scripts/build/v-bitwuzla.inc b/scripts/build/v-bitwuzla.inc
@@ -6,6 +6,5 @@ required_variables_bitwuzla=(
 artifact_dependency_bitwuzla=("")
 
 install_build_dependencies_bitwuzla() {
-  source "${DIR}/common-functions"
-  with_sudo pip3 install --user meson
-}
+  return 0
+}