From: "Boutillier, Pierre" <Pierre_Boutillier@hms.harvard.edu>
To: Yann Hamdaoui <yann.hamdaoui@gmail.com>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] Oasis strange behavior
Date: Mon, 26 Sep 2016 02:20:44 +0000 [thread overview]
Message-ID: <9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu> (raw)
In-Reply-To: <e59e3c89-a7d9-ec66-4f96-254c7c5b4996@gmail.com>
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.
next prev parent reply other threads:[~2016-09-26 2:20 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 [this message]
2016-09-28 18:30 ` Ivan Gotovchits
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=9877B927-11E1-453A-B9CD-400C69A25A03@hms.harvard.edu \
--to=pierre_boutillier@hms.harvard.edu \
--cc=caml-list@inria.fr \
--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