Project

General

Profile

Bug #96 ยป bootstrap.log

Hamza Bourbouh, 05/28/2020 03:34 PM

 
1

    
2
[2020-05-28 15:48:51] [progress] Installing lustrec from upstream repository
3
[2020-05-28 15:48:51] [progress] Downloading https://cavale.enseeiht.fr/git/lustrec branch unstable
4
Cloning into 'lustrec'...
5
[2020-05-28 15:48:52] [progress] autoconf
6
[2020-05-28 15:48:53] [progress] ./configure --disable-salsa --prefix=/Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/cocosim/tools/verifiers/osx
7
configure: Git branch: unstable
8
checking for ocamlc... /Users/hbourbou/.opam/4.06.0/bin/ocamlc
9
checking OCaml version... valid ocaml version detected: 4.06.0
10
checking for ocamlbuild... /Users/hbourbou/.opam/4.06.0/bin/ocamlbuild
11
checking for ocamlfind... yes
12
checking ocaml libraries required (ocamlgraph cmdliner fmt logs num)... yes
13
checking yojson library (optional)... yes
14
checking seal library (optional)... 1
15
yes
16
checking z3 library... yes
17
checking tiny library (optional)... no
18
checking salsa library... configure: WARNING: no
19
checking for gcc... cc
20
checking whether the C compiler works... yes
21
checking for C compiler default output file name... a.out
22
checking for suffix of executables... 
23
checking whether we are cross compiling... no
24
checking for suffix of object files... o
25
checking whether we are using the GNU C compiler... yes
26
checking whether cc accepts -g... yes
27
checking for cc option to accept ISO C89... none needed
28
checking for __gmpz_init in -lgmp... yes
29
checking for mpfr_add in -lmpfr... yes
30
checking yojson library for lustresf... yes
31
configure: ../lustrec-tests/regression_tests
32
checking for ../lustrec-tests/regression_tests/CMakeLists.txt... no
33
configure: creating ./config.status
34
config.status: creating opam
35
config.status: creating Makefile
36
config.status: creating src/Makefile
37
config.status: creating src/version.ml
38
config.status: creating src/pluginList.ml
39
config.status: creating src/verifierList.ml
40
config.status: creating src/_tags
41
config.status: creating src/ocaml_utils.ml
42
config.status: creating include/z3librc
43
config.status: creating share/FindLustre.cmake
44
configure: ******** Configuration ********
45
configure: bin path:     /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/cocosim/tools/verifiers/osx/bin
46
configure: include path: /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/cocosim/tools/verifiers/osx/include
47
configure: ********    Plugins    ********
48
configure: MPFR option enabled
49
configure: Salsa plugin disabled
50
configure: Z3 dependencies enabled
51
configure: lustresf available
52
configure: ********   Verifiers    ********
53
configure: Zustre enabled
54
configure: WARNING: Z3 shared lib (libz3.so) has to be available in the LD_LIBRARY_PATH (DYLD_LIBRARY_PATH in OSX).
55
configure: WARNING: If not already available run "source /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/cocosim/tools/verifiers/osx/include/lustrec/z3librc"
56
configure: WARNING: or add that line to your ~/.profile or ~/.bashrc
57
configure: Seal   enabled
58
configure: Tiny   disabled. Require Tiny library
59
configure: ****** Regression Tests  ******
60
configure: no valid tests path provided (../lustrec-tests/regression_tests)
61
configure: ******** Configuration ********
62
configure: Execute "make; make install" now
63
[2020-05-28 15:48:55] [progress] make
64
Compiling binary lustrec
65
Compiling binary lustret
66
Compiling binary lustrev
67
Compiling binary lustresf
68
Compiling binary lustret
69
Compiling binary lustrec
70
Compiling binary lustrev
71
Compiling binary lustresf
72
+ mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build
73
mkdir: /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build: File exists
74
Command exited with code 1.
75
Failure:
76
  Error during command "mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build": Ocamlbuild_pack.My_std.Exit_with_code(10).
77
+ mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build
78
mkdir: /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build: File exists
79
Command exited with code 1.
80
Failure:
81
  Error during command "mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build": Ocamlbuild_pack.My_std.Exit_with_code(10).
82
make[1]: *** [lustresf] Error 2
83
make[1]: *** [lustrev] Error 2
84
make: *** [lustresf] Error 2
85
make: *** Waiting for unfinished jobs....
86
make: *** [lustrev] Error 2
87
+ mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build
88
mkdir: /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build: File exists
89
Command exited with code 1.
90
Failure:
91
  Error during command "mkdir /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/CoCoSim/tools/build/lustrec/src/_build": Ocamlbuild_pack.My_std.Exit_with_code(10).
92
make[1]: *** [lustret] Error 2
93
make: *** [lustret] Error 2
94
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules main_lustre_compiler.ml > main_lustre_compiler.ml.depends
95
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/backends.ml > backends/backends.ml.depends
96
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules normalization.mli > normalization.mli.depends
97
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules lustre_types.ml > lustre_types.ml.depends
98
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules clocks.ml > clocks.ml.depends
99
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules location.ml > location.ml.depends
100
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules options.ml > options.ml.depends
101
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules version.ml > version.ml.depends
102
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o version.cmo version.ml
103
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules utils/utils.ml > utils/utils.ml.depends
104
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o location.cmo location.ml
105
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o options.cmo options.ml
106
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o utils/utils.cmo utils/utils.ml
107
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules delay.ml > delay.ml.depends
108
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules dimension.ml > dimension.ml.depends
109
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules utils/env.ml > utils/env.ml.depends
110
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o utils/env.cmo utils/env.ml
111
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules types.ml > types.ml.depends
112
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o dimension.cmo dimension.ml
113
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clocks.cmo clocks.ml
114
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o delay.cmo delay.ml
115
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o types.cmo types.ml
116
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o lustre_types.cmo lustre_types.ml
117
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o normalization.cmi normalization.mli
118
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules clock_calculus.ml > clock_calculus.ml.depends
119
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules basic_library.ml > basic_library.ml.depends
120
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules clock_predef.ml > clock_predef.ml.depends
121
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules delay_predef.ml > delay_predef.ml.depends
122
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules machine_code_types.ml > machine_code_types.ml.depends
123
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules scheduling_type.ml > scheduling_type.ml.depends
124
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o scheduling_type.cmo scheduling_type.ml
125
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules type_predef.ml > type_predef.ml.depends
126
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clock_predef.cmo clock_predef.ml
127
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o delay_predef.cmo delay_predef.ml
128
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code_types.cmo machine_code_types.ml
129
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o type_predef.cmo type_predef.ml
130
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules corelang.mli > corelang.mli.depends
131
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules error.ml > error.ml.depends
132
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules global.ml > global.ml.depends
133
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o basic_library.cmo basic_library.ml
134
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o global.cmo global.ml
135
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o error.cmo error.ml
136
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules log.ml > log.ml.depends
137
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules printers.ml > printers.ml.depends
138
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o corelang.cmi corelang.mli
139
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o log.cmo log.ml
140
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o printers.cmo printers.ml
141
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules compiler_common.ml > compiler_common.ml.depends
142
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules automata.ml > automata.ml.depends
143
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clock_calculus.cmo clock_calculus.ml
144
/Users/hbourbou/.opam/4.06.0/bin/ocamllex.opt -q parsers/lexer_lustre.mll
145
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules parsers/lexer_lustre.ml > parsers/lexer_lustre.ml.depends
146
/Users/hbourbou/.opam/4.06.0/bin/ocamllex.opt -q parsers/lexerLustreSpec.mll
147
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules parsers/lexerLustreSpec.ml > parsers/lexerLustreSpec.ml.depends
148
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules parsers/parse.ml > parsers/parse.ml.depends
149
/Users/hbourbou/.opam/4.06.0/bin/ocamlyacc parsers/parser_lustre.mly
150
+ /Users/hbourbou/.opam/4.06.0/bin/ocamlyacc parsers/parser_lustre.mly
151
4 rules never reduced
152
8 shift/reduce conflicts.
153
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules parsers/parser_lustre.mli > parsers/parser_lustre.mli.depends
154
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/parse.cmo parsers/parse.ml
155
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/parser_lustre.cmi parsers/parser_lustre.mli
156
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/lexerLustreSpec.cmo parsers/lexerLustreSpec.ml
157
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules checks/stateless.ml > checks/stateless.ml.depends
158
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules typing.ml > typing.ml.depends
159
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o automata.cmo automata.ml
160
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/lexer_lustre.cmo parsers/lexer_lustre.ml
161
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/stateless.cmo checks/stateless.ml
162
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o typing.cmo typing.ml
163
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules compiler_stages.ml > compiler_stages.ml.depends
164
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules checks/access.ml > checks/access.ml.depends
165
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_backend.ml > backends/Ada/ada_backend.ml.depends
166
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_backend_adb.ml > backends/Ada/ada_backend_adb.ml.depends
167
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules backends/Ada/ada_backend_common.mli > backends/Ada/ada_backend_common.mli.depends
168
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules backends/Ada/ada_printer.mli > backends/Ada/ada_printer.mli.depends
169
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/misc_printer.ml > backends/Ada/misc_printer.ml.depends
170
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/misc_printer.cmo backends/Ada/misc_printer.ml
171
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_printer.cmi backends/Ada/ada_printer.mli
172
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules machine_code_common.mli > machine_code_common.mli.depends
173
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/misc_lustre_function.ml > backends/Ada/misc_lustre_function.ml.depends
174
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules arrow.mli > arrow.mli.depends
175
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o arrow.cmi arrow.mli
176
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_common.cmi backends/Ada/ada_backend_common.mli
177
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code_common.cmi machine_code_common.mli
178
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/misc_lustre_function.cmo backends/Ada/misc_lustre_function.ml
179
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_backend_ads.ml > backends/Ada/ada_backend_ads.ml.depends
180
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_backend_wrapper.ml > backends/Ada/ada_backend_wrapper.ml.depends
181
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_adb.cmo backends/Ada/ada_backend_adb.ml
182
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_ads.cmo backends/Ada/ada_backend_ads.ml
183
+ ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_ads.cmo backends/Ada/ada_backend_ads.ml
184
File "backends/Ada/ada_backend_ads.ml", line 119, characters 8-17:
185
Warning 26: unused variable vars_spec.
186
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_wrapper.cmo backends/Ada/ada_backend_wrapper.ml
187
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules checks/algebraicLoop.ml > checks/algebraicLoop.ml.depends
188
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules annotations.ml > annotations.ml.depends
189
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends -I utils -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/backends.cmo backends/backends.ml
190
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules causality.ml > causality.ml.depends
191
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_common.cmo compiler_common.ml
192
+ ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_common.cmo compiler_common.ml
193
File "compiler_common.ml", line 240, characters 76-88:
194
Warning 21: this statement never returns (or has an unsound type.)
195
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules inliner.ml > inliner.ml.depends
196
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o annotations.cmo annotations.ml
197
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules options_management.ml > options_management.ml.depends
198
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules plugins.ml > plugins.ml.depends
199
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o options_management.cmo options_management.ml
200
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules pluginList.ml > pluginList.ml.depends
201
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules pluginType.ml > pluginType.ml.depends
202
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules plugins/scopes/scopes.ml > plugins/scopes/scopes.ml.depends
203
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_common.ml > backends/C/c_backend_common.ml.depends
204
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules features/machine_types/machine_types.ml > features/machine_types/machine_types.ml.depends
205
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules plugins/mpfr/mpfr.ml > plugins/mpfr/mpfr.ml.depends
206
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules ocaml_utils.ml > ocaml_utils.ml.depends
207
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I features/machine_types -I utils -I backends -I checks -I tools -I parsers -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o features/machine_types/machine_types.cmo features/machine_types/machine_types.ml
208
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I plugins/mpfr -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins/mpfr/mpfr.cmo plugins/mpfr/mpfr.ml
209
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o ocaml_utils.cmo ocaml_utils.ml
210
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o pluginType.cmo pluginType.ml
211
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_common.cmo backends/C/c_backend_common.ml
212
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I plugins/scopes -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins/scopes/scopes.cmo plugins/scopes/scopes.ml
213
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o pluginList.cmo pluginList.ml
214
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins.cmo plugins.ml
215
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules scheduling.ml > scheduling.ml.depends
216
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o causality.cmo causality.ml
217
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules checks/liveness.ml > checks/liveness.ml.depends
218
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules splitting.ml > splitting.ml.depends
219
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/liveness.cmo checks/liveness.ml
220
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o splitting.cmo splitting.ml
221
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o inliner.cmo inliner.ml
222
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o scheduling.cmo scheduling.ml
223
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend.ml > backends/C/c_backend.ml.depends
224
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_header.ml > backends/C/c_backend_header.ml.depends
225
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_spec.ml > backends/C/c_backend_spec.ml.depends
226
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_makefile.ml > backends/C/c_backend_makefile.ml.depends
227
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules machine_code.mli > machine_code.mli.depends
228
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_makefile.cmo backends/C/c_backend_makefile.ml
229
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code.cmi machine_code.mli
230
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_spec.cmo backends/C/c_backend_spec.ml
231
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_main.ml > backends/C/c_backend_main.ml.depends
232
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_mauve.ml > backends/C/c_backend_mauve.ml.depends
233
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_src.ml > backends/C/c_backend_src.ml.depends
234
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_header.cmo backends/C/c_backend_header.ml
235
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_main.cmo backends/C/c_backend_main.ml
236
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_mauve.cmo backends/C/c_backend_mauve.ml
237
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_src.cmo backends/C/c_backend_src.ml
238
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/C/c_backend_lusic.ml > backends/C/c_backend_lusic.ml.depends
239
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules lusic.ml > lusic.ml.depends
240
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o lusic.cmo lusic.ml
241
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/EMF/EMF_backend.ml > backends/EMF/EMF_backend.ml.depends
242
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/EMF/EMF_common.ml > backends/EMF/EMF_common.ml.depends
243
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/EMF/EMF_library_calls.ml > backends/EMF/EMF_library_calls.ml.depends
244
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_common.cmo backends/EMF/EMF_common.ml
245
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_library_calls.cmo backends/EMF/EMF_library_calls.ml
246
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Horn/horn_backend.ml > backends/Horn/horn_backend.ml.depends
247
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Horn/horn_backend_collecting_sem.ml > backends/Horn/horn_backend_collecting_sem.ml.depends
248
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Horn/horn_backend_common.ml > backends/Horn/horn_backend_common.ml.depends
249
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Horn/horn_backend_printers.ml > backends/Horn/horn_backend_printers.ml.depends
250
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_common.cmo backends/Horn/horn_backend_common.ml
251
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_printers.cmo backends/Horn/horn_backend_printers.ml
252
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_collecting_sem.cmo backends/Horn/horn_backend_collecting_sem.ml
253
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Horn/horn_backend_traces.ml > backends/Horn/horn_backend_traces.ml.depends
254
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -modules modules.mli > modules.mli.depends
255
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules optimize_machine.ml > optimize_machine.ml.depends
256
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules sortProg.ml > sortProg.ml.depends
257
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules spec.ml > spec.ml.depends
258
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/access.cmo checks/access.ml
259
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend.cmo backends/Ada/ada_backend.ml
260
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/algebraicLoop.cmo checks/algebraicLoop.ml
261
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend.cmo backends/C/c_backend.ml
262
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_lusic.cmo backends/C/c_backend_lusic.ml
263
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_backend.cmo backends/EMF/EMF_backend.ml
264
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend.cmo backends/Horn/horn_backend.ml
265
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_traces.cmo backends/Horn/horn_backend_traces.ml
266
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o modules.cmi modules.mli
267
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o optimize_machine.cmo optimize_machine.ml
268
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o sortProg.cmo sortProg.ml
269
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o spec.cmo spec.ml
270
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_stages.cmo compiler_stages.ml
271
ocamlfind ocamlc -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o main_lustre_compiler.cmo main_lustre_compiler.ml
272
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules normalization.ml > normalization.ml.depends
273
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o version.cmx version.ml
274
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o location.cmx location.ml
275
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o options.cmx options.ml
276
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o utils/utils.cmx utils/utils.ml
277
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o utils/env.cmx utils/env.ml
278
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o dimension.cmx dimension.ml
279
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clocks.cmx clocks.ml
280
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o delay.cmx delay.ml
281
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o types.cmx types.ml
282
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o lustre_types.cmx lustre_types.ml
283
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o scheduling_type.cmx scheduling_type.ml
284
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clock_predef.cmx clock_predef.ml
285
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o delay_predef.cmx delay_predef.ml
286
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code_types.cmx machine_code_types.ml
287
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o type_predef.cmx type_predef.ml
288
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules corelang.ml > corelang.ml.depends
289
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o annotations.cmx annotations.ml
290
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o basic_library.cmx basic_library.ml
291
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o global.cmx global.ml
292
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o error.cmx error.ml
293
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o printers.cmx printers.ml
294
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o corelang.cmx corelang.ml
295
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o log.cmx log.ml
296
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o typing.cmx typing.ml
297
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I features/machine_types -I utils -I backends -I checks -I tools -I parsers -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o features/machine_types/machine_types.cmx features/machine_types/machine_types.ml
298
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o splitting.cmx splitting.ml
299
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o normalization.cmx normalization.ml
300
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o clock_calculus.cmx clock_calculus.ml
301
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules parsers/parser_lustre.ml > parsers/parser_lustre.ml.depends
302
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o automata.cmx automata.ml
303
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/parse.cmx parsers/parse.ml
304
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/parser_lustre.cmx parsers/parser_lustre.ml
305
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/lexerLustreSpec.cmx parsers/lexerLustreSpec.ml
306
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I parsers -I utils -I backends -I checks -I tools -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o parsers/lexer_lustre.cmx parsers/lexer_lustre.ml
307
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/stateless.cmx checks/stateless.ml
308
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_backend_common.ml > backends/Ada/ada_backend_common.ml.depends
309
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules backends/Ada/ada_printer.ml > backends/Ada/ada_printer.ml.depends
310
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/misc_printer.cmx backends/Ada/misc_printer.ml
311
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules machine_code_common.ml > machine_code_common.ml.depends
312
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules arrow.ml > arrow.ml.depends
313
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends -I utils -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/backends.cmx backends/backends.ml
314
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o options_management.cmx options_management.ml
315
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o arrow.cmx arrow.ml
316
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_printer.cmx backends/Ada/ada_printer.ml
317
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code_common.cmx machine_code_common.ml
318
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/misc_lustre_function.cmx backends/Ada/misc_lustre_function.ml
319
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_common.cmx backends/Ada/ada_backend_common.ml
320
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_adb.cmx backends/Ada/ada_backend_adb.ml
321
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_ads.cmx backends/Ada/ada_backend_ads.ml
322
+ ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_ads.cmx backends/Ada/ada_backend_ads.ml
323
File "backends/Ada/ada_backend_ads.ml", line 119, characters 8-17:
324
Warning 26: unused variable vars_spec.
325
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend_wrapper.cmx backends/Ada/ada_backend_wrapper.ml
326
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_common.cmx compiler_common.ml
327
+ ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_common.cmx compiler_common.ml
328
File "compiler_common.ml", line 240, characters 76-88:
329
Warning 21: this statement never returns (or has an unsound type.)
330
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I plugins/mpfr -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins/mpfr/mpfr.cmx plugins/mpfr/mpfr.ml
331
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o ocaml_utils.cmx ocaml_utils.ml
332
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o pluginType.cmx pluginType.ml
333
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_common.cmx backends/C/c_backend_common.ml
334
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I plugins/scopes -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins/scopes/scopes.cmx plugins/scopes/scopes.ml
335
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o pluginList.cmx pluginList.ml
336
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o plugins.cmx plugins.ml
337
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o causality.cmx causality.ml
338
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/liveness.cmx checks/liveness.ml
339
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o inliner.cmx inliner.ml
340
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o scheduling.cmx scheduling.ml
341
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules machine_code.ml > machine_code.ml.depends
342
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_makefile.cmx backends/C/c_backend_makefile.ml
343
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o machine_code.cmx machine_code.ml
344
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_spec.cmx backends/C/c_backend_spec.ml
345
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_header.cmx backends/C/c_backend_header.ml
346
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_main.cmx backends/C/c_backend_main.ml
347
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_mauve.cmx backends/C/c_backend_mauve.ml
348
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_src.cmx backends/C/c_backend_src.ml
349
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o lusic.cmx lusic.ml
350
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_common.cmx backends/EMF/EMF_common.ml
351
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_library_calls.cmx backends/EMF/EMF_library_calls.ml
352
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_common.cmx backends/Horn/horn_backend_common.ml
353
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_printers.cmx backends/Horn/horn_backend_printers.ml
354
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_collecting_sem.cmx backends/Horn/horn_backend_collecting_sem.ml
355
ocamlfind ocamldep -package num -package ocamlgraph -package yojson -package logs -modules modules.ml > modules.ml.depends
356
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/access.cmx checks/access.ml
357
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Ada -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Ada/ada_backend.cmx backends/Ada/ada_backend.ml
358
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I checks -I utils -I backends -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o checks/algebraicLoop.cmx checks/algebraicLoop.ml
359
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend.cmx backends/C/c_backend.ml
360
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/C -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/C/c_backend_lusic.cmx backends/C/c_backend_lusic.ml
361
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/EMF -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/EMF/EMF_backend.cmx backends/EMF/EMF_backend.ml
362
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend.cmx backends/Horn/horn_backend.ml
363
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I backends/Horn -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o backends/Horn/horn_backend_traces.cmx backends/Horn/horn_backend_traces.ml
364
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o modules.cmx modules.ml
365
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o optimize_machine.cmx optimize_machine.ml
366
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o sortProg.cmx sortProg.ml
367
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o spec.cmx spec.ml
368
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o compiler_stages.cmx compiler_stages.ml
369
ocamlfind ocamlopt -c -bin-annot -package num -package ocamlgraph -package yojson -package logs -color always -I utils -I backends -I checks -I tools -I parsers -I features/machine_types -I backends/C -I backends/Horn -I backends/VHDL -I backends/Ada -I backends/EMF -I plugins/scopes -I plugins/salsa -I plugins/mpfr -I tools/seal -I tools/zustre -I tools/stateflow -I tools/importer -I tools/stateflow/common -I tools/stateflow/semantics -I tools/stateflow/models -I tools/stateflow/json-parser -o main_lustre_compiler.cmx main_lustre_compiler.ml
370
ocamlfind ocamlopt -linkpkg unix.cmxa str.cmxa -package num -package ocamlgraph -package logs -I utils -I features/machine_types -I backends -I backends/Ada -I checks -I plugins/mpfr -I backends/C -I parsers -I plugins/scopes -I backends/EMF -I backends/Horn location.cmx version.cmx options.cmx utils/utils.cmx clocks.cmx delay.cmx utils/env.cmx dimension.cmx types.cmx lustre_types.cmx annotations.cmx clock_predef.cmx delay_predef.cmx scheduling_type.cmx machine_code_types.cmx type_predef.cmx basic_library.cmx global.cmx error.cmx printers.cmx corelang.cmx log.cmx typing.cmx features/machine_types/machine_types.cmx splitting.cmx normalization.cmx backends/backends.cmx options_management.cmx arrow.cmx automata.cmx backends/Ada/misc_printer.cmx backends/Ada/ada_printer.cmx backends/Ada/misc_lustre_function.cmx checks/stateless.cmx machine_code_common.cmx backends/Ada/ada_backend_common.cmx backends/Ada/ada_backend_adb.cmx backends/Ada/ada_backend_ads.cmx backends/Ada/ada_backend_wrapper.cmx backends/Ada/ada_backend.cmx ocaml_utils.cmx plugins/mpfr/mpfr.cmx backends/C/c_backend_common.cmx backends/C/c_backend_makefile.cmx causality.cmx checks/liveness.cmx clock_calculus.cmx scheduling.cmx machine_code.cmx backends/C/c_backend_spec.cmx backends/C/c_backend_header.cmx parsers/parse.cmx parsers/parser_lustre.cmx parsers/lexerLustreSpec.cmx parsers/lexer_lustre.cmx compiler_common.cmx pluginType.cmx plugins/scopes/scopes.cmx pluginList.cmx plugins.cmx backends/C/c_backend_main.cmx backends/C/c_backend_mauve.cmx backends/C/c_backend_src.cmx backends/C/c_backend.cmx lusic.cmx backends/C/c_backend_lusic.cmx backends/EMF/EMF_common.cmx backends/EMF/EMF_library_calls.cmx backends/EMF/EMF_backend.cmx backends/Horn/horn_backend_common.cmx backends/Horn/horn_backend_printers.cmx backends/Horn/horn_backend_collecting_sem.cmx backends/Horn/horn_backend.cmx backends/Horn/horn_backend_traces.cmx checks/access.cmx inliner.cmx checks/algebraicLoop.cmx modules.cmx optimize_machine.cmx sortProg.cmx spec.cmx compiler_stages.cmx main_lustre_compiler.cmx -o main_lustre_compiler.native
371
[2020-05-28 15:49:13] [error] Error while building lustrec. see /Users/hbourbou/Documents/babelfish.arc.nasa.gov/cocosim_release/cocosim/tools/build/bootstrap.log for more details.
372
[2020-05-28 15:49:13] [error] Skipping Lustrec: lustrec installation, failed
    (1-1/1)