calyx 0.7.1

Compiler Infrastructure for Hardware Accelerator Generation
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

name: Verification

# Right now, we should only run this check on the vcalyx branch
on:  
  push:
    branches:
      - vcalyx

# Ensures that only the latest commit of a PR can execute the actions.
# Useful for cancelling job when a sequence of commits are quickly added.
concurrency:
  group: ${{ github.head_ref || github.run_id }}
  cancel-in-progress: true

jobs:
  build:
    name: Build VCalyx
    runs-on: ubuntu-latest
    container: ghcr.io/cucapra/calyx:latest
    steps:
    - name: Checkout
      uses: actions/checkout@v2
    - name: Get bwrap for opam
      run: |
        apt-get update -y
        apt-get install -y bubblewrap
    - name: Set up opam and OCaml 4.13.1
      uses: ocaml/setup-ocaml@v2
      with:
          ocaml-compiler: 4.13.1
    - name: Checkout commit that triggered run
      run: |
        git fetch --all
        git checkout $GITHUB_SHA
    - name: Install dependencies
      run: |
        cd vcalyx
        opam install dune
        opam repo add coq-released https://coq.inria.fr/opam/released
        opam install . --deps-only 
        opam install coq yojson core core_unix ppx_deriving coq-stdpp coq-ceres
    - name: Build with dune
      run: |
        cd vcalyx
        opam exec -- dune build