16 Sep
2012
16 Sep
'12
4:02 p.m.
David,
Many thanks for the new release. ProofPower builds and test fine on it. I don't have any specific feedback on performance yet - the build process itself is somewhat atypical.
On 15 Sep 2012, at 09:16, David Matthews wrote:
... Object files now use standard "text" and "data" areas when exporting. In particular this means that it is no longer necessary to use --segprot on Mac OS X to avoid a bus error.
I have make files that detect Mac OS X and insert the -segprot option automatically. Should I change these to be more specific about Poly/ML versions, or is it harmless to continue to give the -segprot option?
Regards,
Rob.