update-julia.sh

#!/bin/bash

declare -A urls
urls[0.5]='https://s3.amazonaws.com/julialang/bin/linux/x64/0.5/julia-0.5-latest-linux-x86_64.tar.gz'
urls[nightly]='https://s3.amazonaws.com/julianightlies/bin/linux/x64/julia-latest-linux64.tar.gz'

set -xeuo pipefail
MAINVER=0.5
PREFIX=${PREFIX:-$HOME}

for rel in 0.5 nightly
do
	dirname=${PREFIX}/opt/julia/julia_${rel}/
	rm -rf $dirname
	mkdir -p $dirname
	pushd $dirname
	wget -O julia_${rel}_binary.tar.gz ${urls[$rel]}
	tar xvf julia_${rel}_binary.tar.gz --strip-components=1
	ln -sf $PWD/bin/julia ${PREFIX}/bin/julia-$rel
	popd
done
ln -sf ${PREFIX}/bin/julia-$MAINVER ${PREFIX}/bin/julia