Project

General

Profile

Download (3.36 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
12
  lustre_types
13
  utils
14
  lustre_utils
15
  location
16
  dimension
17
  env
18
  real
19
  types
20
  options
21
  version
22
  clocks
23
  delay
24
  machine_code_types
25
  spec_types
26
  spec_common
27
  lustre_live
28
  scheduling_type
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
  causality
111
  scheduling
112
  liveness
113
  compiler_stages
114
  modules
115
  sortProg
116
  inliner
117
  access
118
  algebraicLoop
119
  optimize_prog
120
  optimize_machine
121
  spec
122
  c_backend
123
  c_backend_main
124
  plugins)
125
 (wrapped false)
126
 (libraries sites lustrec_interface plugin_register))
127

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

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

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

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

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

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

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

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

    
191
; (executable
192
;  (name test_json_parser_variables)
193
;  (modules test_json_parser_variables json_parser)
194
;  (libraries tools_lib))
(19-19/66)