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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
(library
(name quickchick_plugin)
(public_name coq-quickchick.plugin)
(flags :standard -rectypes -warn-error -3 -w -8-27+40)
(modules :standard \ genSTCorrect genSizedSTMonotonic genSizedSTSizeMonotonic)
(libraries unix str
(select void_for_linking-plugin-extraction from
(coq-core.plugins.extraction -> void_for_linking-plugin-extraction.empty)
(coq.plugins.extraction -> void_for_linking-plugin-extraction.empty))
(select void_for_linking-plugin-ltac from
(coq-core.plugins.ltac -> void_for_linking-plugin-ltac.empty)
(coq.plugins.ltac -> void_for_linking-plugin-ltac.empty))
))
(rule
(targets driver.ml)
(deps (:pp-file driver.mlg))
(action (run coqpp %{pp-file})))
(rule
(targets quickChick.ml)
(deps (:pp-file quickChick.mlg))
(action (run coqpp %{pp-file})))
(rule
(targets tactic_quickchick.ml)
(deps (:pp-file tactic_quickchick.mlg))
(action (run coqpp %{pp-file})))
(rule
(targets weightmap.ml)
(deps (:pp-file weightmap.mlg))
(action (run coqpp %{pp-file})))
(rule (action (write-file void_for_linking-plugin-extraction.empty "")))
(rule (action (write-file void_for_linking-plugin-ltac.empty "")))
(rule
(alias compat)
(target depDriver.ml)
(action (run sh %{dep:../scripts/mycppo} %{dep:depDriver.ml.cppo} %{target})))
(rule
(alias compat)
(target genericLib.ml)
(action (run sh %{dep:../scripts/mycppo} %{dep:genericLib.ml.cppo} %{target})))
(rule
(alias compat)
(target mergeTypes.ml)
(action (run sh %{dep:../scripts/mycppo} %{dep:mergeTypes.ml.cppo} %{target})))
(rule
(alias compat)
(target quickChick.mlg)
(action (run sh %{dep:../scripts/mycppo} %{dep:quickChick.mlg.cppo} %{target})))
(rule
(alias compat)
(target tactic_quickchick.mlg)
(action (run sh %{dep:../scripts/mycppo} %{dep:tactic_quickchick.mlg.cppo} %{target})))
(rule
(alias compat)
(target unifyQC.ml)
(action (run sh %{dep:../scripts/mycppo} %{dep:unifyQC.ml.cppo} %{target})))
(rule
(alias compat)
(target unifyQC.mli)
(action (run sh %{dep:../scripts/mycppo} %{dep:unifyQC.mli.cppo} %{target})))
(rule
(alias compat)
(target weightmap.mlg)
(action (run sh %{dep:../scripts/mycppo} %{dep:weightmap.mlg.cppo} %{target})))
|
