Project

General

Profile

Download (859 Bytes) Statistics
| Branch: | Tag: | Revision:
1
; @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)))
41

    
(4-4/23)