>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
>> From: Ryan Collins <[EMAIL PROTECTED]>
>> Date: Wed, 5 Dec 2001 03:35:25 -0500 (EST)
>>
>> @INSTALL_atom@ --> "/usr/bin/install -c"
>> @INSTALL_list@ --> '("/usr/bin/install" "-c")
Paul> An interesting idea. Hmm, wouldn't it be better to use a syntax that
Paul> doesn't infringe on the user name space? Also, something where the
Paul> terminology isn't scsh-specific, and where the semantics are easier to
Paul> grok instantly. For example, how about using the following syntax
Paul> instead?
Paul> @INSTALL@ --> /usr/bin/install -c
Paul> @"INSTALL"@ -> "/usr/bin/install -c"
Paul> @("INSTALL")@ -> ("/usr/bin/install" "-c")
What's wrong with the following syntax?
@INSTALL@
"@INSTALL@"
(string-split "@INSTALL@" #\space) ;; or whatever this function is called
That way, no Autoconf modification is needed :)
[...]
--
Alexandre Duret-Lutz
