Re: [MirageOS-devel] Mirage ARM port

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 29 Apr 2014, at 23:43, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:

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

Done (much more convenient than the freebsd send-pr)

https://bitbucket.org/michipili/ports-bsd/issue/9/def_opt-considered-dangerous

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