I don't know, wouldn't be better to make separate entry for this? When you want to update libm more frequently (which is probably the reason why are you proposing it), I'd vote for separate folder in cvs. mintlib uses some "strange" targets (profile, debug) which libm certainly doesn't want to use so the configuration and consistency will be quite broken.Any ideas, or should I just move it into mintlib ?
This is my humble point of view :) -- MiKRO / Mystic Bytes http://mikro.atari.org