From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 45B5E7EEEF for ; Thu, 11 Jun 2015 16:39:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.193 as permitted sender) identity=mailfrom; client-ip=209.85.214.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@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-ob0-f193.google.com) identity=helo; client-ip=209.85.214.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f193.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DlBwAYnXlVlMHWVdFcgy81XwaDGKt6hBGKBYIUhzEHTAEBAQEBARIBAQEBBwsLCR8wQQWDdREdARseAxIDBgEGNwIkAREBBQEiNYd3AQMSDZI6jTqDMT4xiz+Ba4J5mS0KGScNV4UfAQUOkyqBRQWYGYZxgXCPAoVFEiOBDAkRgVsMgkAiMQEBgkUBAQE X-IPAS-Result: A0DlBwAYnXlVlMHWVdFcgy81XwaDGKt6hBGKBYIUhzEHTAEBAQEBARIBAQEBBwsLCR8wQQWDdREdARseAxIDBgEGNwIkAREBBQEiNYd3AQMSDZI6jTqDMT4xiz+Ba4J5mS0KGScNV4UfAQUOkyqBRQWYGYZxgXCPAoVFEiOBDAkRgVsMgkAiMQEBgkUBAQE X-IronPort-AV: E=Sophos;i="5.13,595,1427752800"; d="scan'208";a="135658463" Received: from mail-ob0-f193.google.com ([209.85.214.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Jun 2015 16:38:52 +0200 Received: by obcuy5 with SMTP id uy5so1533021obc.0 for ; Thu, 11 Jun 2015 07:38:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=JmmJ7afqNJQOJjbKycv4tMF8l6LbEBGnTntBqjq93/Y=; b=rZwvu/oYz6EtTJutchmoopvdOnO3uJirakVZg0fFVL5BK/aVuiCalDfWkqRYgHLV5b XByRzd7tnVmBd2BSxIzthedtcqRutCoFT0/G8XsvKeNBYCnouAObob3IbqVdZu+QfyRS 6a0Zyv05UHeiTYvYVn2v+CmbZ2KJRMliTjoSJYzgYGuaUB/EfBo1YSf/WP7KaLAWFOau 4H3wBiuxNtgdTIYENmn/NxHfr1z8oMFRkT7I+WrOwTsoQszX0yM4VfIDKJl1lhWzUk2O OKQXOFdCqO3U1ShQmOHz2iyB1vAQVQIZGpI1PYoO9U0B9ZK2NkNXuWgE4EgLlq/K5NZ+ QgVQ== MIME-Version: 1.0 X-Received: by 10.60.50.168 with SMTP id d8mr8170429oeo.41.1434033531861; Thu, 11 Jun 2015 07:38:51 -0700 (PDT) Received: by 10.202.191.8 with HTTP; Thu, 11 Jun 2015 07:38:51 -0700 (PDT) Date: Thu, 11 Jun 2015 10:38:51 -0400 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a11c30bf043437705183ef381 Subject: [Caml-list] Profiling and oasis --001a11c30bf043437705183ef381 Content-Type: text/plain; charset=UTF-8 Is there a way to turn on profiling through oasis based on a flag? I tried it with the following: Flag "profile" Description: Build all with profiling. Default: false Executable "translate_region" Path: . MainIs: translate_region.ml Install: false CompiledObject: best Profile$: flag(profile) It gives the following error: E: Field Profile is not defined in schema Executable But this is confusing, because if you browse to the oasis manual here: http://oasis.forge.ocamlcore.org/MANUAL.html#substitution-inside-text you can clearly see a profile option... I also tried it without the Flag "profile", but that didn't work either. --001a11c30bf043437705183ef381 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Is there a way to turn on profiling through oasis based on= a flag? I tried it with the following:


<= div>Flag "profile"
=C2=A0 Description: =C2=A0Build all with profiling.
=C2=A0 Default: =C2=A0= false

Executable "translate_region"
=C2=A0 Path: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 .
=C2=A0 Ma= inIs: =C2=A0 =C2=A0 =C2=A0 =C2=A0 tr= anslate_region.ml
=C2=A0 Install: =C2=A0 =C2=A0 =C2=A0 =C2=A0= false
=C2=A0 CompiledObject: best
=C2=A0 Profile$: =C2=A0flag(profile)

It gives the following error:

E: Field Profile is not defined in schema Executable

<= /div>
But this is confusing, because if you browse to the oasis manual = here:


you can c= learly see a profile option... I also tried it without the Flag "profi= le", but that didn't work either.
--001a11c30bf043437705183ef381--