(include_subdirs unqualified)
(library
  (name fstar_pluginlib)
  (public_name fstar.pluginlib)
  (libraries
   fstarcompiler
  )
  (modes native)
  (wrapped true)
  (preprocess (pps ppx_deriving.show ppx_deriving_yojson))
)

(env
  (_
    (bin_annot false)
    (flags (:standard -w -A)))
)
