Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/dune
1 1
(env
2 2
 (dev
3
  (flags (:standard -warn-error -A))))
3
  (flags
4
   (:standard -warn-error -A))))
4 5

  
5 6
(include_subdirs unqualified)
6 7

  
......
8 9
 (name lustrec_interface)
9 10
 (package lustrec)
10 11
 (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
 )
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)
56 60
 (wrapped false)
57 61
 (libraries sites ocamlgraph zarith unix str menhirLib))
58 62

  
......
80 84
 (name lustrec_lib)
81 85
 (package lustrec)
82 86
 (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
 )
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)
108 125
 (wrapped false)
109 126
 (libraries sites lustrec_interface plugin_register))
110 127

  
......
139 156
 (public_name lustrei)
140 157
 (modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib)
141 158
 (libraries yojson ppx_deriving_yojson.runtime)
142
 (preprocess (pps ppx_deriving_yojson)))
159
 (preprocess
160
  (pps ppx_deriving_yojson)))
143 161

  
144 162
(library
145 163
 (name tools_lib)
......
152 170
 (name sf_sem)
153 171
 (public_name lustresf)
154 172
 (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)
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)
165 183
 (libraries tools_lib))
166 184

  
167

  
168

  
169 185
; (executable
170 186
;  (name main_parse_json_file)
171 187
;  (public_name json-parser)

Also available in: Unified diff