Reduce divergence in jkind_axis.ml and jkind_types.ml #463
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Run Tests | |
| on: | |
| push: | |
| # Overall approach to running the tests: | |
| # - Install OCaml 5.2, as this is the version of dependencies our merlin expects. | |
| # - Build flambda-backend (which requires installing OCaml 4.14). | |
| # - Build merlin using OCaml 5.2, and then run the tests while pointing merlin at | |
| # flambda-backend's stdlib and ocamlc. | |
| # | |
| # The second step only needs to be run when we update the flambda-backend version, | |
| # so we cache it. We use [upstream/ocaml_flambda/base-rev.txt] as the cache key, | |
| # given that it is updated when and only when we import new changes from | |
| # flambda-backend into merlin-jst. | |
| jobs: | |
| build: | |
| # The type of runner that the job will run on | |
| name: built with flambda-backend, ${{ matrix.name }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| include: | |
| - os: ubuntu-latest | |
| flambda-backend-config: --enable-middle-end=flambda2 --disable-naked-pointers | |
| name: flambda2 | |
| ocaml-compiler: 5.2.x | |
| env: | |
| MERLIN_TESTS: all | |
| steps: | |
| - name: Checkout the merlin-jst repo | |
| uses: actions/checkout@master | |
| with: | |
| path: 'merlin-jst' | |
| - name: Set up OCaml ${{ matrix.ocaml-compiler }} | |
| uses: ocaml/setup-ocaml@v2 | |
| with: | |
| # Version of the OCaml compiler to initialise | |
| ocaml-compiler: ${{ matrix.ocaml-compiler }} | |
| - name: Cache flambda-backend build | |
| uses: actions/cache@v2 | |
| id: cache | |
| with: | |
| path: ${{ github.workspace }}/flambda-backend/_install | |
| key: cache-flambda-backend-${{ matrix.name }}-${{ hashFiles('merlin-jst/upstream/ocaml_flambda/base-rev.txt') }} | |
| - name: Clone the flambda-backend repo | |
| uses: actions/checkout@master | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| with: | |
| repository: 'ocaml-flambda/flambda-backend' | |
| path: 'flambda-backend' | |
| - name: Check out the flambda-backend repo to the specified hash | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| working-directory: flambda-backend | |
| run: | | |
| REV=$(cat $GITHUB_WORKSPACE/merlin-jst/upstream/ocaml_flambda/base-rev.txt) | |
| git fetch origin "$REV" | |
| git checkout "$REV" | |
| - name: Install dependencies for flambda-backend | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| working-directory: flambda-backend | |
| run: | | |
| opam switch create 4.14.0 --yes | |
| opam switch link 4.14.0 --yes | |
| opam install --yes dune.3.10.0 menhir.20231231 | |
| - name: Configure, build, and install flambda-backend | |
| if: steps.cache.outputs.cache-hit != 'true' | |
| working-directory: flambda-backend | |
| run: | | |
| eval $(opam env) | |
| autoconf | |
| ./configure \ | |
| --prefix=$GITHUB_WORKSPACE/flambda-backend/_install \ | |
| --with-dune=$(which dune) \ | |
| ${{ matrix.flambda-backend-config }} | |
| make install | |
| - name: Install dependencies | |
| working-directory: merlin-jst | |
| run: | | |
| opam depext conf-jq --yes # opam depext bug | |
| opam pin menhirLib 20210419 --no-action | |
| opam install --yes ppx_string ppx_compare | |
| opam install . --deps-only --with-test --yes | |
| - name: Build and test in release mode (linux) | |
| working-directory: merlin-jst | |
| run: | | |
| export MERLIN_TEST_OCAML_PATH=$GITHUB_WORKSPACE/flambda-backend/_install | |
| opam exec -- dune runtest -p merlin-lib,dot-merlin-reader,merlin |