flambda-backend/.github/workflows/flambda1.yml at main · Matthiaas/flambda-backend · 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
name: flambda1

on: [push, pull_request]

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

    strategy:
      matrix:
        os: [ubuntu-latest]

    env:
      J: "3"

    steps:
    - name: Checkout the Flambda backend repo
      uses: actions/checkout@master
      with:
        path: 'flambda_backend'

    - name: Cache dune build compiler install directory
      uses: actions/cache@v1
      id: cache
      with:
        path: ${{ github.workspace }}/dune_build_compiler/_install
        key: ${{ matrix.os }}-cache-dune-build-compiler

    - name: Checkout OCaml 4.12 (dune build compiler)
      uses: actions/checkout@master
      if: steps.cache.outputs.cache-hit != 'true'
      with:
        repository: 'ocaml/ocaml'
        path: 'dune_build_compiler'
        ref: '4.12'

    - name: Build and install dune build compiler
      if: steps.cache.outputs.cache-hit != 'true'
      working-directory: dune_build_compiler
      run: |
        ./configure --prefix=$GITHUB_WORKSPACE/dune_build_compiler/_install
        make -j $J world.opt
        make install

    - name: Checkout dune github repo
      uses: actions/checkout@master
      with:
        repository: 'ocaml-flambda/dune'
        ref: 'special_dune'
        path: 'dune'

    - name: Build dune
      working-directory: dune
      run: |
        PATH=$GITHUB_WORKSPACE/dune_build_compiler/_install/bin:$PATH make release

    - name: Run autoconf for Flambda backend
      working-directory: flambda_backend
      run: autoconf

    - name: Configure Flambda backend (Flambda 1 mode)
      working-directory: flambda_backend
      run: |
        ./configure \
          --prefix=$GITHUB_WORKSPACE/_install \
          --enable-middle-end=flambda \
          --with-dune=$GITHUB_WORKSPACE/dune/dune.exe

    - name: Build, install and test Flambda backend (Flambda 1 mode)
      working-directory: flambda_backend
      run: make -j $J ci