From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DB6BD7EE49 for ; Fri, 20 Sep 2013 10:54:23 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 209.85.214.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-bk0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0DAMEMPFLRVdY1m2dsb2JhbABbgh+BIIN7vg+BGRYOAQEBAQEGCwsJFCiCJQEBBSMdARscAQEDDAYFCwMKAgIFFgsCAgkDAgECARERAQUBHAYNAQcCh24BAw8EnDmMAFGDB4QhChknDWSJAAEFDIEdjiMZB4JpgTUDlB+DXYEvhQKJXEGETQ X-IPAS-Result: Aq0DAMEMPFLRVdY1m2dsb2JhbABbgh+BIIN7vg+BGRYOAQEBAQEGCwsJFCiCJQEBBSMdARscAQEDDAYFCwMKAgIFFgsCAgkDAgECARERAQUBHAYNAQcCh24BAw8EnDmMAFGDB4QhChknDWSJAAEFDIEdjiMZB4JpgTUDlB+DXYEvhQKJXEGETQ X-IronPort-AV: E=Sophos;i="4.90,941,1371074400"; d="scan'208";a="27507833" Received: from mail-bk0-f53.google.com ([209.85.214.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Sep 2013 10:54:23 +0200 Received: by mail-bk0-f53.google.com with SMTP id d7so57102bkh.40 for ; Fri, 20 Sep 2013 01:54:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=pqInK6LOlAu9W1eyhYQ/0Tahl1+etLqiDy5O7U0mNrY=; b=mqt74Abp1alYgtHQu2JhfKJ+XyOfKFcOuiSmfOm9cctvLURGW/wBPhrqeqScDDPtlM L9v5A4HtdVvBl7R2evy5ZBQvx1IeoVPCtKM1y2tGRUYOBZhDnLDtivwpIIPonJrHAxeD kjH1P18H60pukIu7UKfA79wk0R9+lnT00G2Smz1J0hz9NZ7Gm6SJkw9zM0UUwBbC71gF l0iVkLZQm8WecEz4DWJGAwcqk0vDSw5SDwgcYVU+gf8Ug37iqQmhdsJV6c0LtzzE5Uc3 MWtZTO+0eR4r1hBF0vVnUzMSOrtK4seMmKB/n6fsvvbwhggiZsnxnB/hGhAtTcplyoQq z4QQ== X-Received: by 10.205.10.132 with SMTP id pa4mr4407945bkb.15.1379667262841; Fri, 20 Sep 2013 01:54:22 -0700 (PDT) Received: from [172.27.6.161] ([213.106.240.92]) by mx.google.com with ESMTPSA id no2sm4196306bkb.15.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 20 Sep 2013 01:54:22 -0700 (PDT) Message-ID: <523C0D42.1000902@gmail.com> Date: Fri, 20 Sep 2013 09:54:26 +0100 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: Gerd Stolpmann CC: OCaml References: <523AE1BE.8090808@gmail.com> <1379603809.11824.18.camel@thinkpad> In-Reply-To: <1379603809.11824.18.camel@thinkpad> X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] a question about compilation ... [sexplib; gramlib] -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Thank you all, On 19/09/13 16:16, Gerd Stolpmann wrote: > Am Donnerstag, den 19.09.2013, 12:36 +0100 schrieb Matej Kosik: > > Better: > > ocamlfind ocamlc -package camlp4.macro -syntax camlp4o main.ml -c > >> >> If my program contains "with sexp" macro, I can get it compiled with the following instructions: >> >> ocamlfind ocamlc -package sexplib,sexplib.syntax -syntax camlp4o main.ml -o main.cmo -c ocamlfind ocamlc -package sexplib,sexplib.syntax -linkpkg main.cmo -o main >> >> Is it technically possible to to compile a program where I use both "__LOCATION__" as well as "with sexp" macros? (like the attached sample) > > Combined: > > ocamlfind ocamlc -package camlp4.macro,sexplib,sexplib.syntax -syntax camlp4o main.ml -c This works. I have noticed an additional problem, though. If I use the above command, then I noticed that adding "with sexp" after a type&exception definition is not an option, but an obligation. The problem disappears if I reverse the library order: ocamlfind ocamlc -package sexplib,sexplib.syntax,camlp4.macro -syntax camlp4o sample.ml -c ocamlfind c -package sexplib,camlp4.gramlib -linkpkg sample.cmo -o sample -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQIcBAEBCgAGBQJSPA1BAAoJEMGSqCmYLk+ztwMQALrj6yvTATdE6UGLzfDDoDAn KNWycblnjesEn9dfnihNgLuUNk/YmO/E7BdxLkWJ8798Qok4XaqZ02rqZ2Ctc1Aq RhM2wweccVgzG0aDqMpDbSqOZqspNkmkDgMGkSVpWjkowx0kTMeP573AJ1l5F3np czXYyEpSEKexeE2iLw6ucchIj5XVjYyHXn9EFyWckXKKfTScNqR7gubRNd45uv/E MLxCGFCV8iXSyTo4f9xGTtbu35DHLEm1MKkw1SAs05H9JRVLHfpZqpCbQW1H2eSy f6dD/tqvQ5gjv88q0pDhtft4vItnCpmRA3Z5b3k4rhgXKYZo1FYG5P3q9CRTw2cM qax3zSnRu2tGsrpWluPg+LSnL5ol+pX9WqSf+9j/xvjZkX0ic0oKsW07Hce59Jsj CqF8zUNRr/Y/lOkNG4T0R1Fg1YHSkImnLxWpt4oUB8fe3DNxXyFWSKx/sT2+vU+F eilaqv99apCiXljY0LXWEkRXeUQaKdYX1AiPHhr5CkJFHutp4eDDKXRNEeZdQFRp FVYFAepOvUotpBLms+ArauTMFNxFgC0lN+SgAmVDLGsXfDb3lT7v2SC97lqBceSU 5d+p2CmY07HG959IRvaE4Cr1GqW26lC8/rhdUVjE/4u1kRMZqhRjlw99+Tse3tZZ M8YnspznLHksf6U2Ft5/ =AyT7 -----END PGP SIGNATURE-----