mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-21 00:39:37 +00:00
ENVIRONMENT_VARS: Added a new env var MERCURY_C_INCL_DIR used by mc.sh and passed to mercury_compile using the new --c-include-directory option.