Emancipate dune build from configure

Author: shindere

.github/workflows/check-generated-files.yml

@@ -0,0 +1,56 @@
+name: check-generated-files
+on:
+  push:
+    branches:
+      - 'main'
+  pull_request:
+    types: [opened, synchronize, reopened, labeled, unlabeled]
+
+jobs:
+  build-ubuntu:
+    strategy:
+      fail-fast: false
+      matrix:
+        ocaml-compiler:
+          - 4.11.x
+          - 4.12.x
+          - 4.13.x
+          - 4.14.x
+          - 5.0.x
+          - 5.1.x
+          - 5.2.x
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Setup OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+      - name: Check generated files
+        run: |
+          opam exec -- sh -xc ".github/scripts/check-generated-files.sh"
+
+  build-macos-and-windows:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - macos-latest
+          - windows-latest
+        ocaml-compiler:
+          - 4.14.x
+          - 5.0.x
+          - 5.1.x
+          - 5.2.x
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Setup OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+      - name: Verify generated files
+        run: |
+          opam exec -- sh -xc ".github/scripts/check-generated-files.sh"

.github/workflows/ci.yml .github/workflows/main.yml.github/workflows/ci.yml renamed to .github/workflows/main.yml

@@ -1,4 +1,4 @@
-name: ci
+name: main
 on:
   push:
     branches:

.gitignore

@@ -32,3 +32,6 @@ _build/
 /stdcompat__stubs.c
 /stdcompat__domain.mli.in
 /stdcompat_tests
+/tools/stdcompatpp.ml
+/tools/stdcompatpp
+/tools/stdcompatpp.opt

_generated-files

@@ -0,0 +1,200 @@
+stdcompat__hashtbl_ext.mli
+stdcompat__hashtbl_ext.ml
+stdcompat__init.mli
+stdcompat__init.ml
+stdcompat__root.mli
+stdcompat__root.ml
+stdcompat__tools.mli
+stdcompat__tools.ml
+stdcompat_tests.ml
+stdcompat__stubs.c
+stdcompat__pervasives_s.mli
+stdcompat__arg_s.mli
+stdcompat__array_s.mli
+stdcompat__arrayLabels_s.mli
+stdcompat__atomic_s.mli
+stdcompat__bool_s.mli
+stdcompat__buffer_s.mli
+stdcompat__bytes_s.mli
+stdcompat__bytesLabels_s.mli
+stdcompat__char_s.mli
+stdcompat__digest_s.mli
+stdcompat__domain_s.mli
+stdcompat__either_s.mli
+stdcompat__ephemeron_s.mli
+stdcompat__filename_s.mli
+stdcompat__float_s.mli
+stdcompat__format_s.mli
+stdcompat__fun_s.mli
+stdcompat__hashtbl_s.mli
+stdcompat__in_channel_s.mli
+stdcompat__int_s.mli
+stdcompat__int32_s.mli
+stdcompat__int64_s.mli
+stdcompat__lazy_s.mli
+stdcompat__lexing_s.mli
+stdcompat__list_s.mli
+stdcompat__listLabels_s.mli
+stdcompat__map_s.mli
+stdcompat__moreLabels_s.mli
+stdcompat__nativeint_s.mli
+stdcompat__option_s.mli
+stdcompat__out_channel_s.mli
+stdcompat__printexc_s.mli
+stdcompat__printf_s.mli
+stdcompat__queue_s.mli
+stdcompat__random_s.mli
+stdcompat__result_s.mli
+stdcompat__seq_s.mli
+stdcompat__set_s.mli
+stdcompat__stack_s.mli
+stdcompat__string_s.mli
+stdcompat__stringLabels_s.mli
+stdcompat__sys_s.mli
+stdcompat__uchar_s.mli
+stdcompat__weak_s.mli
+stdcompat__unit_s.mli
+stdcompat__stdlib_s.mli
+stdcompat__pervasives_s.ml
+stdcompat__arg_s.ml
+stdcompat__array_s.ml
+stdcompat__arrayLabels_s.ml
+stdcompat__atomic_s.ml
+stdcompat__bool_s.ml
+stdcompat__buffer_s.ml
+stdcompat__bytes_s.ml
+stdcompat__bytesLabels_s.ml
+stdcompat__char_s.ml
+stdcompat__digest_s.ml
+stdcompat__domain_s.ml
+stdcompat__either_s.ml
+stdcompat__ephemeron_s.ml
+stdcompat__filename_s.ml
+stdcompat__float_s.ml
+stdcompat__format_s.ml
+stdcompat__fun_s.ml
+stdcompat__hashtbl_s.ml
+stdcompat__int_s.ml
+stdcompat__int32_s.ml
+stdcompat__int64_s.ml
+stdcompat__lazy_s.ml
+stdcompat__lexing_s.ml
+stdcompat__list_s.ml
+stdcompat__listLabels_s.ml
+stdcompat__map_s.ml
+stdcompat__moreLabels_s.ml
+stdcompat__nativeint_s.ml
+stdcompat__option_s.ml
+stdcompat__printexc_s.ml
+stdcompat__printf_s.ml
+stdcompat__queue_s.ml
+stdcompat__random_s.ml
+stdcompat__result_s.ml
+stdcompat__seq_s.ml
+stdcompat__set_s.ml
+stdcompat__stack_s.ml
+stdcompat__stdlib_s.ml
+stdcompat__string_s.ml
+stdcompat__stringLabels_s.ml
+stdcompat__sys_s.ml
+stdcompat__uchar_s.ml
+stdcompat__weak_s.ml
+stdcompat__in_channel_s.ml
+stdcompat__out_channel_s.ml
+stdcompat__unit_s.ml
+stdcompat__pervasives.ml
+stdcompat__arg.ml
+stdcompat__array.ml
+stdcompat__arrayLabels.ml
+stdcompat__atomic.ml
+stdcompat__bool.ml
+stdcompat__buffer.ml
+stdcompat__bytes.ml
+stdcompat__bytesLabels.ml
+stdcompat__char.ml
+stdcompat__digest.ml
+stdcompat__domain.ml
+stdcompat__either.ml
+stdcompat__ephemeron.ml
+stdcompat__filename.ml
+stdcompat__float.ml
+stdcompat__format.ml
+stdcompat__fun.ml
+stdcompat__hashtbl.ml
+stdcompat__int.ml
+stdcompat__int32.ml
+stdcompat__int64.ml
+stdcompat__lazy.ml
+stdcompat__lexing.ml
+stdcompat__list.ml
+stdcompat__listLabels.ml
+stdcompat__map.ml
+stdcompat__moreLabels.ml
+stdcompat__nativeint.ml
+stdcompat__option.ml
+stdcompat__printexc.ml
+stdcompat__printf.ml
+stdcompat__queue.ml
+stdcompat__random.ml
+stdcompat__result.ml
+stdcompat__seq.ml
+stdcompat__set.ml
+stdcompat__stack.ml
+stdcompat__stdlib.ml
+stdcompat__string.ml
+stdcompat__stringLabels.ml
+stdcompat__sys.ml
+stdcompat__uchar.ml
+stdcompat__weak.ml
+stdcompat__in_channel.ml
+stdcompat__out_channel.ml
+stdcompat__unit.ml
+stdcompat__pervasives.mli
+stdcompat__arg.mli
+stdcompat__array.mli
+stdcompat__arrayLabels.mli
+stdcompat__atomic.mli
+stdcompat__bool.mli
+stdcompat__buffer.mli
+stdcompat__bytes.mli
+stdcompat__bytesLabels.mli
+stdcompat__char.mli
+stdcompat__digest.mli
+stdcompat__domain.mli
+stdcompat__either.mli
+stdcompat__ephemeron.mli
+stdcompat__filename.mli
+stdcompat__float.mli
+stdcompat__format.mli
+stdcompat__fun.mli
+stdcompat__hashtbl.mli
+stdcompat__int.mli
+stdcompat__int32.mli
+stdcompat__int64.mli
+stdcompat__lazy.mli
+stdcompat__lexing.mli
+stdcompat__list.mli
+stdcompat__listLabels.mli
+stdcompat__map.mli
+stdcompat__moreLabels.mli
+stdcompat__nativeint.mli
+stdcompat__option.mli
+stdcompat__printexc.mli
+stdcompat__printf.mli
+stdcompat__queue.mli
+stdcompat__random.mli
+stdcompat__result.mli
+stdcompat__seq.mli
+stdcompat__set.mli
+stdcompat__stack.mli
+stdcompat__stdlib.mli
+stdcompat__string.mli
+stdcompat__stringLabels.mli
+stdcompat__sys.mli
+stdcompat__uchar.mli
+stdcompat__weak.mli
+stdcompat__in_channel.mli
+stdcompat__out_channel.mli
+stdcompat__unit.mli
+stdcompat.mli
+stdcompat.ml

autogen

@@ -2,3 +2,4 @@
 aclocal
 automake --add-missing
 autoconf
+./tools/generate-dune-rules