Project

General

Profile

Download (951 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(env
2
 (dev
3
  (flags
4
   (:standard -warn-error -A))))
5

    
6
(include_subdirs unqualified)
7

    
8
; TODO : 
9
; add lustrei executable made from main_lustre_importer
10

    
11
(executables
12
 (modes (best exe))
13
 (public_names lustrec lustret lustrev lustresf)
14
 (names main_lustre_compiler main_lustre_testgen main_lustre_verifier sf_sem)
15
 (libraries
16
  lustrec dune-build-info
17
  scopes
18
  ; {% if enable_salsa %} salsa {% endif %}
19
  ; {% if enable_tiny %} tiny_for_lustrev {% endif %}
20
  ; {% if enable_zustre %} zustre_for_lustrev  {% endif %}
21
  ; {% if enable_seal %} seal {% endif %}
22
  
23
   tiny_for_lustrev 
24
   zustre_for_lustrev  
25
  
26
  )
27
  (modules :standard \ 
28
   ; disable the following modules
29
   CPS_evaluator 
30
   expand
31
   main_parse_json_file
32
   vhdl_json_lib
33
   json_parser ; because of "Unbound module LustreSpec"
34
   main_lustre_importer
35
   model_medium
36
   test_json_parser_variables 
37
   )
38
 (flags
39
  (:standard -w -warn-error))
40
 (preprocess
41
  (pps ppx_inline_test)))
42

    
(22-22/71)