Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / plugins / zustre / dune.in @ a2b101d3

History | View | Annotate | Download (188 Bytes)

1 9c4cc944 Corentin Lauverjat
2
3
(library 
4
   (name zustre_plugin)
5
   (libraries lustrec yojson backends z3)
6
   (flags
7
      (:standard 
8
      -warn-error -A
9 a2b101d3 ploc
      -ccopt "-Wl,-rpath,'@Z3LIBPATH@'"))
10 9c4cc944 Corentin Lauverjat
   (optional)
11
   )