noCanren/.github/workflows/Build.yml at master · PLTools/noCanren · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
name: Build

on:
  push:
    paths-ignore:
      # do not run CI if we are writing a paper
      # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-ignoring-paths
    branches:
      - 'master'
      #- 'dune'

  #schedule:
  # - cron: "0 13 * * 1"
  #   https://jasonet.co/posts/scheduled-actions/

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        os:
          - ubuntu-20.04
        ocaml-compiler:
          - 4.13.x
          - 4.14.x

    runs-on: ${{ matrix.os }}

    steps:
      - name: Cancel Previous Runs
        uses: styfle/cancel-workflow-action@0.7.0
        with:
          access_token: ${{ github.token }}

      - name: Checkout code
        uses: actions/checkout@v2

      - name: Use OCaml ${{ matrix.ocaml-compiler }}
        uses: ocaml/setup-ocaml@v2
        with:
          ocaml-compiler: ${{ matrix.ocaml-compiler }}
          dune-cache: true
          cache-prefix: v21
          opam-pin: false
          opam-depext: false

      - run: opam pin OCanren-ppx --dev-repo -n
      - run: opam pin OCanren --dev-repo -n

      - run: opam depext OCanren --yes
      - run: opam install OCanren-ppx OCanren --yes

      - run: opam pin add . --no-action

      - name: Installing depexts
        run: opam depext noCanren --yes --with-test

      - name: Installing dependencies
        run: opam install . --deps-only --with-test

      - name: Building
        run: opam exec -- dune build --profile=release -p noCanren

      #- name: Installing dependencies for testing
      #  run: opam exec -- dune external-lib-deps -p noCanren-tests . --missing  | cut -f1 | xargs opam install --yes GT

      - name: Testing
        run: opam exec -- dune runtest --profile=release -p noCanren #,noCanren-tests

      - name: Installing a package
        run: |
          opam exec -- dune build @install --profile=release
          opam exec -- dune install --profile=release noCanren

      - name: Listing files
        run: |
          opam show noCanren --list-files