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@xxxxxxx https://lists.gnu.org/mailman/listinfo/autoconf
