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