Re: [MirageOS-devel] Mirage ARM port

[Andy Ray <andy.ray@xxxxxxxxxxx>]

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

https://bitbucket.org/michipili/ports-bsd/issues?status=new&status=open

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel