Project

General

Profile

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

    
5
(include_subdirs unqualified)
6

    
7
(library
8
 (name lustrec_interface)
9
 (package lustrec)
10
 (modules
11
   lustre_types
12
   utils
13
   lustre_utils
14
   location
15
   dimension
16
   env
17
   real
18
   types
19
   options
20
   version
21
   clocks
22
   delay
23
   machine_code_types
24
   spec_types
25
   spec_common
26
   lustre_live
27
   scheduling_type
28
   log
29
   printers
30
   corelang
31
   basic_library
32
   type_predef
33
   clock_predef
34
   delay_predef
35
   error
36
   global
37
   annotations
38
   machine_code_common
39
   arrow
40
   options_management
41
   stateless
42
   c_backend_common
43
   typing
44
   ocaml_utils
45
   backends
46
   lustrec_mpfr
47
   normalization
48
   machine_types
49
   splitting
50
   compiler_common
51
   parse parser_lustre parser_lustre_table parser_lustre_messages
52
   lexer_lustre lexerLustreSpec
53
   automata
54
   clock_calculus
55
 )
56
 (wrapped false)
57
 (libraries sites ocamlgraph zarith unix str menhirLib))
58

    
59
(library
60
 (name plugin_register)
61
 (package lustrec)
62
 (wrapped false)
63
 (modules pluginList pluginType)
64
 (libraries lustrec_interface))
65

    
66
(generate_sites_module
67
 (module sites)
68
 ; (sites lustrec)
69
 (plugins
70
  (lustrec plugins)
71
  (lustrec verifiers)))
72

    
73
(library
74
 (name sites)
75
 (package lustrec)
76
 (modules sites)
77
 (libraries dune-site dune-site.plugins))
78

    
79
(library
80
 (name lustrec_lib)
81
 (package lustrec)
82
 (modules
83
   lusic
84
   c_backend_header c_backend_spec c_backend_makefile
85
   c_backend_mauve c_backend_src
86
   ada_backend ada_printer ada_backend_common ada_backend_ads ada_backend_adb
87
   ada_backend_wrapper
88
   horn_backend horn_backend_common horn_backend_printers
89
   Horn_backend_collecting_sem horn_backend_traces
90
   EMF_backend EMF_common EMF_library_calls
91
   misc_lustre_function misc_printer
92
   machine_code
93
   causality
94
   scheduling
95
   liveness
96
   compiler_stages
97
   modules
98
   sortProg
99
   inliner
100
   access
101
   algebraicLoop
102
   optimize_prog
103
   optimize_machine
104
   spec
105
   c_backend c_backend_main
106
   plugins
107
 )
108
 (wrapped false)
109
 (libraries sites lustrec_interface plugin_register))
110

    
111
(executable
112
 (name main_lustre_compiler)
113
 (public_name lustrec)
114
 (modules main_lustre_compiler)
115
 (package lustrec)
116
 (libraries lustrec_lib lustrec.scopes))
117

    
118
(executable
119
 (name main_lustre_testgen)
120
 (public_name lustret)
121
 (modules main_lustre_testgen mutation mmap pathConditions)
122
 (libraries lustrec_lib))
123

    
124
(library
125
 (name verifier_register)
126
 (package lustrec)
127
 (wrapped false)
128
 (modules verifierList verifierType)
129
 (libraries lustrec_interface))
130

    
131
(executable
132
 (name main_lustre_verifier)
133
 (public_name lustrev)
134
 (modules main_lustre_verifier verifiers)
135
 (libraries lustrec_lib verifier_register lustrec.scopes))
136

    
137
(executable
138
 (name main_lustre_importer)
139
 (public_name lustrei)
140
 (modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib)
141
 (libraries yojson ppx_deriving_yojson.runtime)
142
 (preprocess (pps ppx_deriving_yojson)))
143

    
144
(library
145
 (name tools_lib)
146
 (package lustrec)
147
 (wrapped false)
148
 (modules basetypes datatype activeStates)
149
 (libraries lustrec_lib))
150

    
151
(executable
152
 (name sf_sem)
153
 (public_name lustresf)
154
 (modules
155
   sf_sem
156
   model_simple
157
   model_stopwatch
158
   CPS_ccode_generator
159
   CPS_transformer
160
   CPS_interpreter
161
   CPS_lustre_generator
162
   CPS
163
   theta
164
   memo)
165
 (libraries tools_lib))
166

    
167

    
168

    
169
; (executable
170
;  (name main_parse_json_file)
171
;  (public_name json-parser)
172
;  (modules main_parse_json_file json_parser)
173
;  (libraries tools_lib cmdliner))
174

    
175
; (executable
176
;  (name test_json_parser_variables)
177
;  (modules test_json_parser_variables json_parser)
178
;  (libraries tools_lib))
(19-19/66)