Update locale: commit 1f009e85ec #1
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: Website | |
| on: | |
| workflow_dispatch: | |
| push: | |
| paths: | |
| - '.github/workflows/website.yml' | |
| - 'doc/**' | |
| - 'locale/**' | |
| - 'CMakeLists.txt' | |
| branches: | |
| - main | |
| - develop | |
| permissions: | |
| contents: read | |
| jobs: | |
| release: | |
| permissions: | |
| contents: write # for Git to git push | |
| name: Update Website | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository_owner == 'pgRouting' }} | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Get postgres version | |
| run: | | |
| sudo service postgresql start | |
| PGVER=$(psql --version | grep -Po '(?<=psql \(PostgreSQL\) )[^;]+(?=\.\d \()') | |
| PROJECT_VERSION=$(grep -Po '(?<=project\(PGROUTING VERSION )[^;]+' CMakeLists.txt) | |
| echo "PGVER=${PGVER}" >> $GITHUB_ENV | |
| echo "PGPORT=5432" >> $GITHUB_ENV | |
| echo "PGIS=3" >> $GITHUB_ENV | |
| echo "PROJECT_VERSION=${PROJECT_VERSION}" >> $GITHUB_ENV | |
| - name: Extract branch name and commit hash | |
| run: | | |
| branch=${GITHUB_REF#refs/heads/} | |
| echo "BRANCH=$branch" >> $GITHUB_ENV | |
| git_hash=$(git rev-parse --short "$GITHUB_SHA") | |
| echo "GIT_HASH=$git_hash" >> $GITHUB_ENV | |
| - name: Add PostgreSQL APT repository | |
| run: | | |
| sudo apt-get install curl ca-certificates gnupg | |
| curl https://www.postgresql.org/media/keys/ACCC4CF8.asc | sudo apt-key add - | |
| sudo sh -c 'echo "deb http://apt.postgresql.org/pub/repos/apt/ \ | |
| $(lsb_release -cs)-pgdg main" > /etc/apt/sources.list.d/pgdg.list' | |
| - name: Install python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.x' | |
| - name: Install dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y \ | |
| libboost-graph-dev \ | |
| postgresql-${PGVER} \ | |
| postgresql-${PGVER}-postgis-${PGIS} \ | |
| postgresql-${PGVER}-postgis-${PGIS}-scripts \ | |
| postgresql-server-dev-${PGVER} \ | |
| graphviz \ | |
| doxygen | |
| python -m pip install --upgrade pip | |
| pip install Sphinx | |
| pip install sphinx-bootstrap-theme | |
| pip install sphinx-intl[transifex] | |
| pip list | |
| - name: Configure and build documentation | |
| run: | | |
| export PATH=/usr/lib/postgresql/${PGVER}/bin:$PATH | |
| mkdir build | |
| cd build | |
| cmake -DPOSTGRESQL_VERSION=${PGVER} -DDOC_USE_BOOTSTRAP=ON -DWITH_DOC=ON -DBUILD_DOXY=ON -DCMAKE_BUILD_TYPE=Release -DES=ON .. | |
| make doc | |
| - name: Initialize mandatory git config | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| - name: Update Users Documentation on develop | |
| if: ${{ github.ref == 'refs/heads/develop' }} | |
| run: | | |
| git checkout origin/gh-pages | |
| git checkout -b gh-pages | |
| DIRECTORY="${PROJECT_VERSION%.*}" | |
| rm -rf ${DIRECTORY} | |
| cp -r build/doc/html ${DIRECTORY} | |
| git add ${DIRECTORY} | |
| git diff-index --quiet HEAD || git commit -m "Update users documentation for ${PROJECT_VERSION} for develop branch: commit ${{ env.GIT_HASH }}" | |
| git fetch origin | |
| git rebase origin/gh-pages | |
| git push origin gh-pages | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Update Users Documentation on main | |
| if: ${{ github.ref == 'refs/heads/main' }} | |
| run: | | |
| git checkout origin/gh-pages | |
| git checkout -b gh-pages | |
| DIRECTORY="main" | |
| rm -rf ${DIRECTORY} | |
| cp -r build/doc/html ${DIRECTORY} | |
| git add ${DIRECTORY} | |
| git diff-index --quiet HEAD || git commit -m "Update users documentation for ${PROJECT_VERSION} for main branch: commit ${{ env.GIT_HASH }}" | |
| git fetch origin | |
| git rebase origin/gh-pages | |
| git push origin gh-pages | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |