Skip to content

Separate saphe from satysfi #1650

Separate saphe from satysfi

Separate saphe from satysfi #1650

Workflow file for this run

name: CI
on:
[pull_request, push]
jobs:
build:
name: Build
strategy:
matrix:
os: [ 'ubuntu-latest', 'macos-latest' ]
ocaml-version:
- 4.14.0
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Cache locks
uses: actions/cache@v2
env:
cache-name: cache-locks
with:
path: ~/.satysfi/cache/
key: ${{ env.cache-name }}-${{ hashFiles('default-registry-commit-hash.txt') }}
- name: Determine the default OPAM Repo
id: determine-default-opam-repo
# See https://docs.github.com/en/actions/reference/context-and-expression-syntax-for-github-actions#runner-context
# and https://github.com/ocaml/setup-ocaml/blob/4ac56b0fd440c3eef30fd1e34c96e0c740a807da/src/constants.ts#L45
run: |
if [ "${{ runner.os }}" = "Windows" ]; then
DEFAULT_OPAM_REPO="https://github.com/fdopen/opam-repository-mingw.git#opam2"
else
DEFAULT_OPAM_REPO="https://github.com/ocaml/opam-repository.git"
fi
echo "::set-output name=opam-repo-default::$(echo "$DEFAULT_OPAM_REPO")"
- name: Install tools
run: |
if [ "${{ matrix.os }}" == 'macos-latest' ]; then
brew install coreutils
brew install diffutils
fi
- name: Setup OCaml ${{ matrix.ocaml-version }} and pin satysfi
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-version }}
dune-cache: ${{ matrix.os != 'macos-latest' }}
opam-depext: true
opam-pin: true
opam-repositories: |
satysfi-external: https://github.com/gfngfn/satysfi-external-repo.git
default: ${{ steps.determine-default-opam-repo.outputs.opam-repo-default }}
- name: Install SATySFi dependencies
run: |
opam install . --deps-only --with-doc --with-test --verbose
- name: Build SATySFi
run: |
opam exec -- make all
- name: Run unit tests
run: |
opam exec -- make test
- name: Install SATySFi
run: |
opam install -y .
if [ "${{ matrix.os }}" == 'macos-latest' ]; then
./install-libs.sh ~/.satysfi ginstall
else
./install-libs.sh ~/.satysfi install
fi
# It is no longer necessary to download font files beforehand
# due to the package system:
# if [ -z "$(ls lib-satysfi/dist/fonts)" ]; then
# ./download-fonts.sh
# fi
- name: Check library packages
run: |
opam exec -- make test-packages
- name: Build demo docs
run: |
(cd demo; opam exec -- make)
(cd doc; opam exec -- make)
- name: Run integration tests
run: |
(cd tests; opam exec -- make)