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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml