Re: [MirageOS-devel] Mirage ARM port

[Andy Ray <andy.ray@xxxxxxxxxxx>]

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.

-Andy

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