Skip to content
Snippets Groups Projects
dune 392 B
Newer Older
(library
  (name Lv6Run)
  (public_name lustre-v6)
  (libraries extlib num rdbg yaml)
  (wrapped false)

;  (modules 
;  )
  (synopsis "An API to call the Lustre v6 interpreter from rdbg (and ocaml as a side effect).")
)
(ocamllex lv6lexer)
(ocamlyacc lv6parser)

(rule
 (targets lv6version.ml)
 (deps generate-version.sh)
 (action (run ./generate-version.sh)))