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

From: Eric S. Raymond (
Date: Thu Jun 01 2000 - 21:46:27 EST

Christopher Smith <>:
>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?
> ;-)

Not necessary. CML2 0.2.0 actually includes a theorem prover that does
substitution and algebraic reduction on the constraints and then forces
variables based on the resulting relational assertions.

		<a href="">Eric S. Raymond</a>

Americans have the right and advantage of being armed - unlike the citizens of other countries whose governments are afraid to trust the people with arms. -- James Madison, The Federalist Papers

- 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