0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder#!/bin/bash
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederif [[ $EUID -ne 0 ]]; then
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder echo "This script must be run as root" 1>&2
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder exit 1
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederfi
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederISABELLE_TGZ=Isabelle2014_linux.tar.gz
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederISABELLE_DIR=/usr/share/Isabelle2014
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederwget http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/$ISABELLE_TGZ -O - \
177d950f6b3610cd141460cb444c86df9a3ba020cmaeder | tar -xzf - -v -C /usr/share
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaedersed -i~ '128iinit_component \"\$ISABELLE_HOME/contrib/ProofGeneral-4.2-2\"' \
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder $ISABELLE_DIR/etc/settings
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder$ISABELLE_DIR/bin/isabelle components -a
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder$ISABELLE_DIR/bin/isabelle install /usr/bin
177d950f6b3610cd141460cb444c86df9a3ba020cmaeder$ISABELLE_DIR/bin/isabelle build -s -b -v HOLCF
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
177d950f6b3610cd141460cb444c86df9a3ba020cmaederISABELLE_UNINST=/usr/bin/isabelle_uninstall.sh
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederecho "creating uninstall script: $ISABELLE_UNINST"
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaedercat > $ISABELLE_UNINST <<EOF
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder#!/bin/bash
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederif [[ $EUID -ne 0 ]]; then
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder echo "This script must be run as root" 1>&2
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder exit 1
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederfi
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm -rf $ISABELLE_DIR
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm /usr/bin/isabelle
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm /usr/bin/isabelle_*
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederEOF
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederchmod a+x $ISABELLE_UNINST