From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4FE2uvH025718
	for <caml-list@sympa-roc.inria.fr>; Sun, 15 May 2011 16:02:56 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoACABLcz03RVdY2kGdsb2JhbACYEI19CBQBAQEBCQkNBxQEIYhwpCWMGoI1g2c3iGIBAQMGhhMEhkqJR4VAgwuCOjuDOA
X-IronPort-AV: E=Sophos;i="4.64,369,1301868000"; 
   d="scan'208";a="83229131"
Received: from mail-bw0-f54.google.com ([209.85.214.54])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 May 2011 16:02:51 +0200
Received: by bwz12 with SMTP id 12so6529470bwz.27
        for <caml-list@inria.fr>; Sun, 15 May 2011 07:02:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:date:from:to:subject:message-id:in-reply-to
         :references:x-mailer:mime-version:content-type
         :content-transfer-encoding;
        bh=gVQQay6e2AS0LZPXhQmp/eit5E/ccYlSF3RLJ+uuviI=;
        b=h8ZsLFJdL9ybh7HdbnR1uPCJ6aiCNj478cSPTmVj5h5tKC3RXbISiLDDCDPbVzlTzk
         gUiE1p1bvuCAMBTPhrhDOK+cYRRSI/HE5SMS+K9z+xMz+8kd77WpzhgQ2OmR+70dK571
         c1PLnMMS1fv4H05zOLgmJY4j4J40qAfmNt/7g=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=date:from:to:subject:message-id:in-reply-to:references:x-mailer
         :mime-version:content-type:content-transfer-encoding;
        b=PXABDtTEcR4ZhkeZf7e2UJBkiJY4F4Ue6c0PgVENipmoBawub5g/SupXsjNt76AdFF
         +vmTAWngYOyo5IcEsDhnp9gWvr7kJMfXshzbYlCg/ggAWuj96wlM7WUvl1XGFoyRirnE
         WM7zJd3so+KT0ItZXy3pQChKaQ5/8zwsxJ5nQ=
Received: by 10.204.7.209 with SMTP id e17mr1706090bke.162.1305468169813;
        Sun, 15 May 2011 07:02:49 -0700 (PDT)
Received: from lemon.local.tld (37-166-133-95.pool.ukrtel.net [95.133.166.37])
        by mx.google.com with ESMTPS id y22sm2443363bku.8.2011.05.15.07.02.46
        (version=SSLv3 cipher=OTHER);
        Sun, 15 May 2011 07:02:49 -0700 (PDT)
Date: Sun, 15 May 2011 17:02:12 +0300
From: ygrek <ygrekheretix@gmail.com>
To: caml-list@inria.fr
Message-Id: <20110515170212.25d9b089.ygrekheretix@gmail.com>
In-Reply-To: <823E1ECB-2513-40F8-AD89-224B8AA39ACA@gmail.com>
References: <823E1ECB-2513-40F8-AD89-224B8AA39ACA@gmail.com>
X-Mailer: Sylpheed 3.0.2 (GTK+ 2.20.1; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] oasis and profiling

On Sun, 15 May 2011 09:49:57 +0200
Joel Reymont <joelr1@gmail.com> wrote:

> How do you enable profiling with Oasis?

./configure --override profile true
or
_tags: true: profile
or
ocamlbuild -tag profile

-- 
 ygrek
 http://ygrek.org.ua