refman.yml

name: Build DafnyRef.pdf

on:
  workflow_dispatch:
  pull_request:
    branches: [ master, main-* ]

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  check-deep-tests:
     uses: ./.github/workflows/check-deep-tests-reusable.yml
     with:
       branch: master

  build:
    needs: check-deep-tests
    if: always() && (( github.event_name == 'pull_request' && (needs.check-deep-tests.result == 'success' || contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))) || ( github.event_name == 'push' && ( github.ref_name == 'master' || vars.TEST_ON_FORK == 'true' )))
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os: [ macos-latest ]
        # os: [macos-latest, ubuntu-latest ]
    steps:
    - name: OS
      run: echo ${{ runner.os }} ${{ matrix.os }}
    - name: Setup dotnet
      uses: actions/setup-dotnet@v3
      with:
        dotnet-version: 6.0.x
    - name: Checkout Dafny
      uses: actions/checkout@v3
      with:
        submodules: recursive
        path: dafny
    - name: Build Dafny
      run: dotnet build dafny/Source/Dafny.sln
    - name: Install latex pandoc - Linux
      if: runner.os == 'Linux'
      run: |
        sudo apt-get install texlive texlive-xetex
        wget https://github.com/jgm/pandoc/releases/download/2.10.1/pandoc-2.10.1-1-amd64.deb
        sudo dpkg -i *.deb
        rm -rf *.deb
      # apt-get has pandoc, but it is outdated
    - name: Extra linux packages
      if: matrix.os == 'ubuntu-latest'
      run: |
        sudo apt-get install texlive-science
        sudo tlmgr init-usertree
        sudo tlmgr update --self
        sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
        pandoc -v
        which latex || echo NOT FOUND latex
        which xelatex || echo NOT FOUND xelatex
        sudo gem install rouge
    - if: matrix.os != 'ubuntu-latest' && runner.os == 'Linux'
      run: |
        sudo apt-get install texlive-math-extra
        sudo tlmgr init-usertree
        sudo tlmgr update --self
        sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
        pandoc -v
        which latex || echo NOT FOUND latex
        which xelatex || echo NOT FOUND xelatex
        sudo gem install rouge
    - name: Install latex pandoc - MacOS
      if: runner.os == 'MacOS'
      run: |
        unset HOMEBREW_NO_INSTALL_FROM_API
        brew untap Homebrew/core
        brew update-reset && brew update
        brew install pandoc
        brew install --cask basictex
        eval "$(/usr/libexec/path_helper)"
        sudo tlmgr update --self
        sudo tlmgr install framed tcolorbox environ trimspaces unicode-math
        pandoc -v
        which latex || echo NOT FOUND latex
        which xelatex || echo NOT FOUND xelatex
        sudo gem install rouge -v 3.30.0
    - name: Build reference manual
      run: |
        eval "$(/usr/libexec/path_helper)"
        rm -f dafny/docs/DafnyRef/DafnyRef.pdf
        make -C dafny/docs/DafnyRef
    - name: Check
      run: ls -la dafny/docs/DafnyRef/DafnyRef.pdf
    - uses: actions/upload-artifact@v3
      if: always()
      with:
        name: DafnyRef
        path: dafny/docs/DafnyRef/DafnyRef.pdf
    # Building the reference manual may update files,
    # such as renumbering sections or updating Options.txt.
    # These changes should have been checked in earlier,
    # so fail the build if anything changed.
    - name: Check for modifications
      run: 'git diff --exit-code || (echo "ERROR: Source changes detected (see above). Build the reference manual locally and commit these changes." && exit 1)'
      working-directory: dafny