package coq-native
Not available on OCaml 5.5Install
dune-project
Dependency
Authors
Maintainers
Description
This package acts as a package flag for the ambient switch, taken into account by coq (and possibly any coq library) to enable native_compute at configure time, triggering the installation of .coq-native/* files for the coq standard library and subsequent coq libraries.
This implements item 1 of CEP #48 https://github.com/coq/ceps/pull/48.
Remarks:
- you might face with issues installing this package flag under macOS, see https://github.com/coq/coq/issues/11178.
- 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 coq packages in the ambient switch).
- the option set by this package will be automatically propagated to coqc for coq >= 8.13 (but the packaging of coq libraries for earlier versions of coq may need an update: for details, see item 3 of CEP #48 https://github.com/coq/ceps/pull/48).
Added to opam-repository:
Dependencies (1)
Dev Dependencies
None
Optional Dependencies
None
Used by
None
Conflicts (3)
- ocaml-option-nnpchecker
- base-nnp
-
coq
< "8.5"
Build status
Results of building coq-native with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.
Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.
- good Package successfully built
- partial One of the dependencies failed to build
- bad Package failed to build
- n/a Package is not available in this environment
- internal Internal failure