Project

General

Profile

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

    
2

    
3
(library 
4
   (name zustre_plugin)
5
   (libraries lustrec yojson backends z3)
6
   (flags
7
      (:standard 
8
      -warn-error -A
9
      -ccopt "-Wl,-R,'@Z3LIBPATH@'"))
10
   (optional)
11
   )
(1-1/7)