(library
(name clib)
(synopsis "Coq's Utility Library [general purpose]")
(public_name rocq-runtime.clib)
(wrapped false)
(modules_without_implementation cSig)
(modules :standard \ unicodetable_gen)
(libraries
(select memprof_coq.ml from
(!memprof-limits -> memprof_coq.std.ml)
(memprof-limits -> memprof_coq.memprof.ml))
str unix threads))
(deprecated_library_name
(old_public_name coq-core.clib)
(new_public_name rocq-runtime.clib))
(executable
(name unicodetable_gen)
(modules unicodetable_gen))
(rule
(targets unicodetable.ml)
(deps (:gen ./unicodetable_gen.exe))
(action (run %{gen} %{targets})))
(rule
(target mutex_aux.ml)
(action (copy mutex_aux_4.x.ml %{target}))
(enabled_if (< %{ocaml_version} 5.0)))
(rule
(target mutex_aux.ml)
(action (copy mutex_aux_5.0.ml %{target}))
(enabled_if (and (>= %{ocaml_version} 5.0) (< %{ocaml_version} 5.1))))
(rule
(target mutex_aux.ml)
(action (copy mutex_aux_5.x.ml %{target}))
(enabled_if (>= %{ocaml_version} 5.1)))
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
