Browse files

[oasis] fix oasis install

  • Loading branch information...
1 parent 438eebb commit 9ef1373361c11ac03120f9d2050e1c50ddc2c325 @mor1 mor1 committed Jul 19, 2012
Showing with 5,730 additions and 8 deletions.
  1. +2 −0 .gitignore
  2. +4 −1 unix/Makefile
  3. +7 −7 unix/myocamlbuild.ml
  4. +5,717 −0 unix/setup.ml
View
2 .gitignore
@@ -1,3 +1,5 @@
+unix/setup.data
+unix/setup.log
*.swp
_build/
_config/
View
5 unix/Makefile
@@ -1,10 +1,13 @@
all: build
-NAME=crypto_keys
+NAME=cstruct
J=4
export OCAMLRUNPARAM=b
+setup.ml: _oasis
+ oasis setup
+
setup.data: setup.ml
ocaml setup.ml -configure
View
14 unix/myocamlbuild.ml
@@ -1,7 +1,7 @@
(* OASIS_START *)
-(* DO NOT EDIT (digest: 38e9332057edec21051442cd27d46fff) *)
+(* DO NOT EDIT (digest: 0a045a0d59d01e86ec441b6769919142) *)
module OASISGettext = struct
-# 21 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/oasis/OASISGettext.ml"
+# 21 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/oasis/OASISGettext.ml"
let ns_ str =
str
@@ -24,7 +24,7 @@ module OASISGettext = struct
end
module OASISExpr = struct
-# 21 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/oasis/OASISExpr.ml"
+# 21 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/oasis/OASISExpr.ml"
@@ -116,7 +116,7 @@ end
# 117 "myocamlbuild.ml"
module BaseEnvLight = struct
-# 21 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/base/BaseEnvLight.ml"
+# 21 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/base/BaseEnvLight.ml"
module MapString = Map.Make(String)
@@ -214,7 +214,7 @@ end
# 215 "myocamlbuild.ml"
module MyOCamlbuildFindlib = struct
-# 21 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildFindlib.ml"
+# 21 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildFindlib.ml"
(** OCamlbuild extension, copied from
* http://brion.inria.fr/gallium/index.php/Using_ocamlfind_with_ocamlbuild
@@ -323,7 +323,7 @@ module MyOCamlbuildFindlib = struct
end
module MyOCamlbuildBase = struct
-# 21 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml"
+# 21 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml"
(** Base functions for writing myocamlbuild.ml
@author Sylvain Le Gall
@@ -339,7 +339,7 @@ module MyOCamlbuildBase = struct
type name = string
type tag = string
-# 56 "/Users/avsm/.opam/system/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml"
+# 56 "/Users/mort/.opam/mir-uxd/build/oasis.0.3.0/src/plugins/ocamlbuild/MyOCamlbuildBase.ml"
type t =
{
View
5,717 unix/setup.ml
5,717 additions, 0 deletions not shown because the diff is too large. Please use a local Git client to view these changes.

0 comments on commit 9ef1373

Please sign in to comment.