Skip to main content

Browse the archive

https://github.com/alviano/aspino
14 June 2021, 10:24:22 UTC
Revision 32c4fb82b9aaadb90265375b0efd208036e08bf9 authored by malvi on 24 March 2018, 13:07:23 UTC, committed by malvi on 24 March 2018, 13:07:23 UTC 
add option to choose enumeration algorithm for circumscription
1 parent b283369
Raw File
Tip revision: 32c4fb82b9aaadb90265375b0efd208036e08bf9 authored by malvi on 24 March 2018, 13:07:23 UTC
add option to choose enumeration algorithm for circumscription
Tip revision: 32c4fb8
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!"
back to top