(lang dune 2.5)
(name xenctrlext)
(library
 (name xenctrlext)
 (kind normal)
 (archives (byte xenctrlext.cma) (native xenctrlext.cmxa))
 (plugins (byte xenctrlext.cma) (native xenctrlext.cmxs))
 (foreign_objects xenctrlext_stubs.o)
 (foreign_archives libxenctrlext_stubs.a)
 (native_archives xenctrlext.a)
 (requires threads xenctrl)
 (main_module_name Xenctrlext)
 (modes byte native)
 (modules
  (singleton
   (name Xenctrlext)
   (obj_name xenctrlext)
   (visibility public)
   (impl)
   (intf))))
