Project

General

Profile

Download (3.38 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
   scheduling_type
26
   log
27
   printers
28
   corelang
29
   basic_library
30
   type_predef
31
   clock_predef
32
   delay_predef
33
   error
34
   global
35
   annotations
36
   machine_code_common
37
   arrow
38
   options_management
39
   stateless
40
   c_backend_common
41
   typing
42
   ocaml_utils
43
   backends
44
   lustrec_mpfr
45
   normalization
46
   machine_types
47
   splitting
48
   compiler_common
49
   parse parser_lustre parser_lustre_table parser_lustre_messages
50
   lexer_lustre lexerLustreSpec
51
   automata
52
   clock_calculus
53
 )
54
 (wrapped false)
55
 (libraries sites ocamlgraph zarith unix str menhirLib))
56

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

    
64
(generate_sites_module
65
 (module sites)
66
 ; (sites lustrec)
67
 (plugins
68
  (lustrec plugins)
69
  (lustrec verifiers)))
70

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

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

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

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

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

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

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

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

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

    
165

    
166

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

    
173
; (executable
174
;  (name test_json_parser_variables)
175
;  (modules test_json_parser_variables json_parser)
176
;  (libraries tools_lib))
(19-19/63)