[polyml] suppressing compiler output

On Fri, Apr 5, 2013 at 7:24 AM, David Matthews David.Matthews@prolingua.co.uk wrote:

I've added a "polyc" script that is generated from the build process. The idea of this is to provide the similar sort of functionality that users of C expect from the "cc" command. It's very simple at the moment and is limited to a few options. It compiles an ML source file and exports the "main" function. The -o option specifies where the executable is to be placed, defaulting to a.out on Unix.

GHC's output default to the basename of the input file. I think it is a sensible default in modern environments.

GHC also has automatic dependency tracking, I don't know how practical or easy that is to implement for PolyML.

-- Gaby