(lang dune 1.11)
(name io-page-unix)
(version 2.3.0)
(library
 (name io-page-unix)
 (kind normal)
 (archives (byte io_page_unix.cma) (native io_page_unix.cmxa))
 (plugins (byte io_page_unix.cma) (native io_page_unix.cmxs))
 (foreign_objects stub_alloc_pages.o stub_get_addr.o)
 (foreign_archives
  (byte libio_page_unix_stubs.a)
  (native io_page_unix.a libio_page_unix_stubs.a))
 (requires io-page bigarray)
 (modes byte native)
 (modules
  (singleton
   (name Io_page_unix_dummy)
   (obj_name io_page_unix_dummy)
   (visibility public)
   (impl))))
