From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4UDsw3q012123 for ; Mon, 30 May 2011 15:54:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmAEAFah403RVaE2imdsb2JhbAA/AQMShEmTIY44CBQBAQEKCQ0HEgYhqUmLYoJzg3+JGwEBAwaFEYEHBJBPiyY7gSqCKw X-IronPort-AV: E=Sophos;i="4.65,291,1304287200"; d="scan'208";a="95717648" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 May 2011 15:54:36 +0200 Received: by fxm11 with SMTP id 11so4999610fxm.27 for ; Mon, 30 May 2011 06:54:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=FLShWxtYWuU4DPBlzsDMt6hJPUIjjT27FuBG6El+t8A=; b=hyRnNXJti1ZGdS7n8gq2Mtp3/yzOnzudeIDyB5Rjn+Iw1aAbingP66fnlpMAmCHkl9 wPysJ2lo6dIgDGMfPMQ3fb3gM4V9lge3zHaSsKZD+GwDqOeL9Ixi4JN26erdnCQykhYt p4/BrlwulcydPqPvdSdxwmpW4s2vq7YjGhFRc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=fF1DdiN5jm0Z8oy4TnOP+l9AAymkvJ7UkgMgHUsrNuA57Y6XIGy8fRZApuwJTWLdWq N8cwxCJiB4IMubMZKt1lK063zpOYcKfFp094GS57neYp/xBKdwFfBU0S0VGCA3BdOeUh nFmzlz0D22TmENR1YycBcHCBJZaVfdunyL4L8= MIME-Version: 1.0 Received: by 10.223.71.204 with SMTP id i12mr1530291faj.65.1306763674792; Mon, 30 May 2011 06:54:34 -0700 (PDT) Sender: till.varoquaux@gmail.com Received: by 10.223.72.13 with HTTP; Mon, 30 May 2011 06:54:34 -0700 (PDT) In-Reply-To: References: <20110519092949.GK30282@centi.ks368928.kimsufi.com> Date: Mon, 30 May 2011 09:54:34 -0400 X-Google-Sender-Auth: e1_6Hfztfnf-MAMdHxbWyzHrFnY Message-ID: From: Till Varoquaux To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Sylvain Le Gall , caml-list@inria.fr Content-Type: multipart/mixed; boundary=20cf3054a8c1a4341b04a47ea000 X-Validation-by: till@pps.jussieu.fr Subject: Re: [Caml-list] Re: oasis & macosx --20cf3054a8c1a4341b04a47ea000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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=C3=BCnzli wrote: > On 30 May 2011 13:15, Sylvain Le Gall 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 =C2=A0type-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 > =C2=A0 =C2=A0 =C2=A0 =C2=A0 Camlp4.PreCast.Syntax.Gram.token_info =3D > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Camlp4.PreCast.Gram.token_info > =C2=A0 =C2=A0 =C2=A0 but an expression was expected of type > =C2=A0 =C2=A0 =C2=A0 =C2=A0 Camlp4.PreCast.Syntax.Loc.t =3D Camlp4.PreCas= t.Loc.t > make[1]: *** [pa_type_conv.cmo] Error 2 > make: *** [all] Error 2 > > -- > Caml-list mailing list. =C2=A0Subscription 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 > > --20cf3054a8c1a4341b04a47ea000 Content-Type: application/octet-stream; name="odn-type-conv.patch" Content-Disposition: attachment; filename="odn-type-conv.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f_gobh0bhs0 ZGlmZiAtck4gLXUgb2xkLW9jYW1sLWRhdGEtbm90YXRpb24vX29hc2lzIG5l dy1vY2FtbC1kYXRhLW5vdGF0aW9uL19vYXNpcwotLS0gb2xkLW9jYW1sLWRh dGEtbm90YXRpb24vX29hc2lzCTIwMTEtMDUtMzAgMDk6Mzc6MjQuMDAwMDAw MDAwIC0wNDAwCisrKyBuZXctb2NhbWwtZGF0YS1ub3RhdGlvbi9fb2FzaXMJ MjAxMS0wNS0zMCAwOTozNzoyNC4wMDAwMDAwMDAgLTA0MDAKQEAgLTIwLDEw ICsyMCwxMCBAQAogICBGaW5kbGliUGFyZW50OiAgICAgIG9kbgogICBGaW5k bGliQ29udGFpbmVyczogIHdpdGgKICAgRmluZGxpYk5hbWU6ICAgICAgICBz eW50YXgKLSAgQnVpbGREZXBlbmRzOiAgICAgICB0eXBlLWNvbnYgKD49IDEu NS4wKSwgY2FtbHA0LmxpYiwgY2FtbHA0LnF1b3RhdGlvbnMubyAKKyAgQnVp bGREZXBlbmRzOiAgICAgICB0eXBlLWNvbnYgKD49IDIuMy4wKSwgY2FtbHA0 LmxpYiwgY2FtbHA0LnF1b3RhdGlvbnMubyAKICAgQ29tcGlsZWRPYmplY3Q6 ICAgICBieXRlCiAgIFhNRVRBVHlwZTogICAgICAgICAgc3ludGF4Ci0gIFhN RVRBUmVxdWlyZXM6ICAgICAgdHlwZS1jb252LnN5bnRheCwgY2FtbHA0LCBv ZG4KKyAgWE1FVEFSZXF1aXJlczogICAgICB0eXBlLWNvbnYsIGNhbWxwNCwg b2RuCiAgIFhNRVRBRGVzY3JpcHRpb246ICAgU3ludGF4IGV4dGVuc2lvbiBm b3Igb2RuCiAKIExpYnJhcnkgcGFfbm9vZG4KQEAgLTM1LDcgKzM1LDcgQEAK ICAgQnVpbGREZXBlbmRzOiAgICAgICB0eXBlLWNvbnYsIGNhbWxwNC5saWIs IGNhbWxwNC5xdW90YXRpb25zLm8gCiAgIENvbXBpbGVkT2JqZWN0OiAgICAg Ynl0ZQogICBYTUVUQVR5cGU6ICAgICAgICAgIHN5bnRheAotICBYTUVUQVJl cXVpcmVzOiAgICAgIHR5cGUtY29udi5zeW50YXgsIGNhbWxwNAorICBYTUVU QVJlcXVpcmVzOiAgICAgIHR5cGUtY29udiwgY2FtbHA0CiAgIFhNRVRBRGVz Y3JpcHRpb246ICAgU3ludGF4IGV4dGVuc2lvbiB0aGF0IHJlbW92ZXMgJ3dp dGggb2RuJwogCiBGbGFnIHRlc3RzCmRpZmYgLXJOIC11IG9sZC1vY2FtbC1k YXRhLW5vdGF0aW9uL3NldHVwLm1sIG5ldy1vY2FtbC1kYXRhLW5vdGF0aW9u L3NldHVwLm1sCi0tLSBvbGQtb2NhbWwtZGF0YS1ub3RhdGlvbi9zZXR1cC5t bAkyMDExLTA1LTMwIDA5OjM3OjI0LjAwMDAwMDAwMCAtMDQwMAorKysgbmV3 LW9jYW1sLWRhdGEtbm90YXRpb24vc2V0dXAubWwJMjAxMS0wNS0zMCAwOToz NzoyNC4wMDAwMDAwMDAgLTA0MDAKQEAgLTUzNDgsOSArNTM0OCw5IEBACiBs ZXQgc2V0dXAgKCkgPSBCYXNlU2V0dXAuc2V0dXAgc2V0dXBfdDs7CiAKIAot bGV0IGRldl90ID0ge0Jhc2VEZXYub2FzaXNfY21kID0gIm9hc2lzIjsgfTs7 CisoKmxldCBkZXZfdCA9IHtCYXNlRGV2Lm9hc2lzX2NtZCA9ICJvYXNpcyI7 IH07OwogCi1sZXQgc2V0dXAgKCkgPSBCYXNlRGV2LnVwZGF0ZV9hbmRfcnVu IGRldl90OzsKK2xldCBzZXR1cCAoKSA9IEJhc2VEZXYudXBkYXRlX2FuZF9y dW4gZGV2X3Q7OyopCiAKICgqIE9BU0lTX1NUT1AgKikKIGxldCAoKSA9IHNl dHVwICgpOzsKZGlmZiAtck4gLXUgb2xkLW9jYW1sLWRhdGEtbm90YXRpb24v c3JjL01FVEEgbmV3LW9jYW1sLWRhdGEtbm90YXRpb24vc3JjL01FVEEKLS0t IG9sZC1vY2FtbC1kYXRhLW5vdGF0aW9uL3NyYy9NRVRBCTIwMTEtMDUtMzAg MDk6Mzc6MjQuMDAwMDAwMDAwIC0wNDAwCisrKyBuZXctb2NhbWwtZGF0YS1u b3RhdGlvbi9zcmMvTUVUQQkyMDExLTA1LTMwIDA5OjM3OjI0LjAwMDAwMDAw MCAtMDQwMApAQCAtMzEsNyArMzEsNyBAQAogIHBhY2thZ2UgInN5bnRheCIg KAogICB2ZXJzaW9uID0gIjAuMC4zIgogICBkZXNjcmlwdGlvbiA9ICJTeW50 YXggZXh0ZW5zaW9uIHRoYXQgcmVtb3ZlcyAnd2l0aCBvZG4nIgotICByZXF1 aXJlcyA9ICJ0eXBlLWNvbnYuc3ludGF4IGNhbWxwNCIKKyAgcmVxdWlyZXMg PSAidHlwZS1jb252IGNhbWxwNCIKICAgYXJjaGl2ZShzeW50YXgscHJlcHJv Y2Vzc29yKSA9ICJwYV9ub29kbi5jbWEiCiAgIGFyY2hpdmUoc3ludGF4LHRv cGxvb3ApID0gInBhX25vb2RuLmNtYSIKICAgZXhpc3RzX2lmID0gInBhX25v b2RuLmNtYSIKQEAgLTQzLDcgKzQzLDcgQEAKICBwYWNrYWdlICJzeW50YXgi ICgKICAgdmVyc2lvbiA9ICIwLjAuMyIKICAgZGVzY3JpcHRpb24gPSAiU3lu dGF4IGV4dGVuc2lvbiBmb3Igb2RuIgotICByZXF1aXJlcyA9ICJ0eXBlLWNv bnYuc3ludGF4IGNhbWxwNCBvZG4iCisgIHJlcXVpcmVzID0gInR5cGUtY29u diBjYW1scDQgb2RuIgogICBhcmNoaXZlKHN5bnRheCxwcmVwcm9jZXNzb3Ip ID0gInBhX29kbi5jbWEiCiAgIGFyY2hpdmUoc3ludGF4LHRvcGxvb3ApID0g InBhX29kbi5jbWEiCiAgIGV4aXN0c19pZiA9ICJwYV9vZG4uY21hIgpkaWZm IC1yTiAtdSBvbGQtb2NhbWwtZGF0YS1ub3RhdGlvbi9zcmMvcGFfb2RuLm1s IG5ldy1vY2FtbC1kYXRhLW5vdGF0aW9uL3NyYy9wYV9vZG4ubWwKLS0tIG9s ZC1vY2FtbC1kYXRhLW5vdGF0aW9uL3NyYy9wYV9vZG4ubWwJMjAxMS0wNS0z MCAwOTozNzoyNC4wMDAwMDAwMDAgLTA0MDAKKysrIG5ldy1vY2FtbC1kYXRh LW5vdGF0aW9uL3NyYy9wYV9vZG4ubWwJMjAxMS0wNS0zMCAwOTozNzoyNC4w MDAwMDAwMDAgLTA0MDAKQEAgLTE5OSw3ICsxOTksNyBAQAogICAgIGZ1bmN0 aW9uCiAgICAgICB8IFR5RGNsIChfbG9jLCB0eXBlX25hbWUsIHRwcywgcmhz LCBfY2wpIC0+CiAgICAgICAgICAgbGV0IGJvZHkgPSAKLSAgICAgICAgICAg IEdlbi5zd2l0Y2hfdHBfZGVmIF9sb2MKKyAgICAgICAgICAgIEdlbi5zd2l0 Y2hfdHBfZGVmCiAgICAgICAgICAgICAgIH5hbGlhczpvZG5fb2ZfYWxpYXMK ICAgICAgICAgICAgICAgfnN1bTpvZG5fb2Zfc3VtCiAgICAgICAgICAgICAg IH5yZWNvcmQ6b2RuX29mX3JlY29yZApAQCAtMjI1LDcgKzIyNSw3IEBACiAg IGxldCBfbG9jLCByZWN1cnNpdmUgPSAKICAgICBtYXRjaCB0cCB3aXRoCiAg ICAgICB8IFR5RGNsIChfbG9jLCB0eXBlX25hbWUsIF8sIHJocywgXykgLT4g Ci0gICAgICAgICAgX2xvYywgR2VuLnR5cGVfaXNfcmVjdXJzaXZlIF9sb2Mg dHlwZV9uYW1lIHJocworICAgICAgICAgIF9sb2MsIEdlbi50eXBlX2lzX3Jl Y3Vyc2l2ZSB0eXBlX25hbWUgcmhzCiAgICAgICB8IFR5QW5kIChfbG9jLCBf LCBfKSAtPiAKICAgICAgICAgICBfbG9jLCB0cnVlCiAgICAgICB8IF8gLT4g YXNzZXJ0IGZhbHNlCmRpZmYgLXJOIC11IG9sZC1vY2FtbC1kYXRhLW5vdGF0 aW9uL3Rlc3RzL3Rlc3QubWwgbmV3LW9jYW1sLWRhdGEtbm90YXRpb24vdGVz dHMvdGVzdC5tbAotLS0gb2xkLW9jYW1sLWRhdGEtbm90YXRpb24vdGVzdHMv dGVzdC5tbAkyMDExLTA1LTMwIDA5OjM3OjI0LjAwMDAwMDAwMCAtMDQwMAor KysgbmV3LW9jYW1sLWRhdGEtbm90YXRpb24vdGVzdHMvdGVzdC5tbAkyMDEx LTA1LTMwIDA5OjM3OjI0LjAwMDAwMDAwMCAtMDQwMApAQCAtNDIsOCArNDIs OCBAQAogICBsZXQgcGFfbm9vZG5fY21hID0KICAgICBGaWxlbmFtZS5jb25j YXQgb2RuX3BhdGggInBhX25vb2RuLmNtYSIKICAgaW4KLSAgbGV0IHBhX3R5 cGVfY29udl9jbW8gPSAKLSAgICBGaWxlbmFtZS5jb25jYXQgVGVzdENvbmYu cGtnX3R5cGVfY29udl9kaXIgInBhX3R5cGVfY29udi5jbW8iCisgIGxldCBw YV90eXBlX2NvbnZfY21hID0gCisgICAgRmlsZW5hbWUuY29uY2F0IFRlc3RD b25mLnBrZ190eXBlX2NvbnZfZGlyICJwYV90eXBlX2NvbnYuY21hIgogICBp bgogICBsZXQgdGVzdF9maWxlcyAoZGlyLCBmbnMpID0gCiAgICAgbGV0IG5t ID0KQEAgLTY5LDcgKzY5LDcgQEAKICAgICAgICAgICAgICAgICAgICAgIHBy aW50X2VuZGxpbmUgKCJGaWxlICJeZm5eIjogIik7CiAgICAgICAgICAgICAg ICAgICAgICBhc3NlcnRfY29tbWFuZAogICAgICAgICAgICAgICAgICAgICAg ICAiY2FtbHA0byIgCi0gICAgICAgICAgICAgICAgICAgICAgIFtwYV90eXBl X2NvbnZfY21vOyBwYV9vZG5fY21hOyAKKyAgICAgICAgICAgICAgICAgICAg ICAgW3BhX3R5cGVfY29udl9jbWE7IHBhX29kbl9jbWE7IAogICAgICAgICAg ICAgICAgICAgICAgICAgIkNhbWxwNE9DYW1sUHJpbnRlci5jbW8iOyBmbl0p CiAgICAgICAgICAgICAgICAgICBmbnMKICAgICAgICAgICAgICAgZW5kOwpA QCAtNzcsNyArNzcsNyBAQAogICAgICAgICAgICAgYXNzZXJ0X2NvbW1hbmQK ICAgICAgICAgICAgICAgIm9jYW1sZmluZCIKICAgICAgICAgICAgICAgKFsi b2NhbWxjIjsgIi1nIjsgIi1vIjsgInRlc3QiOyAiLUkiOyBvZG5fcGF0aDsK LSAgICAgICAgICAgICAgICAiLXBhY2thZ2UiOyAidHlwZS1jb252LnN5bnRh eCI7ICItc3ludGF4IjsgICJjYW1scDRvIjsKKyAgICAgICAgICAgICAgICAi LXBhY2thZ2UiOyAidHlwZS1jb252IjsgIi1zeW50YXgiOyAgImNhbWxwNG8i OwogICAgICAgICAgICAgICAgICItcHBvcHQiOyBwYV9vZG5fY21hOyAib2Ru LmNtYSJdIEAgZm5zKSkpCiAgICAgICAgICAoZnVuIG9sZF9jd2QgLT4KICAg ICAgICAgICAgIHJtIApAQCAtMTY1LDcgKzE2NSw3IEBACiAgICAgICAgICAg ICAgIGFzc2VydF9jb21tYW5kIAogICAgICAgICAgICAgICAgIH5mb3V0cHV0 CiAgICAgICAgICAgICAgICAgImNhbWxwNG8iIAotICAgICAgICAgICAgICAg IFtwYV90eXBlX2NvbnZfY21vOyBwYV9ub29kbl9jbWE7IAorICAgICAgICAg ICAgICAgIFtwYV90eXBlX2NvbnZfY21hOyBwYV9ub29kbl9jbWE7IAogICAg ICAgICAgICAgICAgICAiQ2FtbHA0T0NhbWxQcmludGVyLmNtbyI7CiAgICAg ICAgICAgICAgICAgICJ0ZXN0cy9kYXRhL29hc2lzLWV4YW1wbGVzL09BU0lT VHlwZXMubWwiXQogICAgICAgICAgKTsK --20cf3054a8c1a4341b04a47ea000 Content-Type: application/octet-stream; name="ocaml-fileutils-0.4.2.darwin-install.patch" Content-Disposition: attachment; filename="ocaml-fileutils-0.4.2.darwin-install.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f_gobh1kde1 ZGlmZiAtTmF1ciBvY2FtbC1maWxldXRpbHMtMC40LjIuZml4L01ha2VmaWxl IG9jYW1sLWZpbGV1dGlscy0wLjQuMi9NYWtlZmlsZQotLS0gb2NhbWwtZmls ZXV0aWxzLTAuNC4yLmZpeC9NYWtlZmlsZQkyMDExLTA1LTA4IDIyOjA0OjUw LjAwMDAwMDAwMCAtMDUwMAorKysgb2NhbWwtZmlsZXV0aWxzLTAuNC4yL01h a2VmaWxlCTIwMTEtMDUtMDggMjI6MDU6MDMuMDAwMDAwMDAwIC0wNTAwCkBA IC03Miw4ICs3Miw5IEBACiAJICAkKHdpbGRjYXJkICQoQlVJTERESVIpL2Zp bGV1dGlscy1zdHIubGliKSBcCiAJICAkKHdpbGRjYXJkICQoQlVJTERESVIp LyouY214KSAKIAkkKElOU1RBTEwpIC1kICQoaHRtbGRpcikvYXBpCi0JJChJ TlNUQUxMX0RBVEEpIC10ICQoaHRtbGRpcikvYXBpIFwKLQkgICQod2lsZGNh cmQgJChCVUlMRERJUikvZmlsZXV0aWxzLmRvY2Rpci8qKQorCSQoSU5TVEFM TF9EQVRBKSBcCisJICAkKHdpbGRjYXJkICQoQlVJTERESVIpL2ZpbGV1dGls cy5kb2NkaXIvKikgXAorCSAgJChodG1sZGlyKS9hcGkKIAogdW5pbnN0YWxs OgogCS0kKFJNKSAtciAkKGh0bWxkaXIpL2FwaQo= --20cf3054a8c1a4341b04a47ea000--