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