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

https://github.com/ocaml/opam/issues/1044

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


 


Rackspace

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