Skip to content

Bundle stdlibs with runtimes #372

Bundle stdlibs with runtimes

Bundle stdlibs with runtimes #372

Workflow file for this run

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
build-refman:
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: [ ubuntu-20.04 ]
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@v4
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 update
sudo apt-get install texlive-full
wget https://github.com/jgm/pandoc/releases/download/3.1.7/pandoc-3.1.7-1-amd64.deb
sudo dpkg -i *.deb
rm -rf *.deb
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