From ee4606e7ac167609f973743b41f316071f1a9dfe Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 2 Jan 2025 10:58:30 +0100 Subject: [PATCH] Add rocq-native --- .../packages/rocq-native/rocq-native.dev/opam | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 core-dev/packages/rocq-native/rocq-native.dev/opam diff --git a/core-dev/packages/rocq-native/rocq-native.dev/opam b/core-dev/packages/rocq-native/rocq-native.dev/opam new file mode 100644 index 000000000..40f0a850d --- /dev/null +++ b/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 . + +Remarks: + +1. you might face with issues installing this package flag under macOS, + see . +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" +]