Re: [KBUILD] Re: Announcing CML2, a replacement for the kbuild system

From: Christopher Smith (
Date: Thu Jun 01 2000 - 20:28:51 EST

On Fri, May 26, 2000 at 09:22:18PM -0400, Eric S. Raymond wrote:
> CML2 is aimed at this. It will never be perfect -- perfection would require
> a full theorem prover -- but it's already good enough to handle normal
> ancestry relationships.

Perhaps a CML2 engine should be written in ML to solve this problem?


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
Please read the FAQ at

This archive was generated by hypermail 2b29 : Wed Jun 07 2000 - 21:00:14 EST