Quelle dune
Sprache: unbekannt
|
|
(library
(name coqperf)
(synopsis "Instruction count using Linux perf.")
(public_name rocq-runtime.perf)
(wrapped false)
(foreign_stubs (language c) (names perf))
; Just "linux" is not enough, see https://github.com/ocaml/dune/issues/4895.
(enabled_if
(or
(= %{system} "linux")
(= %{system} "linux_eabi")
(= %{system} "linux_eabihf")
(= %{system} "linux_elf")
(= %{system} "elf"))))
(deprecated_library_name
(old_public_name coq-core.perf)
(new_public_name rocq-runtime.perf))
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
