File: dune

package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2
file content (36 lines) | stat: -rw-r--r-- 904 bytes parent folder | download | duplicates (2)
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
(library
 (name clib)
 (synopsis "Coq's Utility Library [general purpose]")
 (public_name coq-core.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))

(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)))