this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Erik Martin-Dorel"
3authors: "Coq"
4license: "LGPL-2.1-only"
5homepage: "https://coq.inria.fr/"
6bug-reports: "https://github.com/coq/coq/issues"
7depends: [
8 "rocq-native"
9]
10conflicts: [
11 "coq" {< "8.5"}
12 "base-nnp"
13 "ocaml-option-nnpchecker"
14]
15synopsis: "Package flag enabling coq's native-compiler flag"
16description: """
17This package acts as a package flag for the ambient switch, taken into
18account by coq (and possibly any coq library) to enable native_compute
19at configure time, triggering the installation of .coq-native/* files
20for the coq standard library and subsequent coq libraries.
21
22This implements item 1 of CEP #48 <https://github.com/coq/ceps/pull/48>.
23
24Remarks:
25
261. you might face with issues installing this package flag under macOS,
27 see <https://github.com/coq/coq/issues/11178>.
282. this package is not intended to be used as a dependency of other
29 packages (notably as installing or uninstalling this package may
30 trigger a rebuild of all coq packages in the ambient switch).
313. the option set by this package will be automatically propagated to
32 coqc for coq >= 8.13 (but the packaging of coq libraries for
33 earlier versions of coq may need an update: for details, see item 3
34 of CEP #48 <https://github.com/coq/ceps/pull/48>).
35"""