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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B79C97EFCD for ; Thu, 30 Oct 2014 08:36:33 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.218.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.218.44 as permitted sender) identity=mailfrom; client-ip=209.85.218.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f44.google.com) identity=helo; client-ip=209.85.218.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-oi0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkBAAzpUVTRVdosm2dsb2JhbABcg2JTBQS8eJEIh00CgRcHFgEBAQEBEQEBAQEBBgsLCRQuhAMBAQQSER0BGxIMAwwGBQsNAgIJHQICIgERAQUBChIGARISEIgJAQMSCAWmRD0xizOBcoMRiG4KGScDCmeFUQEBAQEGAQEBAQEBARUBBQ6BHo58b4J3gVQFhRUFjXuDQocTgTE8iwKCa4Jdgg0YKYM4IIFbPC+CSwEBAQ X-IPAS-Result: AjkBAAzpUVTRVdosm2dsb2JhbABcg2JTBQS8eJEIh00CgRcHFgEBAQEBEQEBAQEBBgsLCRQuhAMBAQQSER0BGxIMAwwGBQsNAgIJHQICIgERAQUBChIGARISEIgJAQMSCAWmRD0xizOBcoMRiG4KGScDCmeFUQEBAQEGAQEBAQEBARUBBQ6BHo58b4J3gVQFhRUFjXuDQocTgTE8iwKCa4Jdgg0YKYM4IIFbPC+CSwEBAQ X-IronPort-AV: E=Sophos;i="5.07,284,1413237600"; d="scan'208";a="103693713" Received: from mail-oi0-f44.google.com ([209.85.218.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Oct 2014 08:36:32 +0100 Received: by mail-oi0-f44.google.com with SMTP id h136so3597038oig.31 for ; Thu, 30 Oct 2014 00:36:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=0+xsY3s6GRcK39XCQjaITexdJ+0u5xmJsO80WL/Ir1w=; b=SG/cNwftN6tq3VIojNgRVzpYRS4MWqAg8C4OZekVjwsdM5V2YnQ7k7O6LprXvVBBR/ vasWDs9GEaBedcUvNWNfCMPSf+VLpFG3O9U2fFJEdd+3hHRYAuA0cy1a1iy2+/DbC/S1 NTrh2Q4TRllmnJDdV+Xg/peznZ8igaJPlxFxa3FPmcbXerQoDk6gvBUJ6kILgisB51mO VwbaHYi4JLSBp5/d0LHRJIsE78YqSu6bd3Y9sgltgzp0E/T88tX3bHs7x91uKaW9qZR4 +Ko7oR4YzbqeNujgGVh8QXWbBNNSkVf7x5vmVAf+erqj2ToNRfNCFH48snYE4lgmYtNI Z+tQ== X-Received: by 10.60.47.40 with SMTP id a8mr13248631oen.18.1414654591547; Thu, 30 Oct 2014 00:36:31 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.105.196 with HTTP; Thu, 30 Oct 2014 00:35:51 -0700 (PDT) In-Reply-To: <20141029152932.GE13201@pema> References: <20141023121202.GA22996@pl-59055.rocqadm.inria.fr> <20141029143025.GA16501@pema> <20141029152932.GE13201@pema> From: Gabriel Scherer Date: Thu, 30 Oct 2014 08:35:51 +0100 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Filename.temp_dir_name There is the cppo tool of Martin Jambon which is a "serious" preprocessor for OCaml -- by opposition to prefilter.ml which started as a sed script and is growing in uncontrolled (but rather reasonable) ways. http://mjambon.com/cppo.html On Wed, Oct 29, 2014 at 4:29 PM, S=C3=A9bastien Hinderer wrote: > Dear David, > > Many thanks for your prompt and helpful response. > >> In batteries[1], see src/batUnix.mliv type [open_flag] which has lines >> prefixed ##. There is the program build/prefilter.ml and then a suffix >> rule (search for .mliv.mli) in Makefile which generates batUnix.mli. > > Ah yes, seen, thanks. So this is a line-based approach actually. > I'm wondering whether code has already been written implement a > block-based approach, i.e. an aproach where one can make several lines > compiler-version dependent at once? > >> In findlib[2], see configure (search for "# bytes?"). It detects >> whether bytes.cmi exists in the compiler's lib directory (`ocamlc >> -where`/bytes.cmi). Based on that it therefore determines whether it >> will generate a dummy META file from the files site-lib-src/bytes or >> whether it will compile its compatibility library in src/bytes. > > Seen also, thanks. > > I guess it would also be okay,in a tool, to use that same test and to > just rpovide the bytes module if it does not exist, rather than > installing a package... > > Thanks! > S=C3=A9bastien. > > -- > 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