diff --git a/scripts/build/p-bitwuzla-linux-ubuntu.inc b/scripts/build/p-bitwuzla-linux-ubuntu.inc index 827917bfa4..9103548dff 100644 --- 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" } \ No newline at end of file diff --git a/scripts/build/v-bitwuzla.inc b/scripts/build/v-bitwuzla.inc index 3563e74c65..fa50a09d91 100644 --- 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 -} \ No newline at end of file +}