(lang dune 1.11)
(name integers)
(library
 (name integers)
 (kind normal)
 (synopsis "Signed and unsigned integers of various sizes")
 (archives (byte integers.cma) (native integers.cmxa))
 (plugins (byte integers.cma) (native integers.cmxs))
 (foreign_objects unsigned_stubs.o)
 (foreign_archives
  (byte libintegers_stubs.a)
  (native integers.a libintegers_stubs.a))
 (modes byte native)
 (modules
  (unwrapped
   ((name Signed) (obj_name signed) (visibility public) (impl) (intf))
   ((name Unsigned) (obj_name unsigned) (visibility public) (impl) (intf)))))
(library
 (name integers.top)
 (kind normal)
 (synopsis "toplevel pretty printers")
 (archives (byte top/integers_top.cma) (native top/integers_top.cmxa))
 (plugins (byte top/integers_top.cma) (native top/integers_top.cmxs))
 (foreign_archives (native top/integers_top.a))
 (requires integers compiler-libs)
 (modes byte)
 (modules
  (unwrapped
   ((name Install_integer_printers)
    (obj_name install_integer_printers)
    (visibility public)
    (impl)
    (intf))
   ((name Integer_printers)
    (obj_name integer_printers)
    (visibility public)
    (impl)
    (intf)))))
