I've updated the "polyc" script so that as well as accepting an ML source file to compile and link it can also be used to link object files created with PolyML.export.
Switching to static linking by default in SVN has turned up a few problems. In particular it seems that it's important to include the libraries required by libpolyml. The problem is that this can depend on how it was built. In particular, the configure script will use GMP if it is present but falls back to the internal arbitrary precision package if it is not. That has the effect that if GMP was detected during the build process then the linking line must include -lgmp. However, if GMP is not present then including -lgmp will result in an error message. This makes it rather difficult to write a general purpose linking script. The linking line found at http://www.polyml.org/FAQ.html#standalone has gone through several versions and still has to be tweaked. It should now just require polyc -o hello hello.o
Although "polyc" is a shell script it is produced during the build process and includes the appropriate options for linking depending on what the configure script found. The name "polyc" was meant to be analogous to "cc" or "gcc". I don't know whether it might be better to use the name "poly" for both the "batch" and interactive versions depending on the options. Any ideas?
David