tools/configure · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /tools /configure

8 files

Guillaume Melquiond · Add support for native_compute on ARM64 processors. · 1mo ago

Handle eol-in-string warnings

configure: remove noop "mandir" option

version is 9.4+alpha

Update the OCaml headers to reflect the fact Coq is now Rocq.

Finer check for native compilation on supported architectures.

rocq_configure.c

Add support for native_compute on ARM64 processors.

Rename coqide -> rocqide

Update the OCaml headers to reflect the fact Coq is now Rocq.