Re: [Caml-list] Re: oasis & macosx

[Till Varoquaux <till@pps.jussieu.fr>]

[-- Attachment #1: Type: text/plain, Size: 1660 bytes --]

In order to compile and oasis install on OS-x you will need:

_ To patch the makefile in file-utils. It calls [install] with -d
which is a gnu specific extension. It should probably use the install
bundled with configure but the patch I uploaded just makes the call
posix compatible.
_ To update ocaml-data-notation to compile with the new type-conv.
The patch also remove calls out to oasis during the compile (I used a
darcs checkout).

Till


On Mon, May 30, 2011 at 7:47 AM, Daniel Bünzli
<daniel.buenzli@erratique.ch> wrote:
> On 30 May 2011 13:15, Sylvain Le Gall <sylvain@le-gall.net> wrote:
>> Hi, you use type-conv 2.3.0, which is not yet compatible with
>> ocaml-data-notation...
>>
>> For now, I stick to type-conv 1.7.1. I really need to update it but
>> ENOTENOUGH time for now....
>
> The problem is that  type-conv 1.7.1 doesn't compile with ocaml 3.12...
>
> Daniel
>
>> make
> ocamlc -c -w Ae -I +camlp4 pa_type_conv.mli
> ocamlc -c -pp "camlp4orf " -w Ae -I +camlp4 pa_type_conv.ml
> File "pa_type_conv.ml", line 349, characters 33-37:
> Error: This expression has type
>         Camlp4.PreCast.Syntax.Gram.token_info =
>           Camlp4.PreCast.Gram.token_info
>       but an expression was expected of type
>         Camlp4.PreCast.Syntax.Loc.t = Camlp4.PreCast.Loc.t
> make[1]: *** [pa_type_conv.cmo] Error 2
> make: *** [all] Error 2
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

[-- Attachment #2: odn-type-conv.patch --]
[-- Type: application/octet-stream, Size: 4839 bytes --]

diff -rN -u old-ocaml-data-notation/_oasis new-ocaml-data-notation/_oasis
--- old-ocaml-data-notation/_oasis	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/_oasis	2011-05-30 09:37:24.000000000 -0400
@@ -20,10 +20,10 @@
   FindlibParent:      odn
   FindlibContainers:  with
   FindlibName:        syntax
-  BuildDepends:       type-conv (>= 1.5.0), camlp4.lib, camlp4.quotations.o 
+  BuildDepends:       type-conv (>= 2.3.0), camlp4.lib, camlp4.quotations.o 
   CompiledObject:     byte
   XMETAType:          syntax
-  XMETARequires:      type-conv.syntax, camlp4, odn
+  XMETARequires:      type-conv, camlp4, odn
   XMETADescription:   Syntax extension for odn
 
 Library pa_noodn
@@ -35,7 +35,7 @@
   BuildDepends:       type-conv, camlp4.lib, camlp4.quotations.o 
   CompiledObject:     byte
   XMETAType:          syntax
-  XMETARequires:      type-conv.syntax, camlp4
+  XMETARequires:      type-conv, camlp4
   XMETADescription:   Syntax extension that removes 'with odn'
 
 Flag tests
diff -rN -u old-ocaml-data-notation/setup.ml new-ocaml-data-notation/setup.ml
--- old-ocaml-data-notation/setup.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/setup.ml	2011-05-30 09:37:24.000000000 -0400
@@ -5348,9 +5348,9 @@
 let setup () = BaseSetup.setup setup_t;;
 
 
-let dev_t = {BaseDev.oasis_cmd = "oasis"; };;
+(*let dev_t = {BaseDev.oasis_cmd = "oasis"; };;
 
-let setup () = BaseDev.update_and_run dev_t;;
+let setup () = BaseDev.update_and_run dev_t;;*)
 
 (* OASIS_STOP *)
 let () = setup ();;
diff -rN -u old-ocaml-data-notation/src/META new-ocaml-data-notation/src/META
--- old-ocaml-data-notation/src/META	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/src/META	2011-05-30 09:37:24.000000000 -0400
@@ -31,7 +31,7 @@
  package "syntax" (
   version = "0.0.3"
   description = "Syntax extension that removes 'with odn'"
-  requires = "type-conv.syntax camlp4"
+  requires = "type-conv camlp4"
   archive(syntax,preprocessor) = "pa_noodn.cma"
   archive(syntax,toploop) = "pa_noodn.cma"
   exists_if = "pa_noodn.cma"
@@ -43,7 +43,7 @@
  package "syntax" (
   version = "0.0.3"
   description = "Syntax extension for odn"
-  requires = "type-conv.syntax camlp4 odn"
+  requires = "type-conv camlp4 odn"
   archive(syntax,preprocessor) = "pa_odn.cma"
   archive(syntax,toploop) = "pa_odn.cma"
   exists_if = "pa_odn.cma"
diff -rN -u old-ocaml-data-notation/src/pa_odn.ml new-ocaml-data-notation/src/pa_odn.ml
--- old-ocaml-data-notation/src/pa_odn.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/src/pa_odn.ml	2011-05-30 09:37:24.000000000 -0400
@@ -199,7 +199,7 @@
     function
       | TyDcl (_loc, type_name, tps, rhs, _cl) ->
           let body = 
-            Gen.switch_tp_def _loc
+            Gen.switch_tp_def
               ~alias:odn_of_alias
               ~sum:odn_of_sum
               ~record:odn_of_record
@@ -225,7 +225,7 @@
   let _loc, recursive = 
     match tp with
       | TyDcl (_loc, type_name, _, rhs, _) -> 
-          _loc, Gen.type_is_recursive _loc type_name rhs
+          _loc, Gen.type_is_recursive type_name rhs
       | TyAnd (_loc, _, _) -> 
           _loc, true
       | _ -> assert false
diff -rN -u old-ocaml-data-notation/tests/test.ml new-ocaml-data-notation/tests/test.ml
--- old-ocaml-data-notation/tests/test.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/tests/test.ml	2011-05-30 09:37:24.000000000 -0400
@@ -42,8 +42,8 @@
   let pa_noodn_cma =
     Filename.concat odn_path "pa_noodn.cma"
   in
-  let pa_type_conv_cmo = 
-    Filename.concat TestConf.pkg_type_conv_dir "pa_type_conv.cmo"
+  let pa_type_conv_cma = 
+    Filename.concat TestConf.pkg_type_conv_dir "pa_type_conv.cma"
   in
   let test_files (dir, fns) = 
     let nm =
@@ -69,7 +69,7 @@
                      print_endline ("File "^fn^": ");
                      assert_command
                        "camlp4o" 
-                       [pa_type_conv_cmo; pa_odn_cma; 
+                       [pa_type_conv_cma; pa_odn_cma; 
                         "Camlp4OCamlPrinter.cmo"; fn])
                   fns
               end;
@@ -77,7 +77,7 @@
             assert_command
               "ocamlfind"
               (["ocamlc"; "-g"; "-o"; "test"; "-I"; odn_path;
-                "-package"; "type-conv.syntax"; "-syntax";  "camlp4o";
+                "-package"; "type-conv"; "-syntax";  "camlp4o";
                 "-ppopt"; pa_odn_cma; "odn.cma"] @ fns)))
          (fun old_cwd ->
             rm 
@@ -165,7 +165,7 @@
               assert_command 
                 ~foutput
                 "camlp4o" 
-                [pa_type_conv_cmo; pa_noodn_cma; 
+                [pa_type_conv_cma; pa_noodn_cma; 
                  "Camlp4OCamlPrinter.cmo";
                  "tests/data/oasis-examples/OASISTypes.ml"]
          );

[-- Attachment #3: ocaml-fileutils-0.4.2.darwin-install.patch --]
[-- Type: application/octet-stream, Size: 569 bytes --]

diff -Naur ocaml-fileutils-0.4.2.fix/Makefile ocaml-fileutils-0.4.2/Makefile
--- ocaml-fileutils-0.4.2.fix/Makefile	2011-05-08 22:04:50.000000000 -0500
+++ ocaml-fileutils-0.4.2/Makefile	2011-05-08 22:05:03.000000000 -0500
@@ -72,8 +72,9 @@
 	  $(wildcard $(BUILDDIR)/fileutils-str.lib) \
 	  $(wildcard $(BUILDDIR)/*.cmx) 
 	$(INSTALL) -d $(htmldir)/api
-	$(INSTALL_DATA) -t $(htmldir)/api \
-	  $(wildcard $(BUILDDIR)/fileutils.docdir/*)
+	$(INSTALL_DATA) \
+	  $(wildcard $(BUILDDIR)/fileutils.docdir/*) \
+	  $(htmldir)/api
 
 uninstall:
 	-$(RM) -r $(htmldir)/api