From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 73B987EEAF for ; Thu, 24 Jan 2013 17:24:27 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.8; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.8; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.8 as permitted sender) identity=helo; client-ip=212.227.17.8; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApIAALReAVHU4xEIk2dsb2JhbABEq2aSYhYOAQEBAQkJCwkUAySCHgEBBAFuCxAwITwJEgYTCQkCh3QDCQoItDYDiV8VkGYDjWaJQpIl X-IronPort-AV: E=Sophos;i="4.84,530,1355094000"; d="scan'208";a="169532839" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jan 2013 17:24:26 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-211-172.pools.arcor-ip.net [94.219.211.172]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0Lf0ON-1UoWK42GEh-00qJgY; Thu, 24 Jan 2013 17:24:19 +0100 Received: from samsung (ip-5-146-55-186.unitymediagroup.de [5.146.55.186]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 1EF0DC00CF; Thu, 24 Jan 2013 17:24:19 +0100 (CET) Date: Thu, 24 Jan 2013 17:24:19 +0100 From: Gerd Stolpmann To: Daniel =?iso-8859-1?q?B=FCnzli?= Cc: Alain Frisch , caml-list , wg-camlp4@lists.ocaml.org, Leo P White , Anil Madhavapeddy References: <510145A5.6030807@frisch.fr> <90C5BC201F264C4C902B4E7897660042@erratique.ch> In-Reply-To: <90C5BC201F264C4C902B4E7897660042@erratique.ch> (from daniel.buenzli@erratique.ch on Thu Jan 24 16:57:37 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1359044659.30715.4@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:dn38IU15M3b64+Hga+5NXRdkFCxZKDAVPUx3HhO7MFA i9JGQh7IHzkaPuhAWKVBjJCfZeZNV6KFPh0rLIc2l1rEamLtx0 iA06ftNIvt177KgRIw01Ry2vs2J7G6iHWQFik5U6qHII2Dr9Mz DCkCZsz0y3J014TgxeCCKY6h7oy7OkamTr3QqRn/inpRTBI7bV OybVjGwwbo/e6xhvAZQdsePIdGl9bnVjDbp1smcrVAeXi7QPIk eyy/b/EYRWuGT3w1FHTIjCd/3ReerBXFx1R+0JvAsqmAy8oWtc mh19bkIWPdCd2mUuzt4RF+P3mNinRfLzcG4Oqp4XXgrvb71a3L 74xBsJwoOhWEpMa+c+NH6f7PRm8nJXKNoEtzxevH/ Subject: AW: [Caml-list] Working Group: the future of syntax extensions in OCaml, after camlp4 Am 24.01.2013 16:57:37 schrieb(en) Daniel B=FCnzli: > Le jeudi, 24 janvier 2013 =E0 15:31, Alain Frisch a =E9crit : > > - Gather information from the community about the use of camlp4. > > (Please consider sharing information about your use of camlp4 > > and camlp4-based extensions, even if you don't plan to participate > > to the working group discussions!) >=20 > I tried to disable camlp4 to compile OCaml 4.00.1 on a raspberry pi=20=20 > --- takes half the (long) compilation time, and allows you to compile=20= =20 > OCaml without having to increase the swap size of the default=20=20 > raspbian image to prevent the system from crashing during camlp4=20=20 > compilation... >=20 > However one thing I learned is that currently, it's pretty a no go as=20= =20 > camlp4 is needed by ocamlfind which means that if you use something=20=20 > like opam to install software you can't install any of the 'required=20= =20 > by' packages mentioned on this page [1]. >=20 > So it seems that to get rid of camlp4, ocamlfind needs to get rid of=20= =20 > camlp4, I'd be interested in what Gerd has to say about that (I have=20= =20 > no idea if camlp4 is used by the tool itself or if it's just needed=20=20 > to provide support for camlp4). It's used in the tool, but only for stream parsing. I could also=20=20 distribute the already-preprocessed file (and maybe I'll do so in the=20=20 next release). Stream parsing is certainly one of the topics to discuss. Just fyi, findlib was originally developed at a time when camlp4 was=20=20 separately distributed, and stream parsing was supported by core OCaml=20= =20 w/o camlp4. Gerd >=20 > Best, >=20 > Daniel >=20 > [1] http://opam.ocamlpro.com/pkg/ocamlfind.1.3.3.html >=20 > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=