ocaml · panglesd · Oct 4, 2024 · Oct 3, 2024 · Oct 17, 2024 · Oct 17, 2024
diff --git a/.github/workflows/driver.yml b/.github/workflows/driver.yml
@@ -0,0 +1,39 @@
+name: "Driver"
+
+on:
+  - pull_request
+
+jobs:
+  build: # Check build on various OSes
+
+    strategy:
+      matrix:
+        os:
+          - ubuntu-latest
+        ocaml-compiler:
+          - 5.2.x
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      # Clone the project
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+
+      # Setup
+      - name: Setup OCaml ${{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          opam-local-packages: odoc-parser.opam odoc.opam odoc-driver.opam sherlodoc/sherlodoc.opam
+
+      - name: Install dependencies
+        run: |
+          opam install -y --deps-only -t ./odoc-parser.opam ./odoc.opam ./odoc-driver.opam sherlodoc/sherlodoc.opam
+          opam install -y base # Input to the driver
+
+      - name: Run the driver
+        run: |
+          opam exec -- dune exec -- odoc_driver -p base
+          echo "Generated $(find _html -name '*.html' | wc -l) pages"
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,4 @@
+[submodule "sherlodoc"]
+	path = sherlodoc
+	url = https://github.com/Julow/sherlodoc
+	branch = odoc3_compat
diff --git a/doc/deps.mld b/doc/deps.mld
diff --git a/doc/driver.mld b/doc/driver.mld
diff --git a/doc/library_mlds/base.mld b/doc/library_mlds/base.mld
diff --git a/doc/library_mlds/base_quickcheck.mld b/doc/library_mlds/base_quickcheck.mld
diff --git a/doc/library_mlds/bin_prot.mld b/doc/library_mlds/bin_prot.mld
diff --git a/doc/library_mlds/biniou.mld b/doc/library_mlds/biniou.mld
diff --git a/doc/library_mlds/cmdliner.mld b/doc/library_mlds/cmdliner.mld
diff --git a/doc/library_mlds/core.mld b/doc/library_mlds/core.mld
diff --git a/doc/library_mlds/dune b/doc/library_mlds/dune
diff --git a/doc/library_mlds/fmt.mld b/doc/library_mlds/fmt.mld
diff --git a/doc/library_mlds/fpath.mld b/doc/library_mlds/fpath.mld
diff --git a/doc/library_mlds/ocamlary.mld b/doc/library_mlds/ocamlary.mld
diff --git a/doc/library_mlds/odoc-parser.mld b/doc/library_mlds/odoc-parser.mld
diff --git a/doc/library_mlds/odoc_document.mld b/doc/library_mlds/odoc_document.mld
diff --git a/doc/library_mlds/odoc_examples.mld b/doc/library_mlds/odoc_examples.mld
diff --git a/doc/library_mlds/odoc_html.mld b/doc/library_mlds/odoc_html.mld
diff --git a/doc/library_mlds/odoc_html_frontend.mld b/doc/library_mlds/odoc_html_frontend.mld
diff --git a/doc/library_mlds/odoc_html_support_files.mld b/doc/library_mlds/odoc_html_support_files.mld
diff --git a/doc/library_mlds/odoc_json_index.mld b/doc/library_mlds/odoc_json_index.mld
diff --git a/doc/library_mlds/odoc_latex.mld b/doc/library_mlds/odoc_latex.mld
diff --git a/doc/library_mlds/odoc_loader.mld b/doc/library_mlds/odoc_loader.mld
diff --git a/doc/library_mlds/odoc_manpage.mld b/doc/library_mlds/odoc_manpage.mld
diff --git a/doc/library_mlds/odoc_model.mld b/doc/library_mlds/odoc_model.mld
diff --git a/doc/library_mlds/odoc_model_desc.mld b/doc/library_mlds/odoc_model_desc.mld
diff --git a/doc/library_mlds/odoc_odoc.mld b/doc/library_mlds/odoc_odoc.mld
diff --git a/doc/library_mlds/odoc_parser.mld b/doc/library_mlds/odoc_parser.mld
diff --git a/doc/library_mlds/odoc_search.mld b/doc/library_mlds/odoc_search.mld
diff --git a/doc/library_mlds/odoc_xref2.mld b/doc/library_mlds/odoc_xref2.mld
diff --git a/doc/library_mlds/odoc_xref_test.mld b/doc/library_mlds/odoc_xref_test.mld
diff --git a/doc/library_mlds/ppx_hash.mld b/doc/library_mlds/ppx_hash.mld
diff --git a/doc/library_mlds/ppx_sexp_conv.mld b/doc/library_mlds/ppx_sexp_conv.mld
diff --git a/doc/library_mlds/print.mld b/doc/library_mlds/print.mld
diff --git a/doc/library_mlds/result.mld b/doc/library_mlds/result.mld
diff --git a/doc/library_mlds/sexplib.mld b/doc/library_mlds/sexplib.mld
diff --git a/doc/library_mlds/sexplib0.mld b/doc/library_mlds/sexplib0.mld