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:
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