File: dune

package info (click to toggle)
coq-quickchick 2.1.1-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,432 kB
  • sloc: ml: 4,367; ansic: 789; makefile: 388; sh: 27; python: 4; lisp: 2; perl: 2
file content (25 lines) | stat: -rw-r--r-- 528 bytes parent folder | download | duplicates (4) 
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
 
(coq.theory
  (name QuickChick.Examples.Other)
  (theories QuickChick)
  (modules
    BSTTest
    DependentTest
    ; dependentProofs  ; broken
    enumProofs
    ; enumSTProofs  ; broken
    ; Fuzz  ; broken
    ; genProofs  ; broken
    MergeExample
    PluginTest
    ProofGen
    ; Reflection  ; slow
    TacticExampleX
    tagging
    ; zoo  ; broken
    ))

(rule
  (alias compat)
  (target TacticExampleX.v)
  (action (run sh %{dep:../../scripts/mycppo} %{dep:TacticExampleX.v.cppo} %{target}))
  (deps TacticExample.v))