(include_subdirs unqualified)
(library
 (name fstar_plugins)
 (libraries
   fstarcompiler
 )
 (modes native)
 (wrapped false)
 (preprocess (pps ppx_deriving.show ppx_deriving_yojson sedlex.ppx))
 ; ^ Needed for some of the base modules.
)
