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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
