| AArch64 | |
| ppc64le | |
| s390x | |
| x86-64 |
- Include the version of the package in the ocamlfind provide entries
- Package also *.vo and *.glob, for Coq
- Increase stack size limit for riscv64 like for ppc64(le).
- Allow variables in smp_mflags to be interpolated for https://github.com/rpm-software-management/rpm/issues/2343
- Remove stale references to ocaml_make_testsuite
- Handle plain ^ and + as values for directory= in findlib META files They stand for the OCaml standard library directory.
- remove unused ocaml_dune_bootstrap_directory - move all invocations of dune from ocaml_dune_setup to ocaml_dune_build - process content of ocaml_standard_library only if it exists in buildroot
- remove usage of external-lib-deps for dune3 - define ocaml_dune_bootstrap_directory for dune3 - remove braces from rpm macros
- Move cmxs files into the main package Applications like Coq may load them at runtime. - Ignore dependencies for cmxs files - Restore dummy ocaml_native_compiler to allow quilt setup with old packages
- Rename a single opam file to $dune_release_pkgs.opam