Re: Why does ./configure not set prefix and exec_prefix?

[Tom Tromey]

Mo> echo "prefix is \"$prefix\""
Mo> echo "exec_prefix is \"$exec_prefix\""

Mo> % ./configure --prefix=/tmp
Mo> ...
Mo> prefix is "/tmp"
Mo> exec_prefix is "NONE"

Mo> This should print:
Mo> % ./configure --prefix=/tmp
Mo> ...
Mo> prefix is "/tmp"
Mo> exec_prefix is "/tmp"

That's where we disagree.
I think it should print

prefix is "/tmp"
exec_prefix is "${prefix}"

Actually I think the current approach is fine too.
Alexandre has a macro you can use if you need the expanded value.

Tom