CristalCaveGem » LustreC

# general config

true: bin_annot, color(always)

true: use_menhir

# paths to sources

"backends": include

"backends/C": include

"backends/Horn": include

"backends/EMF": include

"plugins/salsa": include

"plugins/scopes": include

"plugins/mpfr": include

"features/machine_types": include

"tools/stateflow": include

"tools/stateflow/common": include

"tools/stateflow/semantics": include

"tools/stateflow/models": include

"tools/stateflow/json-parser": include

"cocospec": include

# svn

<**/.svn>: -traverse

<**/.svn>: not_hygienic

# packages

<**/*.native>                   : package(ocamlgraph)

<**/*.native>                   : use_str

<**/main_lustre_compiler.native>: use_unix

<**/main_lustre_testgen.native> : use_unix

<**/sf_sem.native>              : use_unix

<**/*.native>                   : package(num)

<**/*.ml>                       : package(logs)

<**/*.native>                   : package(logs)

<**/json_parser.ml>             : package(yojson)

<**/main_parse_json_file.*>     : package(cmdliner)

<**/main_parse_json_file.*>     : package(fmt.tty)

<**/main_parse_json_file.*>     : package(fmt.cli)

<**/main_parse_json_file.*>     : package(logs.fmt)

<**/main_parse_json_file.*>     : package(logs.cli)

<**/main_parse_json_file.*>     : package(yojson)

<**/test_*.*>                   : package(oUnit)

<**/test_json*.*>               : package(yojson)

# Required for ocamldoc. Otherwise failed to build

<*.ml{,i}>: package(ocamlgraph)

# Plugin dependencies

@SALSA_TAG@

# Local Variables:

# mode: conf

# End: