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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 640008018B for ; Thu, 6 Jul 2017 09:30:09 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sylvain@le-gall.net; spf=Pass smtp.mailfrom=gildor478@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f50.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sylvain@le-gall.net) identity=pra; client-ip=209.85.214.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="sylvain@le-gall.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gildor478@gmail.com designates 209.85.214.50 as permitted sender) identity=mailfrom; client-ip=209.85.214.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@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-it0-f50.google.com) identity=helo; client-ip=209.85.214.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-it0-f50.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3APrNnmBcJgZCEwVNFyM3aSvR4lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS+bR7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyNOAo2+?= =?us-ascii?q?YIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB88AsX?= =?us-ascii?q?TQrNXrLqgSUOa1x7TOwzrdcvhY2C3y6IzMchs8pvyMRrJxcc7PyUY1FgPFiE6d?= =?us-ascii?q?qYj7MD+M2eQCqWyb7+56WeKplWEntxh8rz6yzckijYnJg5gaylHC9Shh24Y6O8?= =?us-ascii?q?G4SFNjYdK+FZtQszmWN4R3QsM+Q2FopT01xqcatp68eSgHzoksyR3Ha/GfbYSE?= =?us-ascii?q?/hbuWPySLDp4nn5pZq+zihmo/UWg1uHxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTf?= =?us-ascii?q?tw5kKh1iyO1wDX8+1EIFw0mbbCJ54vwrM8ioAfsUvEHi/xl0X2iLGZel849eiv?= =?us-ascii?q?7uTrerTmppmCOI9okgzyLLgil8ilDek7MgUCRXaX9fmz2bH5/UD1XK1Gjvgsna?= =?us-ascii?q?nYtJDaK94bpqm8AwJN3YYj6hK/ACqh0NQCknQKLlFIdQmIj4jsIV7OIfT4Ae2j?= =?us-ascii?q?jFSrlTdn3+rGMaH5ApXRMnjDl6/scqpn5E5ZzAo/1NRf55NPCrEdO//zQU/wtN?= =?us-ascii?q?nADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgqm/OspKO6Nf8c/lQzQDdcI3ba6?= =?us-ascii?q?h3IjlFkScLOB15oQcn23WPd3Pl6ZfD/xxN4KV2US6E52R+XvjBiGUCVPT3e0Ra?= =?us-ascii?q?M1oD8hW6y8CoKWfZGpnrWA2m+fE9V5b2RCQgSXAHP2foSCc/MBLS2bJssnlDEY?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr2hB7cru?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAQDm5V1ZhjLWVdFcDhAGDBkGDIQRg?= =?us-ascii?q?RCFJppMkFeHaYkSQxQBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBgkABAQICASN?= =?us-ascii?q?bCwsEBw0qAgIiEgEFARwGARKKJwgQo3o/jAqBeyuLRgEKAQEBJBKDFYJShX+Hf?= =?us-ascii?q?YJhAQSJXZUuh0eMPoJigQ+OLZNuM4EVNoErUi4KSRoGhjc/QDaJAwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DuAQDm5V1ZhjLWVdFcDhAGDBkGDIQRgRCFJppMkFeHaYk?= =?us-ascii?q?SQxQBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBgkABAQICASNbCwsEBw0qAgIiE?= =?us-ascii?q?gEFARwGARKKJwgQo3o/jAqBeyuLRgEKAQEBJBKDFYJShX+HfYJhAQSJXZUuh0e?= =?us-ascii?q?MPoJigQ+OLZNuM4EVNoErUi4KSRoGhjc/QDaJAwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,316,1496095200"; d="scan'208,217";a="230632406" Received: from mail-it0-f50.google.com ([209.85.214.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Jul 2017 09:30:07 +0200 Received: by mail-it0-f50.google.com with SMTP id v202so25694943itb.1 for ; Thu, 06 Jul 2017 00:30:07 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=1Baz1BR6gNIKLZ4DASZqj0et5rhu342/EOxJJztHfAM=; b=GtD4Kx2KVbDtnGSZn81JHxmYJJ7c2wsHRRDcTiwmGOEX5TuWyw9ziUV+jbGncwDYbd 91GOH4/HaG/x/iirC0xduZaXzcFyUSAJSDr4J463v9DrZ8WcE3qHr2HX6yGumpfLdNOF k9HcP/rbGAmT6dIBN2PHOQ0sQpPonObpya3XEkUbm9PqFRr18I8wROvO9kJIATvEpVeR iILDDQtN9M9GUr1EQZ5I/WePEG7Cy/ied4Dz0F2jXC18os/zekLraxbKneb6FO74qIZE jV4qTSR5HyUc0IzNYcuwo3YWiyatsj/2bG0lG1LCSrJXusAocImLieiHIHhV3lqlKHwU L17A== X-Gm-Message-State: AKS2vOwuJ7DdKvdWDRDrcPnhvn+AjdaSO31uNbpXdaWgTo2Scc0iwLjx luCbfafLe1VxEzfihI7qq+qgeMUdwM/g X-Received: by 10.107.180.1 with SMTP id d1mr49077528iof.11.1499326206201; Thu, 06 Jul 2017 00:30:06 -0700 (PDT) MIME-Version: 1.0 References: <117158f1-e1d0-1121-8c4b-d21911a4d7a4@bioreg.kyushu-u.ac.jp> <9f0cfe52-51db-6e38-67b8-1f4dd8949a91@planete-kraus.eu> <53fb9d24-28fe-7e95-21ec-64579b6615b4@bioreg.kyushu-u.ac.jp> In-Reply-To: <53fb9d24-28fe-7e95-21ec-64579b6615b4@bioreg.kyushu-u.ac.jp> From: Sylvain Le Gall Date: Thu, 06 Jul 2017 07:29:55 +0000 Message-ID: To: Francois BERENGER , caml-list@inria.fr Content-Type: multipart/alternative; boundary="94eb2c05a732ec57ae0553a1153b" Subject: Re: [Caml-list] with oasis, how to create setup.ml.exe ? --94eb2c05a732ec57ae0553a1153b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello, Submitted new issue: https://github.com/ocaml/oasis/issues/113 Regards Sylvain On Thu, Jul 6, 2017, 01:52 Francois BERENGER wrote: > On 07/05/2017 06:28 PM, Vivien Kraus wrote: > > Hello, > > It is produced by the configure script from DevFiles, and not the > > setup.ml script. > > OK, you are right and it fixed my problem. > > However, oasis doesn't complain when > --- > AlphaFeatures: compiled_setup_ml > --- > is present but > --- > Plugins: DevFiles (0.4) > --- > is not. > > I think it's a bug. > At least a warning should be generated in this case. > Or, maybe oasis should infer automatically the Plugins part. > > Thanks for the help, > F. > > > See your "configure script", it has a line for this : > > > > if [ ! -e setup.exe ] || [ _oasis -nt setup.exe ] || [ setup.ml -nt > > setup.exe ] || [ configure -nt setup.exe ]; then > > ocamlfind ocamlopt -o setup.exe setup.ml || ocamlfind ocamlc -o > > setup.exe setup.ml || exit 1 > > rm -f setup.cmi setup.cmo setup.cmx setup.o setup.cmt > > fi > > > > Regards, > > > > Vivien > > > > Le 05/07/2017 =C3=A0 10:20, Francois BERENGER a =C3=A9crit : > >> Hello, > >> > >> I added AlphaFeatures: compiled_setup_ml > >> in my _oasis file, but I don't see this exe being produced. > >> > >> Are there some magic words I should pronounce (on the command line) > >> to make it appear? > >> > >> Which oasis step or invocation of 'ocaml setup.ml' is supposed to > >> produce it? > >> > >> Thanks, > >> F. > >> > > > --94eb2c05a732ec57ae0553a1153b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Hello,

Submitted new issue:
https://github.com/oc= aml/oasis/issues/113

Regards
Sylvain


On Thu, Jul 6, 2017, 01:52 = Francois BERENGER <ber= enger@bioreg.kyushu-u.ac.jp> wrote:
On 07/05/2017 06:28 PM, Vivien Kraus wrote:
> Hello,
> It is produced by the configure script from DevFiles, and not the
> setup= .ml script.

OK, you are right and it fixed my problem.

However, oasis doesn't complain when
---
AlphaFeatures: compiled_setup_ml
---
is present but
---
Plugins:=C2=A0 =C2=A0 =C2=A0DevFiles (0.4)
---
is not.

I think it's a bug.
At least a warning should be generated in this case.
Or, maybe oasis should infer automatically the Plugins part.

Thanks for the help,
F.

> See your "configure script", it has a line for this :
>
> if [ ! -e setup.exe ] || [ _oasis -nt setup.exe ] || [ setup.ml -nt
> setup.exe ] || [ configure -nt setup.exe ]; then
>=C2=A0 =C2=A0 ocamlfind ocamlopt -o setup.exe setup.ml || ocamlfind ocamlc -o=
> setup.exe setup.ml || exit 1
>=C2=A0 =C2=A0 rm -f setup.cmi setup.cmo setup.cmx setup.o setup.cmt
> fi
>
> Regards,
>
> Vivien
>
> Le 05/07/2017 =C3=A0 10:20, Francois BERENGER a =C3=A9crit :
>> Hello,
>>
>> I added AlphaFeatures: compiled_setup_ml
>> in my _oasis file, but I don't see this exe being produced.
>>
>> Are there some magic words I should pronounce (on the command line= )
>> to make it appear?
>>
>> Which oasis step or invocation of 'ocaml setup.ml' is supposed t= o
>> produce it?
>>
>> Thanks,
>> F.
>>
>
--94eb2c05a732ec57ae0553a1153b--