Skip to content

Misc improvements 10 #99

Misc improvements 10

Misc improvements 10 #99

Workflow file for this run

name: Check
# Controls when the action will run.
on:
# Triggers the workflow on push or pull request events...
push:
branches: [ master]
pull_request:
branches: [ master]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
env:
Z3_DOWNLOAD_URL_WINDOWS: https://github.com/Z3Prover/z3/releases/download/z3-4.8.17/z3-4.8.17-x64-win.zip
jobs:
tests:
name: "Tests - ${{matrix.dialect}}, ${{matrix.os}}"
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest ] #, windows-latest]
dialect: [ pharo , stx ]
steps:
- uses: actions/checkout@v2
with:
submodules: 'recursive'
- name: Add MSYS2 to PATH (Windows only)
if: matrix.os == 'windows-latest'
run: echo "C:\msys64\usr\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
- name: Install required tools (Windows)
if: matrix.os == 'windows-latest'
run: |
pacman --noconfirm -Syu wget make unzip
cd pharo
wget --quiet --output-document=z3.zip ${{env.Z3_DOWNLOAD_URL_WINDOWS}}
unzip z3.zip
cp z3*win/bin/*.dll .
- name: Install required tools (Linux)
if: matrix.os == 'ubuntu-latest'
run: |
sudo apt-get update
sudo apt-get install libz3-4 libz3-dev crossbuild-essential-riscv64 qemu-user-static gdb-multiarch crossbuild-essential-ppc64el
# Following is needed because by default, libgdbs uses /usr/bin/gdb
# which is not multiarch GDB! Nasty workaround, indeed.
sudo cp /usr/bin/gdb-multiarch /usr/bin/gdb
- name: Fetch commits so that Iceberg doesn't crash
run: git fetch --unshallow
- name: Build
run: |
make -C ${{matrix.dialect}}
- name: Test
run: |
make -C ${{matrix.dialect}} test