Package xenops_types

Signed-off-by: Jon Ludlam <[email protected]>
xapi-project · Jan 27, 2017 · 4944ec1 · 4944ec1
1 parent f5e924d
commit 4944ec1
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 7 deletions.
diff --git a/_oasis b/_oasis
@@ -51,7 +51,7 @@ Library xcp_xen
   Path:               xen
   Findlibname:        xen
   Findlibparent:      xcp
-  Modules:            Xenops_interface, Xenops_client, Device_number
+  Modules:            Xenops_interface, Xenops_types, Xenops_client, Device_number
   BuildDepends:       xcp, threads, ppx_deriving_rpc, rpclib
 
 Library xcp_memory

diff --git a/setup.ml b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.3.1 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 5535bdd43fca707088a8be01c75b9b7d) *)
+(* DO NOT EDIT (digest: 72fb8626bd33532215fe7f656f3f2991) *)
 (*
    Regenerated by OASIS v0.4.7
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7965,7 +7965,11 @@ let setup_t =
                    },
                    {
                       lib_modules =
-                        ["Xenops_interface"; "Xenops_client"; "Device_number"
+                        [
+                           "Xenops_interface";
+                           "Xenops_types";
+                           "Xenops_client";
+                           "Device_number"
                         ];
                       lib_pack = false;
                       lib_internal_modules = [];
@@ -8757,15 +8761,16 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.7";
-     oasis_digest = Some "\213{\211U\193\189wmeh\153\002\206\225\221\030";
+     oasis_digest =
+       Some "\137\187/\015b\137\200\162\169\139\211/\251U\219\158";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
   };;
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 8769 "setup.ml"
+# 8774 "setup.ml"
 let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t
 open BaseCompat.Compat_0_4
 (* OASIS_STOP *)

diff --git a/xen/xcp_xen.mldylib b/xen/xcp_xen.mldylib
@@ -1,6 +1,7 @@
 # OASIS_START
-# DO NOT EDIT (digest: c9ed7e1aecacbf8c04f6afd0cb27420e)
+# DO NOT EDIT (digest: 6feea5180d09d090aa7013e32a5d9b7d)
 Xenops_interface
+Xenops_types
 Xenops_client
 Device_number
 # OASIS_STOP
diff --git a/xen/xcp_xen.mllib b/xen/xcp_xen.mllib
@@ -1,6 +1,7 @@
 # OASIS_START
-# DO NOT EDIT (digest: c9ed7e1aecacbf8c04f6afd0cb27420e)
+# DO NOT EDIT (digest: 6feea5180d09d090aa7013e32a5d9b7d)
 Xenops_interface
+Xenops_types
 Xenops_client
 Device_number
 # OASIS_STOP