lustrec / src / _tags.in @ eccb3f63
History | View | Annotate | Download (1.49 KB)
1 | 18acb6fc | Christophe Garion | # general config |
---|---|---|---|
2 | true: bin_annot, color(always) |
||
3 | 2ae3ef3f | ploc | true: use_menhir |
4 | 18acb6fc | Christophe Garion | |
5 | # paths to sources |
||
6 | b7258fa5 | ploc | "backends": include |
7 | 1954d776 | ploc | "backends/C": include |
8 | "backends/Horn": include |
||
9 | b7258fa5 | ploc | "backends/EMF": include |
10 | 1954d776 | ploc | "plugins/salsa": include |
11 | "plugins/scopes": include |
||
12 | "plugins/mpfr": include |
||
13 | 66359a5e | ploc | "features/machine_types": include |
14 | 93119c3f | ploc | "tools/stateflow": include |
15 | "tools/stateflow/common": include |
||
16 | "tools/stateflow/semantics": include |
||
17 | "tools/stateflow/models": include |
||
18 | 921230e6 | Christophe Garion | "tools/stateflow/json-parser": include |
19 | 2ae3ef3f | ploc | "cocospec": include |
20 | 93119c3f | ploc | |
21 | 2511454c | Christophe Garion | # svn |
22 | 1954d776 | ploc | <**/.svn>: -traverse |
23 | <**/.svn>: not_hygienic |
||
24 | |||
25 | 18acb6fc | Christophe Garion | # packages |
26 | 5a71ed25 | Christophe Garion | <**/*.native> : package(ocamlgraph) |
27 | <**/*.native> : use_str |
||
28 | <**/main_lustre_compiler.native>: use_unix |
||
29 | <**/main_lustre_testgen.native> : use_unix |
||
30 | f50110e7 | Christophe Garion | <**/sf_sem.native> : use_unix |
31 | 5a71ed25 | Christophe Garion | <**/*.native> : package(num) |
32 | eccb3f63 | ploc | <**/*.ml> : package(logs) |
33 | <**/*.native> : package(logs) |
||
34 | 921230e6 | Christophe Garion | <**/json_parser.ml> : package(yojson) |
35 | <**/main_parse_json_file.*> : package(cmdliner) |
||
36 | <**/main_parse_json_file.*> : package(fmt.tty) |
||
37 | <**/main_parse_json_file.*> : package(fmt.cli) |
||
38 | <**/main_parse_json_file.*> : package(logs.fmt) |
||
39 | <**/main_parse_json_file.*> : package(logs.cli) |
||
40 | <**/main_parse_json_file.*> : package(yojson) |
||
41 | 2511454c | Christophe Garion | <**/test_*.*> : package(oUnit) |
42 | <**/test_json*.*> : package(yojson) |
||
43 | 1954d776 | ploc | |
44 | # Required for ocamldoc. Otherwise failed to build |
||
45 | <*.ml{,i}>: package(ocamlgraph) |
||
46 | |||
47 | # Plugin dependencies |
||
48 | @SALSA_TAG@ |
||
49 | 18acb6fc | Christophe Garion | |
50 | # Local Variables: |
||
51 | # mode: conf |
||
52 | 66359a5e | ploc | # End: |