Project

General

Profile

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

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

    
62
(generate_sites_module
63
 (module sites)
64
 ; (sites lustrec)
65
 (plugins
66
  (lustrec plugins)
67
  (lustrec verifiers)))
68

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

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

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

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

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

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

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

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

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

    
163

    
164

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

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