Updates from MSSL meeting #544
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Documentation | |
on: | |
push: | |
branches: [ development ] | |
pull_request: | |
branches: [ development ] | |
if: github.event.pull_request.draft == false | |
workflow_dispatch: | |
inputs: | |
debug_enabled: | |
description: 'Run the build with tmate debugging enabled (https://github.com/marketplace/actions/debugging-with-tmate)' | |
required: false | |
default: false | |
env: | |
OMP_NUM_THREADS: 2 | |
jobs: | |
make-documentation: | |
runs-on: ubuntu-22.04 | |
steps: | |
- name: Check out sopt | |
uses: actions/checkout@v3 | |
with: | |
submodules: recursive | |
# Enable tmate debugging of manually-triggered workflows if the input option was provided | |
- name: Setup tmate session | |
uses: mxschmitt/action-tmate@v3 | |
if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.debug_enabled }} | |
- name: Install dependencies | |
run: | | |
sudo apt update | |
sudo apt install openmpi-bin libopenmpi-dev libyaml-cpp-dev doxygen graphviz ccache libeigen3-dev libtiff-dev | |
- name: Checkout Catch2 | |
uses: actions/checkout@v4 | |
with: | |
repository: catchorg/Catch2.git | |
path: Catch2 | |
ref: v3.4.0 | |
- name: Build Catch2 | |
run: | | |
mkdir Catch2/build | |
cd Catch2/build | |
cmake .. -DBUILD_TESTING=OFF -DCMAKE_INSTALL_PREFIX=${{github.workspace}}/local | |
make -j$(nproc --ignore 1) install | |
- name: Build | |
run: | | |
export CMAKE_PREFIX_PATH=${{github.workspace}}/local:$CMAKE_PREFIX_PATH | |
mkdir ${{github.workspace}}/build | |
cd ${{github.workspace}}/build | |
cmake .. --fresh -DCMAKE_INSTALL_PREFIX=${{github.workspace}}/local -Ddompi=OFF -Dopenmp=OFF -Ddocs=ON -Donnxrt=ON | |
make -j$(nproc --ignore 1) | |
make -j$(nproc --ignore 1) install | |
- name: Make Docweb | |
run: | | |
cd build | |
make docweb VERBOSE=1 | |
- name: Deploy to GH pages | |
if: ${{github.event_name == 'push'}} | |
uses: JamesIves/github-pages-deploy-action@4.1.6 | |
with: | |
branch: gh-pages # The branch the action should deploy to. | |
folder: build/cpp/docs/html # The folder the action should deploy. |