Many thanks for your response, Vivien! I agree environment variables can help, too, althought it's not my preferred way, but thanks for having mentionned them anyway!
Sébastien. _______________________________________________ Autoconf mailing list Autoconf@gnu.org https://lists.gnu.org/mailman/listinfo/autoconf
