Project

General

Profile

« Previous | Next » 

Revision 663e3554

Added by Pierre-Loïc Garoche over 5 years ago

num as a package

View differences:

src/_tags.in
26 26 
<**/main_lustre_compiler.native>: use_unix
27 27 
<**/main_lustre_testgen.native> : use_unix
28 28 
<**/sf_sem.native>              : use_unix
29 
<**/*.native>                   : package(num)
29 
<**/*>                          : package(num)
30 30 
<**/*.ml>                       : package(logs)
31 31 
<**/*.native>                   : package(logs)
32 32 
<**/json_parser.ml>             : package(yojson)

Also available in: Unified diff