On 08/02/2013 00:13, Imre Vadasz wrote:
This patch is necessary to make PolyML work on FreeBSD x86_64, because the
elf.h header in FreeBSD is missing a typecast that exists in the corresponding
header file on Linux.
Without this patch the compiled polyml immediately segfaults on FreeBSD x86_64.
This issue also affects other *BSD systems (e.g. NetBSD/amd64).
It should not do any harm to simply include this cast as in the patch
unconditionally.

Regards,
Imre Vadasz

Thanks, I've included it in SVN trunk. I may backport it to fixes-5.5 in due course.

Regards,
David

_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to