use workspace flags

mirage · Jul 31, 2019 · 03576bd · 03576bd
1 parent 3e5b66f
commit 03576bd
Show file tree

Hide file tree

Showing 7 changed files with 1 addition and 50 deletions.
diff --git a/lib/config/discover.ml b/lib/config/discover.ml
diff --git a/lib/config/dune b/lib/config/dune
diff --git a/lib/dune b/lib/dune
@@ -3,27 +3,6 @@
  (public_name io-page)
  (modules Io_page)
  (libraries cstruct bigarray-compat)
- (js_of_ocaml (javascript_files io-page.js))
- (wrapped false))
-
-(library
- (name io_page_xen)
- (public_name io-page-xen)
- (libraries io-page)
- (modules Io_page_xen_dummy)
- (c_names stub_alloc_pages_xen stub_get_addr_xen)
- (c_flags (:include c_flags_xen.sexp))
- (wrapped false))
-
-(rule
- (targets c_flags_xen.sexp)
- (deps config/discover.exe)
- (action (run %{deps})))
-
-(library
- (name io_page_unix)
- (public_name io-page-unix)
- (libraries io-page bigarray)
- (modules Io_page_unix_dummy)
  (c_names stub_alloc_pages stub_get_addr)
+ (js_of_ocaml (javascript_files io-page.js))
  (wrapped false))
diff --git a/lib/io_page_unix_dummy.ml b/lib/io_page_unix_dummy.ml
diff --git a/lib/io_page_xen_dummy.ml b/lib/io_page_xen_dummy.ml
diff --git a/lib/stub_alloc_pages_xen.c b/lib/stub_alloc_pages_xen.c
diff --git a/lib/stub_get_addr_xen.c b/lib/stub_get_addr_xen.c