Code Repositories xandikos / 3a95d16
Add script for running litmus. Jelmer Vernooń≥ 2 years ago
2 changed file(s) with 24 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
0 09d615958121706444db67e09c40df5f753ccf1fa14846fdeb439298aa9ac3ff litmus-0.13.tar.gz
0 #!/bin/bash -e
1 URL="$1"
2 if [ -z "$URL" ]; then
3 echo "Usage: $0 URL"
4 exit 1
5 fi
6 SRCPATH="$(realpath $(dirname $0))"
7 VERSION=0.13
8
9 scratch=$(mktemp -d)
10 function finish() {
11 rm -rf "${scratch}"
12 }
13 trap finish EXIT
14 pushd "${scratch}"
15
16 wget -O "litmus-${VERSION}.tar.gz" http://www.webdav.org/neon/litmus/litmus-${VERSION}.tar.gz
17 sha256sum ${SRCPATH}/litmus-${VERSION}.tar.gz.sha256sum
18 tar xvfz litmus-${VERSION}.tar.gz
19 pushd litmus-${VERSION}
20 ./configure
21 make
22 make URL="$URL" check