CristalCaveGem » LustreC

(env

 (dev

  (flags (:standard -warn-error -A))))

(include_subdirs unqualified)

(library

 (name lustrec_interface)

 (package lustrec)

 (modules

   lustre_types

   utils

   lustre_utils

   location

   dimension

   env

   real

   types

   options

   version

   clocks

   delay

   machine_code_types

   scheduling_type

   log

   printers

   corelang

   basic_library

   type_predef

   clock_predef

   delay_predef

   error

   global

   annotations

   machine_code_common

   arrow

   options_management

   stateless

   c_backend_common

   typing

   ocaml_utils

   backends

   lustrec_mpfr

   normalization

   machine_types

   splitting

   compiler_common

   parse parser_lustre parser_lustre_table parser_lustre_messages

   lexer_lustre lexerLustreSpec

   automata

   clock_calculus

 )

 (wrapped false)

 (libraries sites ocamlgraph zarith unix str menhirLib))

(library

 (name plugin_register)

 (package lustrec)

 (wrapped false)

 (modules pluginList pluginType)

 (libraries lustrec_interface))

(generate_sites_module

 (module sites)

 ; (sites lustrec)

 (plugins

  (lustrec plugins)

  (lustrec verifiers)))

(library

 (name sites)

 (package lustrec)

 (modules sites)

 (libraries dune-site dune-site.plugins))

(library

 (name lustrec_lib)

 (package lustrec)

 (modules

   lusic

   c_backend_header c_backend_spec c_backend_makefile

   c_backend_mauve c_backend_src

   ada_backend ada_printer ada_backend_common ada_backend_ads ada_backend_adb

   ada_backend_wrapper

   horn_backend horn_backend_common horn_backend_printers

   Horn_backend_collecting_sem horn_backend_traces

   EMF_backend EMF_common EMF_library_calls

   misc_lustre_function misc_printer

   machine_code

   causality

   scheduling

   liveness

   compiler_stages

   modules

   sortProg

   inliner

   access

   algebraicLoop

   optimize_prog

   optimize_machine

   spec

   c_backend c_backend_main

   plugins

 )

 (wrapped false)

 (libraries sites lustrec_interface plugin_register))

(executable

 (name main_lustre_compiler)

 (public_name lustrec)

 (modules main_lustre_compiler)

 (package lustrec)

 (libraries lustrec_lib lustrec.scopes))

(executable

 (name main_lustre_testgen)

 (public_name lustret)

 (modules main_lustre_testgen mutation mmap pathConditions)

 (libraries lustrec_lib))

(library

 (name verifier_register)

 (package lustrec)

 (wrapped false)

 (modules verifierList verifierType)

 (libraries lustrec_interface))

(executable

 (name main_lustre_verifier)

 (public_name lustrev)

 (modules main_lustre_verifier verifiers)

 (libraries lustrec_lib verifier_register lustrec.scopes))

(executable

 (name main_lustre_importer)

 (public_name lustrei)

 (modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib)

 (libraries 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 sf_sem)

 (public_name lustresf)

 (modules

   sf_sem

   model_simple

   model_stopwatch

   CPS_ccode_generator

   CPS_transformer

   CPS_interpreter

   CPS_lustre_generator

   CPS

   theta

   memo)

 (libraries tools_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))