|
1
|
# OASIS_START
|
|
2
|
# DO NOT EDIT (digest: e6ba8fd5bf2047819b329a6e17ea3b1f)
|
|
3
|
# Executable lustrec
|
|
4
|
"src/main_lustre_compiler.native": pkg_unix
|
|
5
|
"src/main_lustre_compiler.native": pkg_str
|
|
6
|
"src/main_lustre_compiler.native": pkg_ocamlgraph
|
|
7
|
# Executable lustrem
|
|
8
|
"src/main_lustre_mutator.native": pkg_unix
|
|
9
|
"src/main_lustre_mutator.native": pkg_str
|
|
10
|
"src/main_lustre_mutator.native": pkg_ocamlgraph
|
|
11
|
<src/*.ml{,i}>: pkg_unix
|
|
12
|
<src/*.ml{,i}>: pkg_str
|
|
13
|
<src/*.ml{,i}>: pkg_ocamlgraph
|
|
14
|
# OASIS_STOP
|