add stub libs for compat

mirage · Jul 9, 2019 · 2f58447 · 2f58447
1 parent 8eea0f4
commit 2f58447
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/lib/dune b/lib/dune
@@ -7,3 +7,17 @@
  (c_names stub_alloc_pages stub_get_addr)
  (js_of_ocaml (javascript_files io-page.js))
  (wrapped false))
+
+(library
+ (name io_page_unix)
+ (public_name io-page-unix)
+ (modules)
+ (libraries io-page)
+)
+
+(library
+ (name io_page_xen)
+ (public_name io-page-xen)
+ (modules)
+ (libraries io-page)
+)