3f073658c9
Although that's the default for release builds, the nightly builds default to e.g. /usr/racket-5.90.0.9. Although that default makes sense where people are doing side-by-side installs, we're doing an install on a throw-away Travis VM. More basically, we need the build scripts to find stuff consistently in /usr/racket regardless of whether this is a release or HEAD.
28 lines
777 B
Bash
28 lines
777 B
Bash
set -e
|
|
|
|
if [ "$RACKET_VERSION" = "HEAD" ]; then
|
|
# Unfortunately there is no abstract URL for "HEAD" -- the nighly
|
|
# builds have a version number like 5.90.0.9 embedded in the
|
|
# URL. So this will need to be updated manually whenever the
|
|
# version is bumped.
|
|
HEAD_VERSION="5.90.0.9"
|
|
URL="http://www.cs.utah.edu/plt/snapshots/current/installers/racket-${HEAD_VERSION}-x86_64-linux-precise.sh"
|
|
else
|
|
URL="http://download.racket-lang.org/installers/${RACKET_VERSION}/racket/racket-${RACKET_VERSION}-bin-x86_64-linux-debian-squeeze.sh"
|
|
fi
|
|
|
|
INSTALL="./racket-${RACKET_VERSION}.sh"
|
|
|
|
echo "Downloading $URL to $INSTALL:"
|
|
curl -o $INSTALL $URL
|
|
|
|
echo "Running $INSTALL to install Racket:"
|
|
chmod u+rx "$INSTALL"
|
|
sudo "$INSTALL" <<EOF
|
|
no
|
|
/usr/racket
|
|
|
|
EOF
|
|
|
|
exit 0
|