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

Re: [MirageOS-devel] Mirage ARM port

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

> On Tue, Apr 29, 2014 at 10:35 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>> On 29 Apr 2014, at 15:28, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:
>>> I am close to a few patches for the ocaml ports package (which the
>>> maintainer has agreed to help push upstream) so there should even be a
>>> binary package for ocaml fairly soon.
>> I did notice one serious breakage in the FreeBSD OCaml port that should
>> be fixed as well.  The OPT_DEF replaces the bytecode compilers with the
>> nativecode versions, thus breaking all dynlinking (e.g. for camlp4).
>> ....
>> 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...
>> -anil
> 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...


MirageOS-devel mailing list



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