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