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

Re: [MirageOS-devel] Mirage ARM port

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)


MirageOS-devel mailing list



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