Add Fedora image #571
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 | |
container: fedora:39 | |
steps: | |
- name: Check out sopt | |
uses: actions/checkout@v3 | |
# 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: | | |
cat /etc/os-release | |
sudo dnf update | |
sudo dnf install openmpi openmpi-dev yaml-cpp doxygen graphviz ccache eigen3-dev libtiff catch2-devel | |
#- 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. |