Revision 4d4a4502
Added by Pierre-Loïc Garoche almost 3 years ago
| src/_tags.in | ||
|---|---|---|
| 37 | 37 |
<**/*verifier.native> or <**/*.ml{,i}> : package(yojson)
|
| 38 | 38 |
<**/*verifier.native>: thread |
| 39 | 39 |
|
| 40 |
#<**/*.native> : use_str |
|
| 41 |
<**/main_lustre_compiler.native>: package(unix) |
|
| 42 |
<**/main_lustre_testgen.native> : package(unix) |
|
| 43 |
<**/main_lustre_verifier.native> : package(unix) |
|
| 40 |
# <**/*.native> : use_str
|
|
| 41 |
<**/main_lustre_compiler.native>: package(unix,str)
|
|
| 42 |
<**/main_lustre_testgen.native> : package(unix,str)
|
|
| 43 |
<**/main_lustre_verifier.native> : package(unix,str)
|
|
| 44 | 44 |
<**/sf_sem.native> : package(unix) |
| 45 | 45 |
<**/*> : package(num) |
| 46 | 46 |
<**/*> : package(zarith) |
Also available in: Unified diff
updated wrt tiny library API changes