12 Feb
2013
12 Feb
'13
3:58 p.m.
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