[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Mirage ARM port

>>> This will basically never work for anything that uses camlp4, so
>>> I can't see how it can possibly be the default in FreeBSD and not
>>> have a bunch of other build breakages...
>> OPT_DEF isn't enabled by default.
> Oops, Gabor told me exactly the same thing a few months ago and I filed
> it away in my head as the opposite...
> https://github.com/ocaml/opam/issues/1044

It's still a very valid point - this option shouldn't really exist I
guess (nice idea that bites you eventually).

You could raise an issue here and see what Michael thinks;


MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.