#!/bin/bash
V=`curl -s http://www-sop.inria.fr/members/Luc.Hogie/grph/releases/last-version.txt`
echo Downloading http://www-sop.inria.fr/members/Luc.Hogie/grph/releases/grph-$V.selfcontained.zip...
curl --progress-bar http://www-sop.inria.fr/members/Luc.Hogie/grph/releases/grph-$V.selfcontained.zip>grph.zip
echo Unpacking...
jar xf grph.zip
rm -f grph.zip

echo Suppressing version information...
for F in *.jar
do
    mv $F `echo $F | sed 's/-[0-9].*\.jar$/.jar/'`
done