| 1 |
9c4cc944
|
Corentin Lauverjat
|
; @configure_input@
|
| 2 |
|
|
|
| 3 |
|
|
(env
|
| 4 |
|
|
(dev
|
| 5 |
|
|
(flags
|
| 6 |
|
|
(:standard -warn-error -A))))
|
| 7 |
|
|
|
| 8 |
|
|
(include_subdirs unqualified)
|
| 9 |
|
|
|
| 10 |
|
|
(executables
|
| 11 |
|
|
(package lustrec)
|
| 12 |
|
|
(modes
|
| 13 |
|
|
(best exe))
|
| 14 |
|
|
(public_names lustrec lustret lustrev)
|
| 15 |
|
|
(names main_lustre_compiler main_lustre_testgen main_lustre_verifier)
|
| 16 |
|
|
(libraries
|
| 17 |
|
|
lustrec
|
| 18 |
|
|
dune-build-info
|
| 19 |
|
|
scopes
|
| 20 |
|
|
@TINY_PLUGIN_NAME@
|
| 21 |
|
|
@ZUSTRE_PLUGIN_NAME@
|
| 22 |
|
|
@SEAL_PLUGIN_NAME@
|
| 23 |
|
|
@SALSA_PLUGIN_NAME@)
|
| 24 |
|
|
|
| 25 |
|
|
(modules :standard \
|
| 26 |
|
|
; it disables the following modules
|
| 27 |
|
|
CPS_evaluator
|
| 28 |
|
|
expand
|
| 29 |
|
|
main_parse_json_file
|
| 30 |
|
|
vhdl_json_lib
|
| 31 |
|
|
json_parser;becauseof"Unbound module LustreSpec"
|
| 32 |
|
|
main_lustre_importer
|
| 33 |
|
|
model_medium
|
| 34 |
|
|
test_json_parser_variables)
|
| 35 |
|
|
|
| 36 |
|
|
(flags
|
| 37 |
|
|
(:standard -w -warn-error))
|
| 38 |
|
|
|
| 39 |
|
|
(preprocess
|
| 40 |
|
|
(pps ppx_inline_test)))
|