Phil Clayton wrote:
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.)
I've updated the web page for the current SVN. The second "make" was
included because a previous version of the Makefile required it. The
current version includes a call to "make" as part of "make compiler".
The need for a second call to "make compiler" is specific to the current
state of SVN for the X86. The version of the compiler in SVN uses a
different format for exception handlers than the previous compiler.
Calling "make compiler" builds a new compiler so that any code it
generates uses the new format. The compiler itself, though, uses the
old format. There are cases where handlers in the compiler get called
from newly compiled code and the mismatch can result in a segfault. The
solution is to build the compiler itself on the new compiler so
everything uses the new format and this is what the second call to "make
compiler" does. It isn't generally necessary.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
