Project

General

Profile

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

    
6
(include_subdirs unqualified)
7

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

    
63
(library
64
 (name plugin_register)
65
 (package lustrec)
66
 (wrapped false)
67
 (modules pluginList pluginType)
68
 (libraries lustrec_interface))
69

    
70
(generate_sites_module
71
 (module sites)
72
 ; (sites lustrec)
73
 (plugins
74
  (lustrec plugins)
75
  (lustrec verifiers)))
76

    
77
(library
78
 (name sites)
79
 (package lustrec)
80
 (modules sites)
81
 (libraries dune-site dune-site.plugins))
82

    
83
(library
84
 (name lustrec_lib)
85
 (package lustrec)
86
 (modules
87
  lusic
88
  c_backend_header
89
  c_backend_spec
90
  c_backend_makefile
91
  c_backend_mauve
92
  c_backend_src
93
  ada_backend
94
  ada_printer
95
  ada_backend_common
96
  ada_backend_ads
97
  ada_backend_adb
98
  ada_backend_wrapper
99
  horn_backend
100
  horn_backend_common
101
  horn_backend_printers
102
  Horn_backend_collecting_sem
103
  horn_backend_traces
104
  EMF_backend
105
  EMF_common
106
  EMF_library_calls
107
  misc_lustre_function
108
  misc_printer
109
  machine_code
110
  machine_code_dep
111
  causality
112
  scheduling
113
  liveness
114
  compiler_stages
115
  modules
116
  sortProg
117
  inliner
118
  access
119
  algebraicLoop
120
  optimize_prog
121
  optimize_machine
122
  spec
123
  c_backend
124
  c_backend_main
125
  plugins)
126
 (wrapped false)
127
 (libraries sites lustrec_interface plugin_register))
128

    
129
(executable
130
 (name main_lustre_compiler)
131
 (public_name lustrec)
132
 (modules main_lustre_compiler)
133
 (package lustrec)
134
 (libraries lustrec_lib lustrec.scopes))
135

    
136
(executable
137
 (name main_lustre_testgen)
138
 (public_name lustret)
139
 (modules main_lustre_testgen mutation pathConditions)
140
 (libraries lustrec_lib))
141

    
142
(library
143
 (name verifier_register)
144
 (package lustrec)
145
 (wrapped false)
146
 (modules_without_implementation verifierType)
147
 (modules verifierList verifierType)
148
 (libraries lustrec_interface))
149

    
150
(executable
151
 (name main_lustre_verifier)
152
 (public_name lustrev)
153
 (modules main_lustre_verifier verifiers)
154
 (libraries lustrec_lib verifier_register lustrec.scopes))
155

    
156
(executable
157
 (name main_lustre_importer)
158
 (public_name lustrei)
159
 (modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib)
160
 (libraries yojson ppx_deriving_yojson.runtime)
161
 (preprocess
162
  (pps ppx_deriving_yojson)))
163

    
164
(library
165
 (name tools_lib)
166
 (package lustrec)
167
 (wrapped false)
168
 (modules basetypes datatype activeStates)
169
 (libraries lustrec_lib))
170

    
171
(executable
172
 (name sf_sem)
173
 (public_name lustresf)
174
 (modules
175
  sf_sem
176
  model_simple
177
  model_stopwatch
178
  CPS_ccode_generator
179
  CPS_transformer
180
  CPS_interpreter
181
  CPS_lustre_generator
182
  CPS
183
  theta
184
  memo)
185
 (libraries tools_lib))
186

    
187
; (executable
188
;  (name main_parse_json_file)
189
;  (public_name json-parser)
190
;  (modules main_parse_json_file json_parser)
191
;  (libraries tools_lib cmdliner))
192

    
193
; (executable
194
;  (name test_json_parser_variables)
195
;  (modules test_json_parser_variables json_parser)
196
;  (libraries tools_lib))
(30-30/101)