From 2146f27a6aa9f2c75ef63042b4e1e2ab7955fb76 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Fri, 25 Aug 2017 10:58:22 +0200
Subject: [PATCH] add a ci job to build the doc
---
.gitlab-ci.yml | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 545935047..35dd054b7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -37,4 +37,13 @@ quark:
- make -j2
- ctest -V -R test_shm_s
except:
- - users_doc
\ No newline at end of file
+ - users_doc
+
+doc:
+ script:
+ - source .gitlab-ci-env.sh
+ - git submodule update --init --recursive
+ - mkdir -p build
+ - cd build
+ - cmake .. -DCHAMELEON_ENABLE_DOCS=ON -DCHAMELEON_ENABLE_EXAMPLES=OFF -DCHAMELEON_ENABLE_TESTING=OFF -DCHAMELEON_ENABLE_TIMING=OFF
+ - make
--
GitLab