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 3F02A7F029 for ; Wed, 28 Sep 2016 22:24:45 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yann.hamdaoui@gmail.com; spf=Pass smtp.mailfrom=yann.hamdaoui@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.hamdaoui@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yann.hamdaoui@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@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-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AhWg7/xeL/+NBTOHlRcjKO+xwlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc6yZB7h7PlgxGXEQZ/co6odzbGH6ea5BidZvc/JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4?= =?us-ascii?q?Ov7yUtaLyZ/mjabrpNaKP1wArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6LoXzNNbSajxY4g/SLVZCnxmbzF0t4XXskyJ?= =?us-ascii?q?RgKK4j4YU34KuhtOGQnMqh/gFN+luSL/sq952TKGFczwV7E9Hzq4ufRFUhjt3R?= =?us-ascii?q?YOMThx0GjShsV3kaMT9AOooRo5w4fRbIiSKftWcabUfNdcTm1ECJUCHxddC5+x?= =?us-ascii?q?OtNcR9EKOvxV+tWsqg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DcAQAIJuxXfzBSfUpDGkcYB4MJAQEBA?= =?us-ascii?q?QF1KlKmV4xmhRKCBiaFeAKBYTgUAQEBAQEBAQEBAQESAQEJCwsJFyYLgjIEAwM?= =?us-ascii?q?VghEBAQQSER0BGxIMAwwGAwILDQ0aAwICIQIRAQUBCgERBg0GAgIOEIgQAQMXB?= =?us-ascii?q?Aotkk+PR4EyPjKLPYFrgl8Fg38KGScDClODBwEBAQEBBQEBAQEBAQEBFwIGEIY?= =?us-ascii?q?ngXyCWIJHhQGCWgWGagySSzWBZYRChkmCe4FuToccDoYGhwmBU4QQgjsxgREeg?= =?us-ascii?q?xo5HIFScAGGBIEtAQEB?= X-IPAS-Result: =?us-ascii?q?A0DcAQAIJuxXfzBSfUpDGkcYB4MJAQEBAQF1KlKmV4xmhRK?= =?us-ascii?q?CBiaFeAKBYTgUAQEBAQEBAQEBAQESAQEJCwsJFyYLgjIEAwMVghEBAQQSER0BG?= =?us-ascii?q?xIMAwwGAwILDQ0aAwICIQIRAQUBCgERBg0GAgIOEIgQAQMXBAotkk+PR4EyPjK?= =?us-ascii?q?LPYFrgl8Fg38KGScDClODBwEBAQEBBQEBAQEBAQEBFwIGEIYngXyCWIJHhQGCW?= =?us-ascii?q?gWGagySSzWBZYRChkmCe4FuToccDoYGhwmBU4QQgjsxgREegxo5HIFScAGGBIE?= =?us-ascii?q?tAQEB?= X-IronPort-AV: E=Sophos;i="5.30,411,1470693600"; d="scan'208,217";a="194988826" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Sep 2016 22:24:44 +0200 Received: by mail-wm0-f48.google.com with SMTP id l132so91869633wmf.1 for ; Wed, 28 Sep 2016 13:24:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:references:to:from:message-id:date:user-agent:mime-version :in-reply-to; bh=6EsGdZPva++mNycDdzlrpEnOFkGEyXxe1tRskijA1Es=; b=JK+Hq8IQrDZOiryq7yis8WhijbVsUEGNLtG/Mk7uSPmc4BEpapOAofbRbpsysWI9eL dUUJjWpQ2H6BYja9dKylMmfJFAXt3YvlKMtlGqUMlFbBW+zB8rnUsvL8DFrM2zJEeYuD 9AI8a1cUspLFUGvIQ1RjwvZbk3TkAY/uF33gFAoVkwBhyuHaqbeIJehTEdaHvJl7Q0b5 C8r9J13L+er6b0njLdL+oZ9TgIigdDCFYGVF/ocgSfKEyCJyLAfVEKWd12c/EXotNbde AGUuMM2xNcN82or6eeFXALHFcCQ0xJ7Qq6lV31mzS9x9aCFT+2TYBpX+wrlyP0TMcKxg njDQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:references:to:from:message-id:date :user-agent:mime-version:in-reply-to; bh=6EsGdZPva++mNycDdzlrpEnOFkGEyXxe1tRskijA1Es=; b=irTP0kTl2qaH4lrsYB31b3+8wIhLDs/pu+b7EB1Ed7D0+hqXZc+Ddzkgs/7XfPLLbs s+gUs2JhKv/guo0hPae+fZAD9CPmhZe2myQ4JsnEsgScmt1DS7hWOS+zIP4JV5YKdPnm w9mojJk61Oyl9TEWY8q2EgDpTsh2RkUdK7b/A9/yLc0WRV/0y5sIO3t9qhrWM6sYH0Vn YASn2pd0u2N0znQEEb9fFce7iHkYO5DNBwimWxOkrEpXjsI+KzhCl0rq9rtJYLE4chf3 lqBPqB2LbomhLSY+oJz9kyVP0tYBBWikJi4P1ouIgNDXScxpIcOzFBCfIuygh6YZE+vB +nyw== X-Gm-Message-State: AA6/9Rl0yMI4S+ELfSdroVCUpH7Lo/1t88+Gxz6cDwYFxmlKY17x/uqwNtmlfknnIUbtmg== X-Received: by 10.28.208.199 with SMTP id h190mr10233022wmg.17.1475094283262; Wed, 28 Sep 2016 13:24:43 -0700 (PDT) Received: from [192.168.1.31] (ivr94-h06-89-95-212-250.dsl.sta.abo.bbox.fr. [89.95.212.250]) by smtp.gmail.com with ESMTPSA id jn7sm10193681wjb.5.2016.09.28.13.24.42 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 28 Sep 2016 13:24:42 -0700 (PDT) References: <9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu> To: "caml-list@inria.fr" From: Yann Hamdaoui Message-ID: Date: Wed, 28 Sep 2016 22:24:36 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------F460BE920586C998E9358F97" Subject: Re: [Caml-list] Oasis strange behavior This is a multi-part message in MIME format. --------------F460BE920586C998E9358F97 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Thanks for all you answers, removing all oasis generated and compiled files didn't help but switching to 4.03.0 without flambda solved the problem. I will upload my example on the tracker, mine is really small (37 lines). On 28/09/2016 20:30, Ivan Gotovchits wrote: > Can confirm that I've seen the same issues 100% reproducible on > 4.03+flambda with oasis 0.4.7. Everything worked fine with `< > oasis.0.4.6`. > > I created an issue[1] on the tracker and I also CC'ed the author. It > would be nice if you, guys, will also upload your examples to the > issue tracker, so that we can fix it ASAP (mine example is too big its > an _oasis file that is more than thousand lines of code, I've tried on > a smaller example, but bug didn't manifest itself). > > [1]: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1674&group_id=54&atid=291 > > On Sun, Sep 25, 2016 at 10:20 PM, Boutillier, Pierre > > wrote: > > DISCLAIMER: I don't know anything about oasis. > > Le 22 sept. 2016 à 17:37, Yann Hamdaoui > a écrit : > > > > I run oasis version 0.4.7 with compiler switch 4.03.0+flambda > It seems indeed that oasis.0.4.7 hates 4.03.0+flambda > Here is my story: > I tried an `opam update` on a debian jessie machine. It had the > consequence to attempt an update of `tls`. (`tls` forces an `oasis > setup` during its ./configure) it fails with `none: unknown option > '--enable-lwt'.` > Strange... > So I tried to install tls on a MacOS "just to see" (using switch > 4.03.0+flambda too) There, the compilation of `nocrypto` fails at > `oasis setup` with `E: Unknown flag 'modernity'` By random > copy/paste I experience that the only way to remove this error is > indeed to make `Flag modernity` the last Flag section of the file > but in this case other flags seems to be ignored (let's stay > factual: --enable-lwt and --disable-xen are unrecognized options) > > Then I remembered about your message and I realized that we were > both using +flambda. So I `opam switch 4.03.0 && opam install > tls` ... Success! > Finally in my +flambda switch I downgrade oasis to 0.4.6 (on > debian because on MacOS this operation was too much for opam > internal solver: it suggests something implying `===== ∗ 4 ↻ > 10 ↘ 15 ⊘ 18 =====` :-)) Success, I can install tls again! > > I stopped here. I was too happy to be back in a working setting > but there is something to investigate... > > All the best, > Pierre B. > > > -- > 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 > > > --------------F460BE920586C998E9358F97 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit
Thanks for all you answers, removing all oasis generated and compiled files didn't help but switching to 4.03.0 without flambda solved the problem.

I will upload my example on the tracker, mine is really small (37 lines).

On 28/09/2016 20:30, Ivan Gotovchits wrote:
Can confirm that I've seen the same issues 100% reproducible on 4.03+flambda with oasis 0.4.7. Everything worked fine with `< oasis.0.4.6`.

I created an issue[1] on the tracker and I also CC'ed the author. It would be nice if you, guys, will also upload your examples to the issue tracker, so that we can fix it ASAP (mine example is too big its an _oasis file that is more than thousand lines of code, I've tried on a smaller example, but bug didn't manifest itself). 


On Sun, Sep 25, 2016 at 10:20 PM, Boutillier, Pierre <Pierre_Boutillier@hms.harvard.edu> wrote:
DISCLAIMER: I don't know anything about oasis.
> Le 22 sept. 2016 à 17:37, Yann Hamdaoui <yann.hamdaoui@gmail.com> a écrit :
>
> I run oasis version 0.4.7 with compiler switch 4.03.0+flambda
It seems indeed that oasis.0.4.7 hates 4.03.0+flambda
Here is my story:
I tried an `opam update` on a debian jessie machine. It had the consequence to attempt an update of `tls`. (`tls` forces an `oasis setup` during its ./configure) it fails with `none: unknown option '--enable-lwt'.`
Strange...
So I tried to install tls on a MacOS "just to see" (using switch 4.03.0+flambda too) There, the compilation of `nocrypto` fails at `oasis setup` with `E: Unknown flag 'modernity'` By random copy/paste I experience that the only way to remove this error is indeed to make `Flag modernity` the last Flag section of the file but in this case other flags seems to be ignored (let's stay factual: --enable-lwt and --disable-xen are unrecognized options)

Then I remembered about your message and I realized that we were both using +flambda. So I  `opam switch 4.03.0 && opam install tls` ... Success!
Finally in my +flambda switch I downgrade oasis to 0.4.6 (on debian because on MacOS this operation was too much for opam internal solver: it suggests something implying `===== ∗  4   ↻  10   ↘  15   ⊘  18 =====` :-)) Success, I can install tls again!

I stopped here. I was too happy to be back in a working setting but there is something to investigate...

All the best,
Pierre B.


--
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


--------------F460BE920586C998E9358F97--