From af7bdebd6bc8f496bdf42dd7212f19cdf17b268c Mon Sep 17 00:00:00 2001
From: Lucas Pluvinage <lucas.pluvinage@gmail.com>
Date: Tue, 9 Jul 2019 11:55:46 +0200
Subject: [PATCH] add stub libs for compat

---
 lib/dune | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/lib/dune b/lib/dune
index bb884b7..b47d55a 100644
--- 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)
+)
\ No newline at end of file