(env (dev (flags (:standard -warn-error -A)))) (include_subdirs unqualified) ; use of the "sites" features of dune (generate_sites_module (module sites) (plugins (lustrec plugins) (lustrec verifiers))) ; a common library for various executables and plugins (library (name lustrec_common) (package lustrec) (wrapped false) (modules utils location env dimension real options types clocks delay lustre_types spec_types scheduling_type machine_code_types type_predef annotations corelang clock_predef error global basic_library sites sites_paths backends options_management arrow log stateless typing machine_code_common printers version ocaml_utils lustrec_mpfr machine_types c_backend_common automata parser_lustre parser_lustre_table parser_lustre_messages parse lexerLustreSpec lexer_lustre clock_calculus compiler_common splitting normalization) (modules_without_implementation machine_code_types scheduling_type) (libraries ocamlgraph menhirLib zarith dune-site dune-site.plugins str unix)) ; a library for plugin registration (library (name plugin_register) (package lustrec) (wrapped false) (modules pluginList pluginType) (libraries lustrec_common)) ; a library for verifier registration (library (name verifier_register) (package lustrec) (wrapped false) (modules verifierList verifierType) (libraries lustrec_common)) ; executables (executables (package lustrec) (names main_lustre_compiler main_lustre_verifier main_lustre_testgen main_lustre_importer sf_sem) (public_names lustrec lustrev lustret lustrei lustresf) (modules (:standard \ pluginType pluginList verifierType verifierList lustre_types utils location dimension env real types options clocks delay machine_code_types spec_types scheduling_type corelang machine_code_common printers type_predef basic_library c_backend_common version clock_predef annotations arrow compiler_common options_management ocaml_utils error stateless lustrec_mpfr global log typing machine_types parse normalization splitting parser_lustre parser_lustre_table automata parser_lustre_messages lexer_lustre lexerLustreSpec clock_calculus sites_paths sites backends)) (libraries plugin_register verifier_register lustrec.scopes yojson ppx_deriving_yojson.runtime) (preprocess (pps ppx_deriving_yojson))) ; (library ; (name tools_lib) ; (package lustrec) ; (wrapped false) ; (modules basetypes datatype activeStates) ; (libraries lustrec_lib)) ; (executable ; (name main_parse_json_file) ; (public_name json-parser) ; (modules main_parse_json_file json_parser) ; (libraries tools_lib cmdliner)) ; (executable ; (name test_json_parser_variables) ; (modules test_json_parser_variables json_parser) ; (libraries tools_lib))