From d3e001c1edf4069d56d0c98b537556a17c56d7e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 30 Jul 2021 22:57:56 +0200
Subject: [PATCH] Compile farith2 during tests and generate doc
---
.gitlab-ci.yml | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 93c4d178a..76f0bcfaa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,8 +41,10 @@ tests:
- opam pin --no-action --yes .
- opam depext --yes colibri2 colibrics farith
- opam install . --deps-only --locked --with-test --with-doc --yes
- - opam depext --yes --install why3 core jingoo yojson logs core # For generation not done in release mode
+ - opam repo add coq-released https://coq.inria.fr/opam/released
+ - opam depext --yes --install why3 core jingoo yojson logs core coq-flocq # For generation not done in release mode
- opam depext --yes --install ounit2 # For tests move to opam file?
+ - make -C farith2
- make
- make test
tags:
@@ -69,8 +71,11 @@ generate-static:
- opam depext --yes colibri2 colibrics farith
- opam install . --dry-run --deps-only --locked --with-test --with-doc --yes | awk '/-> installed/{print $3}' | xargs opam depext --yes
- opam install . --deps-only --locked --with-test --with-doc --yes
- - opam depext --yes --install why3 core jingoo yojson logs core # For generation not done in release mode
+ - opam repo add coq-released https://coq.inria.fr/opam/released
+ - opam depext --yes --install why3 core jingoo yojson logs core coq-flocq coq-coq2html # For generation not done in release mode
- opam depext --yes --install ounit2 # For tests move to opam file?
+ - make -C farith2
+ - make -C farith2 doc
- make
- make test
- dune install --destdir=destdir --prefix=/
@@ -83,9 +88,9 @@ generate-static:
allow_failure: true
- if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
artifacts:
- expose_as: 'Colibri2 binary'
paths:
- colibri2
+ - farith2/doc/
starexec:
stage: deploy
--
GitLab