diff --git a/Earthfile b/Earthfile index ca980143f3f..ba5a728c1fb 100644 --- a/Earthfile +++ b/Earthfile @@ -23,6 +23,7 @@ bootstrap-noir-bb: git remote add origin https://github.com/aztecprotocol/aztec-packages >/dev/null 2>&1 && (git fetch --depth 1 origin $EARTHLY_GIT_HASH >/dev/null 2>&1 || (echo "The commit was not pushed, run aborted." && exit 1)) && git reset --hard FETCH_HEAD >/dev/null 2>&1 && + ./build-images/adhoc-installs.sh && DENOISE=1 CI=1 ./noir/bootstrap.sh fast && DENOISE=1 CI=1 ./barretenberg/bootstrap.sh fast && mv $(ls -A) /usr/src' diff --git a/build-images/adhoc-installs.sh b/build-images/adhoc-installs.sh new file mode 100755 index 00000000000..b31d0cb5ff0 --- /dev/null +++ b/build-images/adhoc-installs.sh @@ -0,0 +1,8 @@ +# The correct action to take in case of a missing installation is to update the build images. +# However, they will not be updated automatically going forward. +# If unable to ping Charlie or Adam to update the AMIs that have the build image (along with the build images themselves) +# this is a reasonable temporary measure. +set -eu +apt update +# for docs: +apt install -y libvips-dev diff --git a/docs/.rebuild_patterns b/docs/.rebuild_patterns index f84dde35f91..20450911c85 100644 --- a/docs/.rebuild_patterns +++ b/docs/.rebuild_patterns @@ -1,5 +1,5 @@ ^docs/src ^docs/scripts ^docs/static -^docs/*.js -^docs/*.json \ No newline at end of file +^docs/.*\.js +^docs/.*\.json