Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
blob: aa6176082c45ff026298370dea7a620ec3f94fea (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
image: $BUILD_IMAGE

stages:
    - check
    - build
    - deploy

release_check:
    stage: check
    script:
        - build-aux/release-check
    only:
        - tags

build:
    stage: build
    script:
        - git submodule update --init --recursive
        - git clone https://gitlab.com/mikegerwitz/hoxsl
        - export SAXON_CP=/usr/share/ant/lib/saxon9/saxon9he.jar
        - export HOXSL=hoxsl
        - ./bootstrap
        - make all check info pdf html
    artifacts:
        paths:
            - doc/
            - tamer/target
        expire_in: 30 min

build:doc:tpl:
    image: $BUILD_IMAGE_TEXLIVE
    stage: build
    script:
        - cd design/tpl/
        - make
    artifacts:
        paths:
            - design/tpl/tpl.pdf
        expire_in: 30 min

pages:
    stage: deploy
    script:
        - mkdir -p public/doc
        - mv doc/tame.html/* doc/tame.pdf doc/tame.info public/
        - mv tamer/target/doc public/tamer/
        - mkdir -p public/design
        - mv design/tpl/tpl.pdf public/design/
    artifacts:
        paths:
            - public/
        expire_in: 30 min
    only:
        - main
        - stage

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
        # 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
    only:
        - stage