Merge pull request #8 from jonludlam/fix-install

Don't use oasis to install the binaries
xapi-project · Jun 5, 2014 · c4d337d · c4d337d
2 parents e1720fc + 3b65e3d
commit c4d337d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/_oasis b/_oasis
@@ -22,7 +22,7 @@ Executable list_domains
   CompiledObject:     best
   Path:               list_domains
   MainIs:             list_domains.ml
-  Install:            true
+  Install:            false
   ByteOpt:            -bin-annot
   NativeOpt:          -bin-annot
   BuildDepends:       xenops

diff --git a/setup.ml b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.4 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: b1f0c65af0d0db92675fd63fe282aa3d) *)
+(* DO NOT EDIT (digest: 353ba9b228c5466eba8f10c5ddbddf25) *)
 (*
    Regenerated by OASIS v0.4.4
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6750,7 +6750,7 @@ let setup_t =
                   },
                    {
                       bs_build = [(OASISExpr.EBool true, true)];
-                      bs_install = [(OASISExpr.EBool true, true)];
+                      bs_install = [(OASISExpr.EBool true, false)];
                       bs_path = "list_domains";
                       bs_compiled_object = Best;
                       bs_build_depends = [InternalLibrary "xenops"];
@@ -6774,7 +6774,7 @@ let setup_t =
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.4";
      oasis_digest =
-       Some "\198.\028\242\169\161\135\175\171\0305N~\003\023\179";
+       Some "l\021\165\007\139\029\175\199\031A\0254\168\001\136s";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false