Hi,
i have bought a new MacBook and i would look forward for PolyML on Intel based Macs.
As i heard from Prof. Nipkow there are some problems with signaling or so on the intel based macs, so that it doesnt compile. So i have started to look a little bit on the source to about the problems and as much as i can see there are the following problems:
1. no global functions for changing the Floating Point Rounding mode needed for reals.c (im not sure if this is realy needed at the moment. 2. adding support for darwin i386 in mm.h (MM_CPU_TYPE) 3. sighandler.c SV_SAVE_REGS seems to be a ppc specific handler.
At the moment im looking about solving number 1, but before i start with this, i look forward if anyone has already done more research.
Thanks Martin Klebermass