Add rocq-native

In preparation of the future release of Rocq 9.0
(renaming of Coq).

packages/coq-native/coq-native.1/opam

@@ -3,6 +3,9 @@ maintainer: "Erik Martin-Dorel"
 authors: "Coq"
 homepage: "https://coq.inria.fr/"
 bug-reports: "https://github.com/coq/coq/issues"
+depends: [
+  "rocq-native"
+]
 conflicts: [
   "coq" {< "8.5"}
   "base-nnp"

packages/rocq-native/rocq-native.1/opam

@@ -0,0 +1,27 @@
+opam-version: "2.0"
+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"
+]
+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."""