Revision ce0f282d
Added by Pierre-Loïc Garoche about 5 years ago
| src/_tags.in | ||
|---|---|---|
| 30 | 30 |
<**/main_lustre_compiler.native>: use_unix |
| 31 | 31 |
<**/main_lustre_testgen.native> : use_unix |
| 32 | 32 |
<**/sf_sem.native> : use_unix |
| 33 |
<**/*.ml> : package(num) |
|
| 33 | 34 |
<**/*.native> : package(num) |
| 34 | 35 |
<**/*.ml> : package(logs) |
| 35 | 36 |
<**/*.native> : package(logs) |
Also available in: Unified diff
Num is a package in recent ocaml