Add rocq-native

core-dev/packages/rocq-native/rocq-native.dev/opam

@@ -0,0 +1,28 @@
+opam-version: "2.0"
+version: "1"
+synopsis: "Package flag enabling rocq's native-compiler flag"
+description: """\
+This package acts as a package flag for the ambient switch, taken into
+account by rocq (and possibly any rocq library) to enable native_compute
+at configure time, triggering the installation of .coq-native/* files
+for the rocq libraries.
+
+This implements item 1 of CEP #48 <https://github.com/coq/ceps/pull/48>.
+
+Remarks:
+
+1. you might face with issues installing this package flag under macOS,
+   see <https://github.com/coq/coq/issues/11178>.
+2. this package is not intended to be used as a dependency of other
+   packages (notably as installing or uninstalling this package may
+   trigger a rebuild of all rocq packages in the ambient switch).
+3. the option set by this package will be automatically propagated to
+   rocq compile."""
+maintainer: "Erik Martin-Dorel"
+authors: "Rocq"
+homepage: "https://coq.inria.fr/"
+bug-reports: "https://github.com/coq/coq/issues"
+conflicts: [
+  "base-nnp"
+  "ocaml-option-nnpchecker"
+]