Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

During install, infer DATE from git commit and also add commit id.

This commit is contained in:
Achim D. Brucker 2019-08-15 16:55:12 +01:00
parent ecc7cec514
commit 71ec7994cd
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.config
View File

@ -1,5 +1,4 @@
# 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
@ -12,3 +11,4 @@ AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
DOF_ARTIFACT_DIR="releases/Isabelle_DOF/Isabelle_DOF"
DOF_ARTIFACT_HOST="artifacts.logicalhacking.com"
#

4
install
View File

@ -31,6 +31,9 @@
shopt -s nocasematch
# get global configuration
if [ -d .git ]; then
export `git show -s --format="COMMIT=%H DATE=%cd" --date=short | sed -e 's|-|/|g'`
fi
source .config
print_help()
@ -235,6 +238,7 @@ install_and_register(){
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/*/*
touch $PWD\$ $ISABELLE_HOME_USER/ROOTS
grep -q $PWD\$ $ISABELLE_HOME_USER/ROOTS || echo "$PWD" >> $ISABELLE_HOME_USER/ROOTS
}