add stub libs for compat

mirage · Jul 31, 2019 · af7bdeb · af7bdeb
1 parent 03576bd
commit af7bdeb
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/lib/dune b/lib/dune
@@ -6,3 +6,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)
+)