20 Oct
2013
20 Oct
'13
1:43 p.m.
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