From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@gmail.com>
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 7917981792
	for <caml-list@sympa.inria.fr>; Sun,  7 Jul 2013 20:16:14 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  wojciech.meyer@gmail.com) identity=pra;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  wojciech.meyer@gmail.com designates 209.85.212.170 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@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-wi0-f170.google.com) identity=helo;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="postmaster@mail-wi0-f170.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArsBABev2VHRVdSqk2dsb2JhbABahkZHvViBCBYOAQEBAQcLCwkUBCSCJAEFIx0BGx0BAwwGBQsPAgUhAgIPAQQPEQEFASITh3wBAw8Em1aLfk+Cf4NLChknDViHcwEFDIEajkUHglOBHAOXU49jP4Q4
X-IPAS-Result: ArsBABev2VHRVdSqk2dsb2JhbABahkZHvViBCBYOAQEBAQcLCwkUBCSCJAEFIx0BGx0BAwwGBQsPAgUhAgIPAQQPEQEFASITh3wBAw8Em1aLfk+Cf4NLChknDViHcwEFDIEajkUHglOBHAOXU49jP4Q4
X-IronPort-AV: E=Sophos;i="4.87,1014,1363129200"; 
   d="scan'208";a="24917538"
Received: from mail-wi0-f170.google.com ([209.85.212.170])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jul 2013 20:16:14 +0200
Received: by mail-wi0-f170.google.com with SMTP id ey16so9427242wid.1
        for <caml-list@inria.fr>; Sun, 07 Jul 2013 11:16:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type:content-transfer-encoding;
        bh=lGijGqhQ30MocF96ZUcLB2pmLdBcKJRnr4rpxiwhg7E=;
        b=JrkOxrpFwOTVM9xX7xpSupLXrmzj+zOHWHH2Bo2u5NdkdHQpm/6i3FmgiJgSaQZucS
         wN7tCnlfIo9h7FsBEKkLKqxxnI0Ilf+Qqji+moFOlEn5reK7/tAWxowHyoxRRbeSk6Je
         s+XM5h+RnuDU9daTp4mAkwYPkqeERPFGYlq6jSWUl19PFoX8sDnRtc2rVIorByNkuXk9
         qjVdGdta6QEUcciuGoF6juL7yEVxIbADgwxZNbfmGK9bmhgeeJmJK/6FLAl7SRHrsM6N
         4vPRJqUFCCKL5xAThKRmqITxY5dmD1VBnibR2u5yPyyVG3zkMWzIufWVffnCTnxvxQBV
         Jm4g==
X-Received: by 10.194.158.130 with SMTP id wu2mr10568217wjb.12.1373220973724;
        Sun, 07 Jul 2013 11:16:13 -0700 (PDT)
Received: from spec-desktop.danmey.org (cpc2-cmbg12-0-0-cust796.5-4.cable.virginmedia.com. [86.9.203.29])
        by mx.google.com with ESMTPSA id x2sm6960543wif.3.2013.07.07.11.16.11
        for <multiple recipients>
        (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
        Sun, 07 Jul 2013 11:16:12 -0700 (PDT)
From: Wojciech Meyer <wojciech.meyer@gmail.com>
To: Daniel =?utf-8?Q?B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
Cc: caml list <caml-list@inria.fr>
References: <779DD27DAC3542F6889F77C344458428@erratique.ch>
Date: Sun, 07 Jul 2013 19:16:11 +0100
In-Reply-To: <779DD27DAC3542F6889F77C344458428@erratique.ch> ("Daniel
	\=\?utf-8\?Q\?B\=C3\=BCnzli\=22's\?\= message of "Sun, 7 Jul 2013 13:04:45 +0100")
Message-ID: <wf4nc6me1g.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] ocamlbuild untag ?

Hi Daniel,

Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> writes:
> ocamlbuild has
>
>    -tag <tag> Add to default tags
>
> does it have a way to -untag ?

At the moment we don't have this ability. However it's not entirely
trivial to add this functionality to ocamlbuild. The tag files assign a
set of tags to a set of paths. If we plan to do this the untag flag
would need to either create subsets which then require to keep the track
of the directory structure, or (more realistic) have explicit marking
which paths where untagged and resolve it at the build time.

For example for this tags file:

<src/*.ml>: use_unix, use_thread
true: debug

and now try to untag `debug' from src/*. So, this operation requires to
create a subset of what is in the tree, excluding src/*, or we can have
simply a marker {Tag, Untag} on the set of paths that have assigned
tags.

Patches welcome.

--
Wojciech