From 1444f8f48b90be840321897cfb08b9fe1b2d2243 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 26 Jun 2022 16:35:23 +0100 Subject: [PATCH] Fixed outdated use of mkroot_DOF and added (not yet tested) setup to create build archive during CI build. --- .woodpecker/README.md | 1 + .woodpecker/build.yml | 10 +++++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/.woodpecker/README.md b/.woodpecker/README.md index c9dad9d0..049fb95e 100644 --- a/.woodpecker/README.md +++ b/.woodpecker/README.md @@ -15,3 +15,4 @@ It may also contain additional tools and script that are useful for preparing a * pdflatex * [browser_info](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/browser_info/Unsorted/) * [aux files](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/) +* [Isabelle_DOF-Unreleased_Isabelle2021-1.tar.xz](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/Isabelle_DOF-Unreleased_Isabelle2021-1.tar.xz) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index ad80a04d..7aafc337 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -9,12 +9,20 @@ pipeline: - echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings - isabelle components -u `pwd` - isabelle build -D . -o browser_info - - isabelle mkroot_DOF DOF_test + - isabelle dof_mkroot DOF_test - isabelle build -D DOF_test - cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR - cd $ARTIFACT_DIR - cd ../.. - ln -s * latest + build: + image: docker.io/logicalhacking/isabelle2021-1 + commands: + - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/lualatex + - mkdir -p $ARTIFACT_DIR + - export ISABELLE_VERSION=`isabelle version` + - ./.woodpecker/mk_release -d + - cp Isabelle_DOF-Unreleased_$ISABELLE_VERSION.tar.xz $ARTIFACT_DIR/../ deploy: image: docker.io/drillster/drone-rsync settings: