Project

General

Profile

Download (206 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2
(executable
3
 (modes (best exe))
4
 (modules Lustre_importer)
5
 (public_name lustrei)
6
 (name lustre_importer)
7
 (libraries lustrec)
8
 (flags
9
  (:standard -w -warn-error))
10
 (preprocess
11
  (pps ppx_inline_test)))
12

    
(1-1/2)