From: Ivan Gotovchits <ivg@ieee.org>
To: "Boutillier, Pierre" <Pierre_Boutillier@hms.harvard.edu>
Cc: Yann Hamdaoui <yann.hamdaoui@gmail.com>,
"caml-list@inria.fr" <caml-list@inria.fr>,
sylvain@le-gall.net, Maverick Woo <maverick@cs.cmu.edu>
Subject: Re: [Caml-list] Oasis strange behavior
Date: Wed, 28 Sep 2016 14:30:14 -0400 [thread overview]
Message-ID: <CALdWJ+xKXf8qdaLSunW+WtRPDbotOkjj7Ei2-VfTmzEeWOXJFw@mail.gmail.com> (raw)
In-Reply-To: <9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu>
[-- Attachment #1: Type: text/plain, Size: 2490 bytes --]
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 <
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
>
[-- Attachment #2: Type: text/html, Size: 3448 bytes --]
next prev parent reply other threads:[~2016-09-28 18:30 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-22 21:37 Yann Hamdaoui
2016-09-23 5:24 ` Simon Cruanes
2016-09-23 14:47 ` Hendrik Boom
2016-09-26 2:20 ` Boutillier, Pierre
2016-09-28 18:30 ` Ivan Gotovchits [this message]
2016-09-28 20:24 ` Yann Hamdaoui
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CALdWJ+xKXf8qdaLSunW+WtRPDbotOkjj7Ei2-VfTmzEeWOXJFw@mail.gmail.com \
--to=ivg@ieee.org \
--cc=Pierre_Boutillier@hms.harvard.edu \
--cc=caml-list@inria.fr \
--cc=maverick@cs.cmu.edu \
--cc=sylvain@le-gall.net \
--cc=yann.hamdaoui@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).