(lang dune 1.11)
(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
  (byte libxenctrlext_stubs.a)
  (native xenctrlext.a libxenctrlext_stubs.a))
 (requires threads xenctrl)
 (main_module_name Xenctrlext)
 (modes byte native)
 (modules
  (singleton
   (name Xenctrlext)
   (obj_name xenctrlext)
   (visibility public)
   (impl)
   (intf))))
