1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
(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)))
|
