History | View | Annotate | Download (188 Bytes)
(library
(name zustre_plugin)
(libraries lustrec yojson backends z3)
(flags
(:standard
-warn-error -A
-ccopt "-Wl,-rpath,'@Z3LIBPATH@'"))
(optional)
)