On Wed, 14 Nov 2001 12:07:32 -0500,
"Eric S. Raymond" <[EMAIL PROTECTED]> wrote:
>OK. I can do that. How are you going to condition the value on an
>architecture, though? Is your derivation going to look something like this?
>
>derive MYVAR from (X86 ? "a" : (PPC ? "b" : (ARM ? "c" : "x")))
>
>That would be workable but ugly, and increasingly fragile as the number
>of architectures goes up. Can you imagine a better solution?
Split it over multiple lines and drop ()?
derive MYVAR from
X86 ? "a" :
PPC ? "b" :
ARM ? "c" :
"default"
Or allow the else clause to be empty, meaning ignore. Empty clauses
are dropped from the theorem prover.
derive MYVAR from (X86 ? "a" : )
derive MYVAR from (PPC ? "b" : )
derive MYVAR from (ARM ? "c" : )
_______________________________________________
kbuild-devel mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/kbuild-devel