lustrec/_tags @ f1da5111
| 1 |
# OASIS_START |
|---|---|
| 2 |
# DO NOT EDIT (digest: 54aa7498411485980381101fb69226dd) |
| 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 |
<src/*.ml{,i}>: pkg_unix
|
| 8 |
<src/*.ml{,i}>: pkg_str
|
| 9 |
<src/*.ml{,i}>: pkg_ocamlgraph
|
| 10 |
# OASIS_STOP |