(env
 (dev
  (flags
   (:standard -w -33 -w -27 -w -32 -w -26 -w -37)))
 (release
  (flags
   (:standard -w -33 -w -27 -w -32 -w -26 -w -37))))

(executable
 (name sail_plugin_lean)
 (modes
  (native plugin)
  (byte plugin))
 (libraries libsail))

(install
 (section
  (site
   (libsail plugins)))
 (package sail_lean_backend)
 (files sail_plugin_lean.cmxs sail_plugin_lean.cma))
