forked from Isabelle_DOF/Isabelle_DOF
Fixed outdated use of mkroot_DOF and added (not yet tested) setup to create build archive during CI build.
This commit is contained in:
parent
e6ca682114
commit
1444f8f48b
|
@ -15,3 +15,4 @@ It may also contain additional tools and script that are useful for preparing a
|
||||||
* pdflatex
|
* pdflatex
|
||||||
* [browser_info](https://artifacts.logicalhacking.com/ci/Isabelle_DOF/Isabelle_DOF/main/latest/pdflatex/browser_info/Unsorted/)
|
* [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/)
|
* [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)
|
||||||
|
|
|
@ -9,12 +9,20 @@ pipeline:
|
||||||
- echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings
|
- echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings
|
||||||
- isabelle components -u `pwd`
|
- isabelle components -u `pwd`
|
||||||
- isabelle build -D . -o browser_info
|
- isabelle build -D . -o browser_info
|
||||||
- isabelle mkroot_DOF DOF_test
|
- isabelle dof_mkroot DOF_test
|
||||||
- isabelle build -D DOF_test
|
- isabelle build -D DOF_test
|
||||||
- cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
|
- cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
|
||||||
- cd $ARTIFACT_DIR
|
- cd $ARTIFACT_DIR
|
||||||
- cd ../..
|
- cd ../..
|
||||||
- ln -s * latest
|
- 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:
|
deploy:
|
||||||
image: docker.io/drillster/drone-rsync
|
image: docker.io/drillster/drone-rsync
|
||||||
settings:
|
settings:
|
||||||
|
|
Loading…
Reference in New Issue