employer
/
tame
1
0
Fork 0
Code Packages Releases Activity
tame/.gitlab-ci.yml

73 lines
1.7 KiB
YAML
Raw Normal View History

.gitlab-ci.yml (image): Make variable (BUILD_IMAGE) We moved to an internal container registry so that we do not have to rely on DockerHub. Since TAME is a public project, this will allow our configuration internally to vary from a public configuration.
2019-11-18 13:34:32 -05:00
image: $BUILD_IMAGE
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
stages:
Release notes and associated scripts This begins providing release notes for changes and provides scripts to facilitate this: - tools/mkrelease will update RELEASES.md and run some checks. - build-aux/release-check is intended for use in pipelines (e.g. see .gitlab-ci.yml) to verify that releases were done properly.
2020-04-29 14:40:55 -04:00
- check
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
- build
- deploy
Release notes and associated scripts This begins providing release notes for changes and provides scripts to facilitate this: - tools/mkrelease will update RELEASES.md and run some checks. - build-aux/release-check is intended for use in pipelines (e.g. see .gitlab-ci.yml) to verify that releases were done properly.
2020-04-29 14:40:55 -04:00
release_check:
stage: check
script:
- build-aux/release-check
only:
- tags
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
build:
stage: build
script:
tamer build as part of pipeline and bootstrap
2019-11-15 10:35:09 -05:00
- git submodule update --init --recursive
- git clone https://gitlab.com/mikegerwitz/hoxsl
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
- export SAXON_CP=/usr/share/ant/lib/saxon9/saxon9he.jar
.gitlab-ci.yml (build): Use bootstrap script No use in maintaining this stuff in two places.
2019-11-18 14:14:38 -05:00
- export HOXSL=hoxsl
- ./bootstrap
.gitlab-ci.yml: build: Clean before build The motivating factor here is some out of date or corrupted rustc cache, however we really ought to be doing fresh builds for TAME; it doesn't add enough time that it's worth sacrificing assurances.
2023-05-19 13:42:56 -04:00
- make clean all check info pdf html
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
artifacts:
paths:
- doc/
.gitlab-ci.yml: Filter TAMER artifacts to binaries The binaries are small, but the other data in target/ is huge (>1GiB on my machine after numerous builds). DEV-7145
2022-08-29 16:15:37 -04:00
- tamer/target/*/tamec
- tamer/target/*/tameld
.gitlab-ci.yml (build): Re-add tamer/target/doc This was accidentally removed in a previous commit to reduce artifact sizes.
2022-09-20 09:52:42 -04:00
- tamer/target/doc
tamer build as part of pipeline and bootstrap
2019-11-15 10:35:09 -05:00
expire_in: 30 min
design/tpl: The Tame Programming Language initial concept There's a lot of change that's likely going to take place with this thing, but it's a start. The abstract summarizes the purpose of this---to formally define TAME in terms of algebra, first-order logic, and [ZFC] set theory. This came about while working on compiler changes and optimizations, since it's difficult to ensure correctness (and discover further optimizations) without being able to formally define the language. The focus at the moment is the classification system rewrite, which can be expressed in terms of first order logic and set theory. This commit contains essentially a POC with some carefully chosen mathematical foundations (abstractions of which are subject to change) and a basic representation of a subset of the classification system for scalars.
2021-04-30 09:16:01 -04:00
build:doc:tpl:
image: $BUILD_IMAGE_TEXLIVE
stage: build
script:
- cd design/tpl/
- make
artifacts:
paths:
- design/tpl/tpl.pdf
expire_in: 30 min
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
pages:
stage: deploy
script:
- mkdir -p public/doc
- mv doc/tame.html/* doc/tame.pdf doc/tame.info public/
Makefile.am (doc, html): New documentation target
2019-11-18 13:24:22 -05:00
- mv tamer/target/doc public/tamer/
design/tpl: The Tame Programming Language initial concept There's a lot of change that's likely going to take place with this thing, but it's a start. The abstract summarizes the purpose of this---to formally define TAME in terms of algebra, first-order logic, and [ZFC] set theory. This came about while working on compiler changes and optimizations, since it's difficult to ensure correctness (and discover further optimizations) without being able to formally define the language. The focus at the moment is the classification system rewrite, which can be expressed in terms of first order logic and set theory. This commit contains essentially a POC with some carefully chosen mathematical foundations (abstractions of which are subject to change) and a basic representation of a subset of the classification system for scalars.
2021-04-30 09:16:01 -04:00
- mkdir -p public/design
- mv design/tpl/tpl.pdf public/design/
Add GitLab pipeline config * .gitlab-ci.yml: Add file.
2017-08-23 15:40:07 -04:00
artifacts:
paths:
- public/
expire_in: 30 min
only:
.gitlab-ci.yml (deploy): Deploy on main branch The switch to the `main` branch follows our conventions for other repositories as we switch to trunk-based development. Given that main will always be in a deployable state, there's no use in waiting for tags.
2021-08-13 15:12:46 -04:00
- main
.gitlab-ci.yml: Skip main build after stage build Two reasons for this: 1. It's unnecessary, since it's the same ref, so long as we actually build everything as part of the stage job; and 2. In our environment, the token used doesn't have access to pull from the registry. Fixing the latter item can be done at another time.
2021-10-07 15:54:44 -04:00
- stage
.gitlab-ci.yml: Merge to main after successful stage pipeline
2021-10-06 14:08:23 -04:00
ci:merge:
stage: deploy
script:
- git config user.email "gitlab-ci@localhost"
- git config user.name "GitLab CI"
- git checkout main
- git reset --hard origin/main
- git merge --ff origin/stage
.gitlab-ci.yml: Skip main build after stage build Two reasons for this: 1. It's unnecessary, since it's the same ref, so long as we actually build everything as part of the stage job; and 2. In our environment, the token used doesn't have access to pull from the registry. Fixing the latter item can be done at another time.
2021-10-07 15:54:44 -04:00
# Do not trigger the pipeline after pushing; there's no use in
# re-doing the work we just did, since the merge is a fast-forward.
- git push -o ci.skip http://ci:$STAGE_MERGE_ACCESS_TOKEN@$CI_SERVER_HOST/$CI_PROJECT_PATH.git HEAD:main
.gitlab-ci.yml: Merge to main after successful stage pipeline
2021-10-06 14:08:23 -04:00
only:
- stage