test-suite/misc/universes/dune


1
2
3
4
5
6
7
8
9

(rule
 (targets all_stdlib.v)
 (deps
   build_all_stdlib.sh
   (source_tree ../../../theories)
   (source_tree ../../../plugins))
 (action
   (with-stdout-to all_stdlib.v
    (bash "./build_all_stdlib.sh"))))