https://github.com/alviano/aspino
Tip revision: 4d7483e328bdf9a00ef1eb7f2868e7b0f2a82d56 authored by malvi on 24 March 2018, 14:05:25 UTC
enumeration
enumeration
Tip revision: 4d7483e
bootstrap.sh
#!/bin/sh
DIRNAME=`dirname $0`
OLDPATH=`pwd`
echo "Removing directory src/glucose-syrup (if it exists)"
rm -rf $DIRNAME/src/glucose-syrup
echo "Downloading glucose 4.0..."
if [ ! -e $DIRNAME/patches/glucose-syrup.tgz ]; then
wget -O $DIRNAME/patches/glucose-syrup.tgz http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz
fi
echo "Patching glucose 4.0..."
cd $DIRNAME/patches; rm -rf glucose-syrup; tar xf glucose-syrup.tgz; cd $OLDPATH
cd $DIRNAME/patches/glucose-syrup; for i in 1 2 3 4 5 6 7 8; do patch -p1 <../glucose-syrup.4.0.patch.$i; done; cd $OLDPATH
mv $DIRNAME/patches/glucose-syrup $DIRNAME/src/
echo
echo "You can now run make!"