nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Check that Isabelle/DOF is registered as a component.

This commit is contained in:
Achim D. Brucker 2022-07-02 22:38:39 +01:00
parent fb8dbfac49
commit 3febf83b3c
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
install-afp
View File

@ -132,6 +132,17 @@ fi
ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL options -g dof_isabelle)"
if [ ${ISABELLE_VERSION} = "Isabelle" ];
then
echo "Error: cannot find Isabelle/DOF configuration, please check that you"
echo " registered Isabelle/DOF as an Isabelle component, e.g., using"
echo " isabelle components -u $PWD"
exit 1
fi
AFP_DATE="$($ISABELLE_TOOL options -g dof_afp)"
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"