blob: adcc52488be086578feaeaa732904dd13f6c4b31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#!/bin/sh
#
# Simple script to fetch the latest commits via the github API. Requires
# curl and jq. Uses unauthenticated access which is ratelimited to 60
# queries per hour.
REPOS_URL=https://api.github.com/repos/CTSRD-CHERI
MAX_DATE=1970101
tmpfile=`mktemp -t gen-Makefile.snapshot`
query_repo()
{
branch=${2:-master}
curl ${REPOS_URL}/$1/branches/${branch} > $tmpfile
# Accumulate the dates of the last commits to find the snapshot date
committime=`jq -r '.commit.commit.committer.date' $tmpfile`
committime=${committime%%T*}
year=${committime%%-*}
month=${committime%-*}
month=${month#*-}
day=${committime##*-}
dateint=${year}${month}${day}
if [ $dateint -gt $MAX_DATE ]; then
export MAX_DATE=$dateint
fi
SHA=`jq -r '.commit.sha' $tmpfile`
}
query_repo qemu qemu-cheri
QEMU_COMMIT=$SHA
query_repo libslirp
LIBSLIRP_COMMIT=$SHA
query_repo dtc
DTC_COMMIT=$SHA
cat <<EOF > Makefile.snapshot
# \$FreeBSD\$
#
# Generated file! Do not edit!
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
SNAPDATE= ${MAX_DATE}
QEMU_COMMIT= ${QEMU_COMMIT}
LIBSLIRP_COMMIT= ${LIBSLIRP_COMMIT}
DTC_COMMIT= ${DTC_COMMIT}
EOF
rm -f $tmpfile
|
