Verified Commit ab7e5d1d authored by Julien's avatar Julien
Browse files

WIP[CI] build doc and typecheck compiler output

parent 47f9aabd
Pipeline #133809999 failed
stages:
- build
- test
.build:
stage: build
......@@ -7,24 +8,42 @@ stages:
before_script:
- opam update -y
- sudo apt-get update -y -q
script:
- sudo chown -R coq:coq "$CI_PROJECT_DIR"
- DEBIAN_FRONTEND=noninteractive sudo apt-get install -y -q libgmp-dev
# - export scversion="latest"
# - wget -qO- "https://storage.googleapis.com/shellcheck/shellcheck-"${scversion}".linux.x86_64.tar.xz" | tar -xJv
# - shellcheck-"${scversion}"/shellcheck `find -name 'configure'`
# - emacs --batch -l scripts/org-lint-README.el --kill
- opam switch ${COMPILER_EDGE}
- opam pin add -k git -y -j ${NJOBS} coq-ott https://github.com/ott-lang/ott.git
- opam repository add coq-extra-dev https://coq.inria.fr/opam/extra-dev
- opam install -y -j ${NJOBS} dune coq-mi-cho-coq
- opam pin add -k git -y -j ${NJOBS} --with-test albert ./
script:
- opam install -y -j ${NJOBS} dune coq-mi-cho-coq
- opam pin add -k git -y -j ${NJOBS} --with-test albert ./
- make ott_tex doc/proposal.tex test
artifacts:
paths:
- ${CI_BUILDS_DIR}/test/
- ${CI_BUILDS_DIR}/doc/
coq:8.8:
extends: .build
coq:8.9:
extends: .build
coq:
coq:8.10:
extends: .build
check-compiler-output:
stage: test
image: docker.io/nomadiclabs/tezos-sandbox
dependencies: coq:8.10
script: make typecheck-compiler-output
doc:
stage: test
image: sumankhanal/texlive-2019:small
dependencies:
- coq:8.10
script:
- make doc
artifact:
paths:
- proposal_final.pdf
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment