Read settings from options.
This commit is contained in:
parent
0d55da68de
commit
31778374ed
|
@ -13,6 +13,7 @@ option dof_version : string = "Unreleased"
|
||||||
(* "Unreleased" for development, semantic version for releases *)
|
(* "Unreleased" for development, semantic version for releases *)
|
||||||
|
|
||||||
option dof_isabelle : string = "2021-1"
|
option dof_isabelle : string = "2021-1"
|
||||||
|
option dof_afp : string = "afp-2021-12-28"
|
||||||
|
|
||||||
option dof_latest_version : string = "1.2.0"
|
option dof_latest_version : string = "1.2.0"
|
||||||
option dof_latest_isabelle : string = "Isabelle2021"
|
option dof_latest_isabelle : string = "Isabelle2021"
|
||||||
|
|
|
@ -3,9 +3,3 @@
|
||||||
ISABELLE_DOF_HOME="$COMPONENT"
|
ISABELLE_DOF_HOME="$COMPONENT"
|
||||||
ISABELLE_DOCS="$ISABELLE_DOF_HOME/doc":"$ISABELLE_DOCS"
|
ISABELLE_DOCS="$ISABELLE_DOF_HOME/doc":"$ISABELLE_DOCS"
|
||||||
|
|
||||||
# Isabelle and AFP Configuration
|
|
||||||
ISABELLE_VERSION="Isabelle2021-1"
|
|
||||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2021-1/"
|
|
||||||
AFP_DATE="afp-2021-12-28"
|
|
||||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
|
||||||
#
|
|
||||||
|
|
|
@ -30,6 +30,7 @@
|
||||||
#set -e
|
#set -e
|
||||||
shopt -s nocasematch
|
shopt -s nocasematch
|
||||||
|
|
||||||
|
|
||||||
print_help()
|
print_help()
|
||||||
{
|
{
|
||||||
echo "Usage: isabelle env ./install-afp [OPTION] "
|
echo "Usage: isabelle env ./install-afp [OPTION] "
|
||||||
|
@ -58,8 +59,8 @@ check_isabelle_version() {
|
||||||
echo " version of Isabelle and rerun the install script, providing the"
|
echo " version of Isabelle and rerun the install script, providing the"
|
||||||
echo " the \"isabelle\" command as argument."
|
echo " the \"isabelle\" command as argument."
|
||||||
echo " Isabelle ($ISABELLE_VERSION) can be obtained from:"
|
echo " Isabelle ($ISABELLE_VERSION) can be obtained from:"
|
||||||
echo " $ISABELLE_URL"
|
echo " https://isabelle.in.tum.de/website-$ISABELLE_VERSION/"
|
||||||
echo
|
echo ""
|
||||||
read -p " Still continue (y/N)? " -n 1 -r
|
read -p " Still continue (y/N)? " -n 1 -r
|
||||||
echo
|
echo
|
||||||
if [[ $REPLY =~ ^[Yy]$ ]];
|
if [[ $REPLY =~ ^[Yy]$ ]];
|
||||||
|
@ -130,6 +131,10 @@ done
|
||||||
|
|
||||||
ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
|
ACTUAL_ISABELLE_VERSION=`$ISABELLE_TOOL version`
|
||||||
|
|
||||||
|
ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL options -g dof_isabelle)"
|
||||||
|
AFP_DATE="$($ISABELLE_TOOL options -g dof_afp)"
|
||||||
|
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||||
|
|
||||||
echo ""
|
echo ""
|
||||||
echo "Isabelle/DOF Installer"
|
echo "Isabelle/DOF Installer"
|
||||||
echo "======================"
|
echo "======================"
|
||||||
|
|
Loading…
Reference in New Issue