forked from Isabelle_DOF/Isabelle_DOF
Update version information during installation.
This commit is contained in:
parent
1f6149b0c0
commit
22529362a1
12
.config
12
.config
|
@ -1,8 +1,14 @@
|
|||
DOF_VERSION="Unreleased"
|
||||
# Isabelle/DOF Version Information
|
||||
DATE=`date +"%Y/%m/%d"` # Should be fixed in a release
|
||||
DOF_VERSION="Unreleased" # "Unreleased" for development, proper semantic
|
||||
#
|
||||
# Isabelle and AFP 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"
|
||||
#
|
||||
# Isabelle/DOF Repository Configuration
|
||||
DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
||||
DOF_ARTIFACT_DIR="releases/Isabelle_DOF/Isabelle_DOF"
|
||||
DOF_ARTIFACT_HOST="artifacts.logicalhacking.com"
|
||||
AFP_DATE="afp-2019-06-17"
|
||||
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
|
||||
|
|
2
install
2
install
|
@ -233,6 +233,8 @@ install_and_register(){
|
|||
>> "$DIR/settings"
|
||||
fi
|
||||
sed -i -e "s|<isadofurl>|$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/*
|
||||
LTX_VERSION="$DATE $DOF_VERSION/$ISABELLE_SHORT_VERSION"
|
||||
sed -i -e "s|<isadofltxversion>|$LTX_VERSION|" $ISABELLE_HOME_USER/DOF/*/*
|
||||
grep -q $PWD\$ $ISABELLE_HOME_USER/ROOTS || echo "$PWD" >> $ISABELLE_HOME_USER/ROOTS
|
||||
}
|
||||
|
||||
|
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-COL}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle.]
|
||||
|
||||
\RequirePackage{DOF-core}
|
||||
|
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-core}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle.]
|
||||
|
||||
\RequirePackage{keycommand}
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the eptcs class.
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the lipics class.
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the lncs class.
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the scrartcl class.
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the scrreprt class with
|
||||
|
|
|
@ -12,6 +12,8 @@
|
|||
%%
|
||||
%% SPDX-License-Identifier: LPPL-1
|
||||
|
||||
%% <isadofltxversion>
|
||||
|
||||
%% Warning: Do Not Edit!
|
||||
%% =====================
|
||||
%% This is the root file for the Isabelle/DOF using the scrreprt class.
|
||||
|
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-cenelec_50128}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle (CENELEC 50128).]
|
||||
|
||||
\RequirePackage{DOF-COL}
|
||||
|
|
|
@ -13,7 +13,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-math_exam}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for math classes.]
|
||||
|
||||
\RequirePackage{DOF-COL}
|
||||
|
|
|
@ -14,7 +14,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-scholarly_paper}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle (LNCS).]
|
||||
|
||||
\RequirePackage{DOF-COL}
|
||||
|
|
|
@ -13,7 +13,7 @@
|
|||
|
||||
\NeedsTeXFormat{LaTeX2e}\relax
|
||||
\ProvidesPackage{DOF-technical_report}
|
||||
[0000/00/00 Unreleased v0.0.0+%
|
||||
[<isadofltxversion>%
|
||||
Document-Type Support Framework for Isabelle (LNCS).]
|
||||
|
||||
\RequirePackage[force]{DOF-scholarly_paper}
|
||||
|
|
Loading…
Reference in New Issue