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

Build Scala/Java components to get proper ISABELLE_CLASSPATH
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Makarius Wenzel 2022-12-02 21:40:59 +01:00
parent 96f4077c53
commit 4264e7cd15
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.woodpecker/mk_release
View File

@ -189,6 +189,8 @@ else
$ISABELLE components -u $ISADOF_WORK_DIR
fi
$ISABELLE_TOOL scala_build
VARS=`$ISABELLE getenv ISABELLE_TOOL`
for i in $VARS; do
export "$i"