#!/bin/bash
# This script downloads an archived copy of the last version of donlp2_intv_dyn
# that was publicly downloadable. There exists a newer version with some fixes
# from 2006-12-12, which is only available on request directly from the author
# of DONLP2, Prof. Peter Spellucci.
# In any case, please make sure you understand the licensing of DONLP2 before
# using it.
wget http://web.archive.org/web/20061205231151/http://plato.asu.edu/ftp/donlp2/donlp2_intv_dyn.tar.gz || exit $?
tar xzf donlp2_intv_dyn.tar.gz || exit $?
rm -f donlp2_intv_dyn.tar.gz || exit $?
cd donlp2_intv_dyn || exit $?
patch -p1 --no-backup-if-mismatch <../patches/donlp2-fmin.diff || exit $?
cd ..
