Project

General

Profile

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

    
2
(include_subdirs unqualified)
3

    
4
(executable
5
 (modes (best exe))
6
 (modules :standard \ cPS_evaluator)
7
 (public_name lustresf)
8
 (name sf_sem)
9
 (libraries lustrec logs)
10
 (flags
11
  (:standard -w -warn-error))
12
 (preprocess
13
  (pps ppx_inline_test)))
14

    
15

    
(2-2/3)