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

Further attempts at woodpecker environment
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Makarius Wenzel 2022-12-02 22:54:02 +01:00
parent 4264e7cd15
commit 3d5d1e7476
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.woodpecker/mk_release
View File

@ -189,13 +189,12 @@ else
$ISABELLE components -u $ISADOF_WORK_DIR
fi
$ISABELLE_TOOL scala_build
VARS=`$ISABELLE getenv ISABELLE_TOOL`
for i in $VARS; do
export "$i"
done
$ISABELLE_TOOL scala_build
ISABELLE_VERSION="Isabelle$($ISABELLE_TOOL java isabelle.dof.DOF isabelle_version)"
DOF_VERSION="$($ISABELLE_TOOL java isabelle.dof.DOF dof_version)"