this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Erik Martin-Dorel"
3authors: "Rocq"
4license: "LGPL-2.1-only"
5homepage: "https://coq.inria.fr/"
6bug-reports: "https://github.com/coq/coq/issues"
7conflicts: [
8 "base-nnp"
9 "ocaml-option-nnpchecker"
10]
11synopsis: "Package flag enabling rocq's native-compiler flag"
12description: """
13This package acts as a package flag for the ambient switch, taken into
14account by rocq (and possibly any rocq library) to enable native_compute
15at configure time, triggering the installation of .coq-native/* files
16for the rocq libraries.
17
18This implements item 1 of CEP #48 <https://github.com/coq/ceps/pull/48>.
19
20Remarks:
21
221. you might face with issues installing this package flag under macOS,
23 see <https://github.com/coq/coq/issues/11178>.
242. this package is not intended to be used as a dependency of other
25 packages (notably as installing or uninstalling this package may
26 trigger a rebuild of all rocq packages in the ambient switch).
273. the option set by this package will be automatically propagated to
28 rocq compile."""