| Nico Huber | 65e3fc7 | 2026-04-11 21:14:12 +0000 | [diff] [blame^] | 1 | #!/bin/sh |
| 2 | |||||
| 3 | SA=https://review.sourcearcade.org | ||||
| 4 | JOBS=3 # per gnatprove instance | ||||
| 5 | |||||
| 6 | set -e | ||||
| 7 | |||||
| 8 | [ $# -ne 2 ] && { echo "Usage: $0 <project> <change-ref>"; exit 1; } | ||||
| 9 | |||||
| 10 | PROJECT="$1" | ||||
| 11 | CHANGE="$2" | ||||
| 12 | |||||
| 13 | echo ${PROJECT}: ${CHANGE} | ||||
| 14 | |||||
| 15 | [ -d "${PROJECT}" ] || git clone "${SA}/${PROJECT}.git" | ||||
| 16 | |||||
| 17 | cd "${PROJECT}" | ||||
| 18 | git fetch origin "${CHANGE}" | ||||
| 19 | git checkout FETCH_HEAD | ||||
| 20 | exec make -kj$(($(nproc)/JOBS/2)) jobs=${JOBS} proof-allconfigs | ||||