Fix build rules to update generated opam files, and improve CI workflows #238
Workflow file for this run
This file contains hidden or 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: Windows MSYS2 TramaBOL build | |
| on: | |
| pull_request: | |
| branches: [ master ] | |
| push: | |
| # manual run in actions tab - for all branches | |
| workflow_dispatch: | |
| # Cancel runs upon PR updates: | |
| concurrency: | |
| group: win-tramabol-${{ github.ref }} | |
| cancel-in-progress: ${{ github.ref != 'refs/heads/master' }} | |
| jobs: | |
| build: | |
| runs-on: windows-latest | |
| timeout-minutes: 30 | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| include: | |
| # - { target: release, sys: mingw64, env: x86_64 } | |
| - { target: debug, sys: mingw64, env: x86_64 } | |
| - { target: debug, sys: ucrt64, env: ucrt-x86_64 } | |
| - { target: debug, sys: clang64, env: clang-x86_64 } | |
| steps: | |
| - name: Set git user | |
| run: | | |
| git config --global user.name github-actions | |
| git config --global user.email github-actions-bot@users.noreply.github.com | |
| - name: Disable git autocrlf | |
| run: | | |
| git config --global core.autocrlf false | |
| - name: Checkout code | |
| uses: actions/checkout@v6 | |
| - run: git submodule init | |
| - run: git submodule update | |
| - run: dos2unix scripts/*.sh | |
| - name: Install packages | |
| uses: msys2/setup-msys2@v2 | |
| with: | |
| release: false | |
| update: true | |
| msystem: ${{ matrix.sys }} | |
| path-type: inherit | |
| install: autoconf automake make libtool flex bison | |
| gettext gettext-devel help2man texinfo texinfo-tex | |
| mingw-w64-${{ matrix.env }}-cc | |
| mingw-w64-${{ matrix.env }}-gcc | |
| mingw-w64-${{ matrix.env }}-gmp | |
| mingw-w64-${{ matrix.env }}-ncurses | |
| mingw-w64-${{ matrix.env }}-libxml2 | |
| mingw-w64-${{ matrix.env }}-json-c | |
| mingw-w64-${{ matrix.env }}-db | |
| - name: Bootstrap GnuCOBOL | |
| shell: msys2 {0} | |
| run: import/gnucobol4/build_aux/bootstrap install | |
| - name: Setup build environment | |
| shell: pwsh | |
| run: | | |
| If ("${{ matrix.target }}" -eq "release") { | |
| echo CFGOPT="--with-pkgversion=GnuCOBOL-CI-MSYS2" >> $env:GITHUB_ENV | |
| } Else { | |
| echo CFGOPT="--with-pkgversion=GnuCOBOL-CI-MSYS2-Debug --enable-debug --enable-cobc-internal-checks --enable-hardening" >> $env:GITHUB_ENV | |
| } | |
| # Common options (dependencies) | |
| echo CFGOPT="$env:CFGOPT --with-math=gmp --with-curses=ncursesw --with-xml2 --with-json=json-c" >> $env:GITHUB_ENV | |
| echo CFGOPT="$env:CFGOPT --with-db --with-indexed=db" >> $env:GITHUB_ENV | |
| - name: Configure GnuCOBOL | |
| shell: msys2 {0} | |
| run: | | |
| mkdir import/gnucobol4/_build && cd import/gnucobol4/_build | |
| # Note: we add the path to git-bash so that we can use the diff | |
| # command it provides, to workaround a diff bug under the MSYS2 CI | |
| sed -i 's/-Qunused-arguments//g' ../configure | |
| PATH="$PATH:/c/Program Files/Git/usr/bin" ../configure $CFGOPT CFLAGS=-std=c17 LDFLAGS=-lintl --prefix="C:/GnuCOBOL4" | |
| - name: Build GnuCOBOL | |
| shell: msys2 {0} | |
| run: make -C import/gnucobol4/_build --jobs=$(($(nproc)+1)) | |
| - name: Install GnuCOBOL | |
| shell: msys2 {0} | |
| run: make -C import/gnucobol4/_build --jobs=$(($(nproc)+1)) install | |
| - name: Copy GnuCOBOL dependencies | |
| shell: msys2 {0} | |
| run: | | |
| cd /${{ matrix.sys }}/bin | |
| cp libintl-*.dll libiconv-*.dll libgcc_s_seh-*.dll libgmp-*.dll libjson-c-*.dll libncursesw*.dll libpanelw*.dll libwinpthread-*.dll libxml2-*.dll liblzma-*.dll zlib*.dll /c/GnuCOBOL4/bin/ || true | |
| - name: Add GnuCOBOL to PATH | |
| shell: pwsh | |
| run: echo C:\GnuCOBOL4\bin >> $env:GITHUB_PATH | |
| - name: Manual install of opam depexts | |
| shell: msys2 {0} | |
| run: pacman -Su --noconfirm mingw-w64-x86_64-pkgconf | |
| - name: Set up OCaml & opam | |
| uses: ocaml/setup-ocaml@v3 | |
| with: | |
| windows-compiler: "mingw" | |
| windows-environment: "msys2" | |
| ocaml-compiler: "4.14.2" | |
| opam-pin: false | |
| - name: Retrieve cache of local opam switch | |
| uses: actions/cache@v5 | |
| id: cache-opam | |
| with: | |
| path: _opam | |
| key: v5-${{ runner.os }}-msys2-${{ matrix.sys }}-4.14.2-superbol-studio-oss-${{ hashFiles('**/*.opam', '.github/workflows/windows-msys2.yml') }} | |
| - run: | | |
| opam install .\opam\*.opam .\vendors\ANSITerminal\ANSITerminal.opam .\vendors\goblint-cil\goblint-cil.opam .\test\opam\*.opam --deps-only --with-test | |
| - run: make | |
| - run: make test | |
| - name: Cleanup local opam switch before caching | |
| run: | | |
| # opam pin remove . --yes || true | |
| opam clean --switch-cleanup --logs | |
| find _opam -type f -a \( -name '*.cmt' -o -name '*.cmti' \) -delete | |
| shell: bash | |
| if: steps.cache-opam.outputs.cache-hit != 'true' |