File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1212CBMC_STRING=" CbmcAT"
1313VERSION_PROCESSED=" ${VERSION// ./ } "
1414FORMULA_VERSION=" ${CBMC_STRING}${VERSION_PROCESSED} "
15+ TAGS=(
16+ " arm64_sonoma"
17+ " arm64_ventura"
18+ " arm64_monterey"
19+ " arm64_tahoe"
20+ " arm64_sequoia"
21+ " arm64_linux"
22+ " sonoma"
23+ " ventura"
24+ " monterey"
25+ " x86_64_linux"
26+ )
1527
1628echo " bottle do"
1729echo " root_url \" https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies\" "
18- for TAG in \
19- " arm64_sonoma" " arm64_ventura" " arm64_monterey" " arm64_tahoe" " arm64_sequoia" " arm64_linux" \
20- " sonoma" " ventura" " monterey" " x86_64_linux"
30+ for TAG in " ${TAGS[@]} "
2131do
2232 # echo "Processing bottle for $VERSION -- $TAG"
23- brew fetch cbmc --bottle-tag=" ${TAG} "
33+ brew fetch cbmc --bottle-tag=" ${TAG} " > /dev/null
2434 BOTTLE_NAME=$( brew --cache cbmc --bottle-tag=" ${TAG} " )
2535
2636 if [[ -z " ${BOTTLE_NAME} " ]]
You can’t perform that action at this time.
0 commit comments