[MLton] Re: [MLton-commit] r7419

Matthew Fluet matthew.fluet at gmail.com
Mon Feb 15 09:19:43 PST 2010


On Mon, Feb 15, 2010 at 11:55 AM, Wesley Terpstra <wesley at mlton.org> wrote:
> Another multiple target bug.
>
> This says to build the two output files by executing the rule twice.
> front-end/mlb.grm.sig front-end/mlb.grm.sml: front-end/mlb.grm
>        $(MAKE) -C front-end mlb.grm.sig mlb.grm.sml
>
> This describes a target-group rule that generates two files at once.
> front-end/%.grm.sig front-end/%.grm.sml: front-end/%.grm
>        $(MAKE) -C front-end $(<F).sig $(<F).sml
>
> ... though you'd think they behave the same since they look alike, they don't.

Nice fixes.

Is there a way to describe a target-group that generates multiple
files at once, where the files aren't necessarily simple variations on
a name stem?



More information about the MLton mailing list