X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6fbcdfade89b3812c24152c86f8aa3be510df7f2..2ab4e0e62669d5c46c88018d6d49aef25693df97:/.gitlab-ci.yml diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d8efd80d40..49f4c5c4ab 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -32,7 +32,7 @@ release: script: - apt-get --allow-releaseinfo-change update - apt install -y binutils wget unzip zip - - cmake -Denable_documentation=OFF -Denable_msg=ON -Dminimal-bindings=ON -Denable_compile_optimizations=ON -Denable_smpi=OFF -DLTO_EXTRA_FLAG="auto" . + - cmake -Denable_documentation=OFF -Dminimal-bindings=ON -Denable_compile_optimizations=ON -Denable_smpi=OFF -DLTO_EXTRA_FLAG="auto" . - make VERBOSE=1 -j$(nproc) dist artifacts: paths: @@ -58,6 +58,7 @@ pages: stage: deploy script: - pip3 install --requirement docs/requirements.txt + - cd docs - LC_ALL=C.UTF-8 ./Build.sh - mv build/html ../public # - The CSS contains a reference to a font or something, not something we gonna fix on our side