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 3E2CA7EFCE for ; Fri, 11 Nov 2016 11:53:01 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gbikal@gmail.com; spf=Pass smtp.mailfrom=gbikal@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gbikal@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gbikal@gmail.com"; x-sender="gbikal@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gbikal@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gbikal@gmail.com"; x-sender="gbikal@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-wm0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gbikal@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A08nkJB+ABM/RLv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1e0cTK2v8tzYMVDF4r011RmSDN6ds6wP0rWempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwtFiCChbb5zIxm6sAfcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhz?= =?us-ascii?q?kbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe9QVS3dcXsZKTyxOHJ+z?= =?us-ascii?q?b5cBAeoGOOZXtYj9p10Tphe6CgShAObjxzlVjXH0wKI6yfwsHgPI3AIgEdwAs2?= =?us-ascii?q?naosvpO6oJS++50LPFwC/fY/9K2zrw7pXDfBA7ofGLWLJ9adfcyUgsFwzfilWb?= =?us-ascii?q?tI3rPy6P1uQQtWib4PdrWOWgi2E8qgFxoSKgxsM3h4nGg4Ia0FHE9SFjzIkpIt?= =?us-ascii?q?24TVd2bNi5G5VesCGaMpF5QsIkQ2xwvyY11qcJuZu/fCcWz5Qn3QDQZ+aAc4iS?= =?us-ascii?q?7RLvTP2RLilkhHJ4YLKznROy8Uy4xu35TMa00VBKojBAktnIrnwN1hrT6tKGSv?= =?us-ascii?q?Rn5Euh1yyP2xjT6+5eIUA0kq3bJ4Q9zb43k5oet1nIECzumEjujqKbeV8o9vW2?= =?us-ascii?q?5+nneLnrpYGQO5V7hwz6NKklh9axDv4iMgcUWmiW4eS826Pn/U3+WLhKi+c5kq?= =?us-ascii?q?jdsJzDK8Ubo7K1DxZb0oss7xuzFTim0NMfnXkIKFJKZgiLgJTuO1HLOPz4DPG/?= =?us-ascii?q?jEqwkDpzxf3LMaftDojTInXDirvsfqhx51RTxQc31dxf4ohbCrAFIPL9QE/xs9?= =?us-ascii?q?nYAwc2MwOvwubnC89y1ocFVGKAB6+WKqLSsVuS6u0zJOmMYZcZuCzhJPg9+/7u?= =?us-ascii?q?kXg5lEcTfaayw5QXcm63HvJpI0qHenftg9YBEWIRsQokVuPmklyCUThJZ3azRa?= =?us-ascii?q?0w/D87CJi+B4fZWo+tmKCB3Du8HpBOem9JEFWMEXPxe4WAWvcMcz6SL9R6kj0E?= =?us-ascii?q?ULihU5Uu2QuvtA/80bpnL/Db9jcWtZL5h5BJ4Lj9jxg0/jt1FIy3/lugaU5ZpC?= =?us-ascii?q?tcSSU/2qt4oFc7wFqZ3K53juZwFNpJ5voPXB1sZrDGyOkvIdHxUwaJUcqTVVCp?= =?us-ascii?q?CoGpCzAyR9YZzNoHYkI7ENKn2EOQlxG2CqMYwuTYTKc/9bjRij2sfss=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvAgCkoiVYfzFSfUpdHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBgwgBAQEBAXd/B6NvU4I2hiSGZYMNhBYohCGBWgKCDgdDEAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBCQsLCRsygjMaghQBAQEDARIRHQEbEgsBAwELBgMCCw0NH?= =?us-ascii?q?QICIgERAQUBChIGExIQiCIBAw8IDpJkj1KBMj8yi1CCBAUBH4MLBUeDGQoZJwM?= =?us-ascii?q?KVIM5AQEBAQEBAQECAQEBAQEBAQEBFgIGEIsIhHWCV4JdBYcBDIdTi1yGPIohg?= =?us-ascii?q?j2NYY0+gkYTHoESDyaBBhELHAuCWSwPHIFdPjQBAYdvAQEB?= X-IPAS-Result: =?us-ascii?q?A0AvAgCkoiVYfzFSfUpdHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BgwgBAQEBAXd/B6NvU4I2hiSGZYMNhBYohCGBWgKCDgdDEAEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBCQsLCRsygjMaghQBAQEDARIRHQEbEgsBAwELBgMCCw0NHQICIgERAQUBChI?= =?us-ascii?q?GExIQiCIBAw8IDpJkj1KBMj8yi1CCBAUBH4MLBUeDGQoZJwMKVIM5AQEBAQEBA?= =?us-ascii?q?QECAQEBAQEBAQEBFgIGEIsIhHWCV4JdBYcBDIdTi1yGPIohgj2NYY0+gkYTHoE?= =?us-ascii?q?SDyaBBhELHAuCWSwPHIFdPjQBAYdvAQEB?= X-IronPort-AV: E=Sophos;i="5.31,621,1473112800"; d="scan'208,217";a="244610873" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Nov 2016 11:53:00 +0100 Received: by mail-wm0-f49.google.com with SMTP id g23so91663547wme.1; Fri, 11 Nov 2016 02:53:00 -0800 (PST) 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 :cc; bh=vNHUrXYPhjbuWtkhbH8irC6IecsKBYCgtWu77Q7b0gE=; b=KGUJmC9L4MBZfUn1PrTc8IoGhbc6ViyYEuVIeOb278TQhZIsPcHyt8uhTolmYLvTBS O3zVZGMt4DeOXmZPiwUHia0dPYve00cLFuJWEX1oML7N5+j+BIv9SeHNLa2eLQo+aapE N0BayhnmOyCtWC1sblbI4jiUc59yaD+bHjVWjk8W0goMWSZONbqUyvkfBScgRhPgvMzg J5kF4iRMIBRjhtjv1+WaFcOjyY2yauCl73Qw/Em7t2CAieo4vW1thSpbxUapfNkINxw9 BkcVgLzfHyVFBCQKjycyCBfubTg+Dxsp8P3RDlDZu/7KOzbwUMpl7E8EUzWLUcjRIShM Tarw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=vNHUrXYPhjbuWtkhbH8irC6IecsKBYCgtWu77Q7b0gE=; b=MI41Vji5XMdww99624VGAHTefg8mtnKUttg3Ru9Juzn9/KcYXBlQaHwyjM9O+dCQxY cJLqQsAaFFC4HvmKASv4X3VF2qzfVJSV6dzjy+iTN5x1WVcgL4+F2t3UQlEjotoBcGY1 /PvD80+Tm+5NP2grc25hZ83WFN3GlhpGZdZiHcNEQaFlEwy/eRio3PJcIwM3Ef/OmZJR v5ufs7+PwhKGmDernuLLctlrDNUS8V1Pt481HQHbl8/6CfH6w4HLspiIf/Nzv3z0PYxs Mor8sO3zOAWN/3w4279cuEYMJsQpgHAjrzg7envHjeJGExzy1fnIYowiYvnsRaMrtFEH ASWg== X-Gm-Message-State: ABUngvdUUUqRW2Y0fmeqKdTTd+ZBu8VT1gbJtFVHd7D+AbvLsdk3jDi1OHH7r7VMwhNpOYiS+XBRKJxaisijMw== X-Received: by 10.28.221.11 with SMTP id u11mr33718092wmg.123.1478861580105; Fri, 11 Nov 2016 02:53:00 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.130.129 with HTTP; Fri, 11 Nov 2016 02:52:59 -0800 (PST) In-Reply-To: <9dce22c0-5203-b6e3-2e22-884ebc67eba3@inria.fr> References: <4912b1d7-c491-9462-2220-c08492d1833d@inria.fr> <3195f89c-0920-f844-ff1f-dec7cb0c2814@inria.fr> <353FD3C0-F899-4CC1-9D87-8302023AFA27@inria.fr> <9dce22c0-5203-b6e3-2e22-884ebc67eba3@inria.fr> From: Bikal Gurung Date: Fri, 11 Nov 2016 10:52:59 +0000 Message-ID: To: Francois BERENGER Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114b1726277d910541044b80 Subject: Re: [Caml-list] OASIS help --001a114b1726277d910541044b80 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Alternatively, you could edit _tags file the following after calling oasis setup. # OASIS_START # DO NOT EDIT (digest: d41d8cd98f00b204e9800998ecf8427e) # OASIS_STOP *true : use_menhir, explain* On Thu, Nov 10, 2016 at 9:52 AM, Francois BERENGER < francois.berenger@inria.fr> wrote: > On 11/10/2016 10:49 AM, Laurent Th=C3=A9venoux wrote: > > OASIS doesn=E2=80=99t generate me a Makefile. Here my _oasis file (a ve= ry basic > start): > > Sorry, I forgot: add this line after your License line in your _oasis fil= e: > Plugins: DevFiles (0.4) > > cf. http://oasis.forge.ocamlcore.org/MANUAL.html#plugin-devfiles-extra > > > =E2=80=94 > > OASISFormat: 0.4 > > Name: name > > Version: 0.1 > > Synopsis: synopsis > > Authors: Laurent > > License: CeCILL > > > > Executable exe > > Path: src > > BuildTools: ocamlbuild > > BuildDepends: str > > MainIs: main.ml > > =E2=80=94 > > > > Then, I run oasis setup, and, ocaml setup.ml -configure, and finally, > ocaml setup.ml -build. > > > > It fails during the build because ocamlyacc is called to build a menhir > parser. > > > > Did I miss anything? > > > > =E2=80=94 > > Laurent > > > >> Le 10 nov. 2016 =C3=A0 10:27, Francois BERENGER > a =C3=A9crit : > >> > >> On 11/10/2016 10:08 AM, Laurent Th=C3=A9venoux wrote: > >>> Hello, > >>> > >>> I=E2=80=99m trying to use OASIS to configure a project written in OCa= ml. I > currently use a Makefile which works fine but doesn=E2=80=99t allow enough > possibilities. My project uses the menhir parser but OASIS attempts to use > ocamlyacc. > >>> > >>> How can I specify that I need to run ocamlbuild with -use-menhir > instead of ocamlyacc ? > >> > >> Put a BUILFLAGS line as the first line of your Makefile: > >> > >> --- > >> BUILDFLAGS =3D " -use-menhir " > >> # OASIS_START > >> [...] > >> --- > >> > >> This part of the Makefile will be kept by oasis. > >> > >> -- > >> Regards, > >> Francois. > >> "When in doubt, use more types" > >> > >> -- > >> 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 > > > > -- > Regards, > Francois. > "When in doubt, use more types" > > -- > 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 > --001a114b1726277d910541044b80 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Alternatively, you could edit _tags file the following aft= er calling oasis setup.

# OASIS_START =20=20=20=20=20=20 =20=20=20=20=20=20
# DO NOT EDIT (digest: d41d8cd98f00b204e9= 800998ecf8427e)
# OASIS_STOP
true : use_menhir, explain

On Thu, Nov 10, 2016= at 9:52 AM, Francois BERENGER <francois.berenger@inria.fr>= ; wrote:
On 11/10= /2016 10:49 AM, Laurent Th=C3=A9venoux wrote:
> OASIS doesn=E2=80=99t generate me a Makefile. Here my _oasis file (a v= ery basic start):

Sorry, I forgot: add this line after your License line in your _oasi= s file:
Plugins: DevFiles (0.4)

cf. http://oasis.forge.ocamlcore.<= wbr>org/MANUAL.html#plugin-devfiles-extra

> =E2=80=94
> OASISFormat: 0.4
> Name:=C2=A0 =C2=A0 =C2=A0 =C2=A0 name
> Version:=C2=A0 =C2=A0 =C2=A00.1
> Synopsis:=C2=A0 =C2=A0 synopsis
> Authors:=C2=A0 =C2=A0 =C2=A0Laurent
> License:=C2=A0 =C2=A0 =C2=A0CeCILL
>
> Executable exe
>=C2=A0 =C2=A0Path:=C2=A0 =C2=A0 =C2=A0 =C2=A0src
>=C2=A0 =C2=A0BuildTools: ocamlbuild
>=C2=A0 =C2=A0BuildDepends: str
>=C2=A0 =C2=A0MainIs:=C2=A0 =C2=A0 =C2=A0main.ml
> =E2=80=94
>
> Then, I run oasis setup, and, ocaml setup.ml -configure, and finally, ocaml = setup.ml -build.
>
> It fails during the build because ocamlyacc is called to build a menhi= r parser.
>
> Did I miss anything?
>
> =E2=80=94
> Laurent
>
>> Le 10 nov. 2016 =C3=A0 10:27, Francois BERENGER <francois.berenger@inria.fr> a =C3=A9= crit :
>>
>> On 11/10/2016 10:08 AM, Laurent Th=C3=A9venoux wrote:
>>> Hello,
>>>
>>> I=E2=80=99m trying to use OASIS to configure a project written= in OCaml. I currently use a Makefile which works fine but doesn=E2=80=99t = allow enough possibilities. My project uses the menhir parser but OASIS att= empts to use ocamlyacc.
>>>
>>> How can I specify that I need to run ocamlbuild with -use-menh= ir instead of ocamlyacc ?
>>
>> Put a BUILFLAGS line as the first line of your Makefile:
>>
>> ---
>> BUILDFLAGS =3D " -use-menhir "
>> # OASIS_START
>> [...]
>> ---
>>
>> This part of the Makefile will be kept by oasis.
>>
>> --
>> Regards,
>> Francois.
>> "When in doubt, use more types"
>>
>> --
>> Caml-list mailing list.=C2=A0 Subscription management and archives= :
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/g= roup/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs<= br> >

--
Regards,
Francois.
"When in doubt, use more types"

--
Caml-list mailing list.=C2=A0 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

--001a114b1726277d910541044b80--