Moved version-related configuration into a .config file.
This commit is contained in:
parent
4040767d1a
commit
8c29055ec6
|
@ -0,0 +1,6 @@
|
|||
DOF_VERSION="Unreleased"
|
||||
ISABELLE_VERSION="Isabelle2019: June 2019"
|
||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
|
||||
DOF_BASE_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
|
||||
AFP_DATE="afp-2019-06-17"
|
||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
15
install
15
install
|
@ -30,12 +30,8 @@
|
|||
#set -e
|
||||
shopt -s nocasematch
|
||||
|
||||
# Global configuration
|
||||
ISABELLE_VERSION="Isabelle2019: June 2019"
|
||||
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
|
||||
|
||||
AFP_DATE="afp-2019-06-17"
|
||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||
# get global configuration
|
||||
source .config
|
||||
|
||||
print_help()
|
||||
{
|
||||
|
@ -187,6 +183,13 @@ install_and_register(){
|
|||
mkdir -p "$DIR"
|
||||
cp $GEN_DIR/*/*/*.sty "$DIR"
|
||||
|
||||
ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/^Isabelle\(.*\):.*/\1/'`
|
||||
sed -i -e "s|%%% CONFIG %%%| \
|
||||
\\\\renewcommand{\\\\dof@isabelleversion}{$ISABELLE_SHORT_VERSION}\n \
|
||||
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
|
||||
\\\\renewcommand{\\\\dof@baseurl}{$DOF_BASE_URL}|" \
|
||||
"$DIR/DOF-core.sty"
|
||||
|
||||
DIR="$ISABELLE_HOME_USER/etc"
|
||||
echo " - Registering Isabelle/DOF"
|
||||
mkdir -p "$DIR"
|
||||
|
|
|
@ -24,10 +24,11 @@
|
|||
\RequirePackage{etoolbox}
|
||||
\RequirePackage{fp}
|
||||
|
||||
\newcommand{\dof@isabelleversion}{UNDEFINED}
|
||||
\newcommand{\dof@version}{UNDEFINED}
|
||||
\newcommand{\dof@baseurl}{UNDEFINED}
|
||||
|
||||
\newcommand{\dof@isabelleversion}{2019}
|
||||
\newcommand{\dof@version}{Unreleased}
|
||||
\newcommand{\dof@baseurl}{https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF}
|
||||
%%% CONFIG %%%
|
||||
|
||||
\newcommand{\isabelleversion}{\dof@isabelleversion\xspace}
|
||||
\newcommand{\dofversion}{\dof@version\xspace}
|
||||
|
|
Loading…
Reference in New Issue