19/10/13 12:58, Buday Gergely wrote:

Hi,

I am looking for a method of managing compilation for Poly/ML, like .cm files for SML/NJ and .mlb files for MLton. What I have found on polyml.org was PolyML.make -- is that the last word on this subject?

With Poly/ML, I find it easiest to have source files of the form use "<filename-1>"; use "<filename-2>"; ... solely for the purpose of processing other source files.

This question came up a while ago, and I posted an answer here: http://lists.inf.ed.ac.uk/pipermail/polyml/2012-August/001059.html (about half way down)

Phil