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