26 Jul
2010
26 Jul
'10
9:37 p.m.
David Matthews wrote:
One important point to make is that you should run "make compiler" TWICE i.e. make make compiler make compiler The reason for this is that the format of exception handlers has changed and if it is only run once there is danger that a raised exception could encounter code that uses the old format resulting in a segfault.
The Poly/ML download page ( http://www.polyml.org/download.html ) says:
./configure make make compiler make make install
Should the third make command be 'make compiler' then? (I've always found just 'make' does nothing.)
Phil