Hi Bill - thanks much for the detailed and thought-out message.
Since the same source would
be compiled for multiple devices, it would be advantageous to compile
the source with multiple compilers within a single Makefile.am.
...
add new variables (`maude_CC', `maude_CXX',
I would like to request a feature for GNU Automake if it is possible.
When building programs and libraries with GNU Autotools (libtool,
aclocal, automake, and autoconf) it is sometimes desirable to compile
the same source with a custom compiler (other than CC, CXX, etc.). A
sample use case is