Compile farith2 during tests and generate doc

.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