1. camlspotter
  2. spotlib

Commits

camlspotter  committed 34eacf3

oasis fix

  • Participants
  • Parent commits d30f755
  • Branches 2.0.1

Comments (0)

Files changed (2)

File _oasis

View file
  • Ignore whitespace
 Plugins:      StdFiles (0.2)
 BuildType:    Custom (0.2)
 InstallType:    Custom (0.2)
-XCustomBuild: . ./setup.data; yes no | omake --install; omake
-XCustomInstall: . ./setup.data; omake install
-XCustomUninstall: . ./setup.data; omake uninstall
+XCustomBuild: . yes no | omake --install; PREFIX=$prefix omake
+XCustomInstall: PREFIX=$prefix omake install
+XCustomUninstall: PREFIX=$prefix omake uninstall
 BuildTools: omake
 BuildDepends:  unix
 

File setup.ml

View file
  • Ignore whitespace
 (* setup.ml generated for the first time by OASIS v0.3.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: a45b6486433ab9f57b53dbf343202586) *)
+(* DO NOT EDIT (digest: cf12a85d48b27d07f73820b2fe2fb571) *)
 (*
    Regenerated by OASIS v0.3.0
    Visit http://oasis.forge.ocamlcore.org for more information and
                  (OASISExpr.EBool true,
                    (".",
                      [
-                        "./setup.data;";
                         "yes";
                         "no";
                         "|";
                         "omake";
                         "--install;";
+                        "PREFIX=$prefix";
                         "omake"
                      ]))
               ];
             CustomPlugin.cmd_main =
               [
                  (OASISExpr.EBool true,
-                   (".", ["./setup.data;"; "omake"; "install"]))
+                   ("PREFIX=$prefix", ["omake"; "install"]))
               ];
             cmd_clean = [(OASISExpr.EBool true, None)];
             cmd_distclean = [(OASISExpr.EBool true, None)];
             CustomPlugin.cmd_main =
               [
                  (OASISExpr.EBool true,
-                   (".", ["./setup.data;"; "omake"; "uninstall"]))
+                   ("PREFIX=$prefix", ["omake"; "uninstall"]))
               ];
             cmd_clean = [(OASISExpr.EBool true, None)];
             cmd_distclean = [(OASISExpr.EBool true, None)];
                     (OASISExpr.EBool true,
                       (".",
                         [
-                           "./setup.data;";
                            "yes";
                            "no";
                            "|";
                            "omake";
                            "--install;";
+                           "PREFIX=$prefix";
                            "omake"
                         ]))
                  ];
                CustomPlugin.cmd_main =
                  [
                     (OASISExpr.EBool true,
-                      (".", ["./setup.data;"; "omake"; "install"]))
+                      ("PREFIX=$prefix", ["omake"; "install"]))
                  ];
                cmd_clean = [(OASISExpr.EBool true, None)];
                cmd_distclean = [(OASISExpr.EBool true, None)];
                CustomPlugin.cmd_main =
                  [
                     (OASISExpr.EBool true,
-                      (".", ["./setup.data;"; "omake"; "uninstall"]))
+                      ("PREFIX=$prefix", ["omake"; "uninstall"]))
                  ];
                cmd_clean = [(OASISExpr.EBool true, None)];
                cmd_distclean = [(OASISExpr.EBool true, None)];
                     (OASISExpr.EBool true,
                       (".",
                         [
-                           "./setup.data;";
                            "yes";
                            "no";
                            "|";
                            "omake";
                            "--install;";
+                           "PREFIX=$prefix";
                            "omake"
                         ]))
                  ];
                CustomPlugin.cmd_main =
                  [
                     (OASISExpr.EBool true,
-                      (".", ["./setup.data;"; "omake"; "install"]))
+                      ("PREFIX=$prefix", ["omake"; "install"]))
                  ];
                cmd_clean = [(OASISExpr.EBool true, None)];
                cmd_distclean = [(OASISExpr.EBool true, None)];
                CustomPlugin.cmd_main =
                  [
                     (OASISExpr.EBool true,
-                      (".", ["./setup.data;"; "omake"; "uninstall"]))
+                      ("PREFIX=$prefix", ["omake"; "uninstall"]))
                  ];
                cmd_clean = [(OASISExpr.EBool true, None)];
                cmd_distclean = [(OASISExpr.EBool true, None)];
           };
      oasis_fn = Some "_oasis";
      oasis_version = "0.3.0";
-     oasis_digest = Some "7\238\186\200\241\159bpv\t\241\179\192\234A1";
+     oasis_digest = Some "\011\029ho\201(\185\002\024\019\247M_0\1578";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false;