(include_subdirs unqualified)
(library
 (name evercddl_lib)
 (public_name evercddl.lib)
 (libraries
    fstar.pluginlib
    ppxlib
 )
 (modes native)
 (preprocess (pps ppx_deriving.show))
 (flags (:standard -w -8-9-11-26-27-33-39))
 (wrapped false)
)

(ocamllex CDDLLexer)
