From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D42707F029 for ; Wed, 28 Sep 2016 20:30:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lf0-f46.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.215.46 as permitted sender) identity=mailfrom; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-lf0-f46.google.com) identity=helo; client-ip=209.85.215.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lf0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AM4+t9BOIsKfuOgIVQHwl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KPj8rarrMEGX3/hxlliBBdydsKMezbOJ+Pm5BiRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUqabtcm81viz9pvPeE0IwWPlOfIhGi6rth3cvdU6ho5rK6B5ikeY4ygAR+?= =?us-ascii?q?MDj0lvOE6SmxL96930tKZi/j5Ktrhpo/ZBXL/gcpMSSqFEDTAiMm0vzM3url/D?= =?us-ascii?q?RBGR72EQFGgaj0wbLRLC6UTbQJ73+gT9qu1j0ymbIda+GbEqVhyj4qpmDhjyh3?= =?us-ascii?q?FUZHYC7GjLh5ko3+pgqxW7qkk6ntfZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARBgCOC+xXfy7XVdFDGg4NAQEBAwEBA?= =?us-ascii?q?QkBAQEXAQEEAQEKAQGDFAEBAQEBPDl8B6ZQhS6HOIcYJoV4AoFZBzsRAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEJCwsJFzGCMgQBFQWCEQEBAwESER0BASwLAQQLCQILGh0CAiEBE?= =?us-ascii?q?gEFAQoSBhMSEIgRAw8IDi2REo9HgTI+MopWZ4RJAQEFhEcDCoNaAQEBAQEFAQE?= =?us-ascii?q?BAQEBGQgQhieEVIJHgiqCV4Jahm8Mkks1hieGSYJ7gW5OjTCHCYFThBCCOxMeg?= =?us-ascii?q?REPJYMEKw4cgRVXIjQBhXCBQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ARBgCOC+xXfy7XVdFDGg4NAQEBAwEBAQkBAQEXAQEEAQE?= =?us-ascii?q?KAQGDFAEBAQEBPDl8B6ZQhS6HOIcYJoV4AoFZBzsRAQEBAQEBAQEBAQESAQEJC?= =?us-ascii?q?wsJFzGCMgQBFQWCEQEBAwESER0BASwLAQQLCQILGh0CAiEBEgEFAQoSBhMSEIg?= =?us-ascii?q?RAw8IDi2REo9HgTI+MopWZ4RJAQEFhEcDCoNaAQEBAQEFAQEBAQEBGQgQhieEV?= =?us-ascii?q?IJHgiqCV4Jahm8Mkks1hieGSYJ7gW5OjTCHCYFThBCCOxMegREPJYMEKw4cgRV?= =?us-ascii?q?XIjQBhXCBQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,410,1470693600"; d="scan'208,217";a="238651357" Received: from mail-lf0-f46.google.com ([209.85.215.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Sep 2016 20:30:16 +0200 Received: by mail-lf0-f46.google.com with SMTP id g62so61346090lfe.3 for ; Wed, 28 Sep 2016 11:30:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=raXaaL9qguEMiUVznI7nRevYD0onnc8U1Vrca12qiRE=; b=Cl++o7dbLt/loHrR7tDzASigO4CGgTeoMXGjRd4508w8+yPSOonaH1Utk43kMTX94K DeRHCygaod0PDKsCS0KFAOmPWocukuzVq7pwqbEL+Dl0ZexzMcnDR6/LYPwp4TF2QpoT iVuacGIFF0YfRrL/aK8z9AYyJg8E3UtiB73Shw2SDTOXQ02FJ+G+j9aRfnsLJ+2zRoaY GjXa3bwrk76NjMBHp47e+YdGyyWItlPSV1qQKpoSZYPSvmhmtwrA1GeIMpooG6tlytlO 51u2KWMIqzaciDxSmXj0mPEziwiHNrdVp7dxXc5bs+Qx93JQIK/M0yEYK5HgDAVA8MJ5 rC4A== 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=raXaaL9qguEMiUVznI7nRevYD0onnc8U1Vrca12qiRE=; b=dO3hJ0sQMqU41o9GM+w3GHXEP1vW7wS0XV5VHCE7hG7QfA0RF2ECyP7mjQ2UVUvxuA xvNgIZxYZkjOqWt5bydGKi+UCTeKdmqKBlkWSURuG+SC2LSwAz4HqJ/JK6lxzQxGfP9a yyy5HiCq70klL86KMCrvZX125iVsVmx25/fAA4kjuFmA60MnJgTELcApiZTOiTgBP5sE 6f/SwLep7B8LXSopQ/hSWau8wtBYyYUSgNz7dCr03Css6dJgMcmxHT8l+vWG9BVbtbQF yenoC/8427rEFW+jBCVeV98H/f/I5zYGWQttozLgEP0bhbwJKAXv+o6B4gC/vgmkNaMV MO5Q== X-Gm-Message-State: AA6/9RkYKY5rtyIZYaNPSi/4/sS0MM/8QjfXsEnwfh/UV5HDCQdUIZvXOR86JYSmYQKrlZarWOXElMwei4wt9/GI X-Received: by 10.25.215.198 with SMTP id q67mr4920121lfi.98.1475087415658; Wed, 28 Sep 2016 11:30:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.114.64.17 with HTTP; Wed, 28 Sep 2016 11:30:14 -0700 (PDT) In-Reply-To: <9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu> References: <9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu> From: Ivan Gotovchits Date: Wed, 28 Sep 2016 14:30:14 -0400 Message-ID: To: "Boutillier, Pierre" Cc: Yann Hamdaoui , "caml-list@inria.fr" , sylvain@le-gall.net, Maverick Woo Content-Type: multipart/alternative; boundary=001a114119b86c6e35053d958d5f Subject: Re: [Caml-list] Oasis strange behavior --001a114119b86c6e35053d958d5f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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=3Ddetail&aid=3D1674&grou= p_id=3D54&atid=3D291 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 =C3=A0 17:37, Yann Hamdaoui a > =C3=A9crit : > > > > 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 experien= ce > 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` ... Succes= s! > 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 `=3D=3D=3D=3D=3D =E2=88=97 4 =E2=86=BB 10= =E2=86=98 15 =E2=8A=98 18 =3D=3D=3D=3D=3D` :-)) > 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 > --001a114119b86c6e35053d958d5f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Can confirm that I've seen the same issues 100% reprod= ucible 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 examp= le 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).= =C2=A0


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 =C3=A0 17:37, Yann Hamdaoui <yann.hamdaoui@gmail.com> a = =C3=A9crit :
>
> 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 se= tup` with `E: Unknown flag 'modernity'` By random copy/paste I expe= rience that the only way to remove this error is indeed to make `Flag moder= nity` 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 u= nrecognized options)

Then I remembered about your message and I realized that we were both using= +flambda. So I=C2=A0 `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 `=3D=3D=3D=3D=3D =E2=88=97=C2=A0 4=C2=A0 =C2=A0=E2=86= =BB=C2=A0 10=C2=A0 =C2=A0=E2=86=98=C2=A0 15=C2=A0 =C2=A0=E2=8A=98=C2=A0 18 = =3D=3D=3D=3D=3D` :-)) Success, I can install tls again!

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

All the best,
Pierre B.


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

--001a114119b86c6e35053d958d5f--