Build OCaml 5 files in CI (#189)

* Add CI

* Add more things to CI

* try to fix up ocaml build

* more introspectable builds of mls and mlis

* Add menhir

* Move more useful pieces into the script that users can run

Author: ncik-roberts

.github/workflows/jane_ocaml5.yml

@@ -0,0 +1,82 @@
+name: jane_ocaml5
+on: [push, pull_request]
+jobs:
+  jane_ocaml5:
+    name: Check that resolved files build
+    runs-on: ubuntu-latest
+    steps:
+      - name: Cache OCaml 4.14, dune, and menhir
+        uses: actions/cache@v2
+        id: cache
+        with:
+          path: ${{ github.workspace }}/ocaml-414/_install
+          key: ocaml-414-dune-361-menhir-20210419--v1
+
+      - name: Checkout OCaml 4.14
+        uses: actions/checkout@master
+        if: steps.cache.outputs.cache-hit != 'true'
+        with:
+          repository: 'ocaml/ocaml'
+          path: 'ocaml-414'
+          ref: '4.14'
+
+      - name: Build OCaml 4.14
+        if: steps.cache.outputs.cache-hit != 'true'
+        working-directory: ocaml-414
+        run: |
+          ./configure --prefix=$GITHUB_WORKSPACE/ocaml-414/_install
+          make -j $J world.opt
+          make install
+          # Remove unneeded parts to shrink cache file
+          rm -rf $GITHUB_WORKSPACE/ocaml-414/_install/{lib/ocaml/expunge,bin/*.byte}
+
+      - name: Checkout dune github repo
+        uses: actions/checkout@master
+        if: steps.cache.outputs.cache-hit != 'true'
+        with:
+          repository: 'ocaml/dune'
+          ref: '3.6.1'
+          path: 'dune'
+
+      - name: Build dune
+        working-directory: dune
+        if: steps.cache.outputs.cache-hit != 'true'
+        run: |
+          PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH make release
+          cp _boot/dune.exe $GITHUB_WORKSPACE/ocaml-414/_install/bin/dune
+
+      - name: Checkout menhir github repo
+        uses: actions/checkout@master
+        if: steps.cache.outputs.cache-hit != 'true'
+        with:
+          repository: 'LexiFi/menhir'
+          ref: '20210419'
+          path: 'menhir'
+
+      - name: Build menhir
+        working-directory: menhir
+        if: steps.cache.outputs.cache-hit != 'true'
+        run: |
+          PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH dune build
+          cp _build/install/default/bin/menhir $GITHUB_WORKSPACE/ocaml-414/_install/bin/menhir
+          # Our dune rule uses `menhirLib.mli`, which we can't simply `cp`
+          # because it's a symbolic link to a relative path.
+          export TARGET_FILE=$GITHUB_WORKSPACE/ocaml-414/_install/lib/menhirLib/menhirLib.mli
+          mkdir -p $(dirname $TARGET_FILE)
+          cat _build/install/default/lib/menhirLib/menhirLib.mli > $TARGET_FILE
+
+      - name: Checkout the ocaml-jst repo
+        uses: actions/checkout@master
+        with:
+          path: 'ocaml-jst'
+
+      - name: Configure
+        working-directory: ocaml-jst
+        run: |
+          ./configure --prefix=$GITHUB_WORKSPACE/ocaml-5/_install --with-dune=$GITHUB_WORKSPACE/ocaml-414/_install/bin/dune
+
+      - name: Check that resolved files build
+        working-directory: ocaml-jst
+        run: |
+          export PATH=$GITHUB_WORKSPACE/ocaml-414/_install/bin:$PATH
+          jane/build-resolved-files-for-ci

jane/build-resolved-files-for-ci

@@ -0,0 +1,52 @@
+#!/bin/bash
+
+set -euo pipefail
+
+make -f Makefile.jst _build/_bootinstall
+
+echo "==========="
+echo "Testing mlis"
+echo "==========="
+
+# ocamlcommon mlis
+mlis=$(
+  { echo parsing/parser.mli
+    echo {utils,typing,parsing,lambda}/*.mli
+  } |
+    tr ' ' '\n'
+)
+echo "$mlis"
+dune_targets=$(
+  for mli in $mlis; do
+    cmi=$(basename ${mli%.mli})
+    echo _build/default/.ocamlcommon.objs/byte/$cmi.cmi
+  done
+)
+echo "Dune targets:"
+echo "$dune_targets"
+dune b --workspace=duneconf/boot.ws $dune_targets
+
+echo "==========="
+echo "Testing mls"
+echo "==========="
+
+# ocamlcommon mls
+mls=$(
+  { echo parsing/parser.ml
+    echo {utils,parsing}/*.ml
+  } |
+    tr ' ' '\n' |
+    grep -v "utils/config.common.ml" |
+    grep -v "utils/config.fixed.ml" |
+    grep -v "utils/config.generated.ml"
+)
+echo "$mls"
+dune_targets=$(
+  for ml in $mls; do
+    cmx=$(basename ${ml%.ml})
+    echo _build/default/.ocamlcommon.objs/native/$cmx.cmx
+  done
+)
+echo "Dune targets:"
+echo "$dune_targets"
+dune b --workspace=duneconf/boot.ws $dune_targets