[Bug]: --print-chpl-settings
does not pick up changes from the compiler arguments
#25958
Labels
--print-chpl-settings
does not pick up changes from the compiler arguments
#25958
Users currently have a number of ways to select compiler configurations with Chapel environment variables. They can set the environment variables, they can write a
chplconfig
file, or they can change the variable with a command line flag.For example,
CHPL_GMP=none chpl ...
andchpl --gmp=none ...
are equivanelt.However, when printing out the current compiler configuration using
--print-chpl-settings
, these are not equivalent.CHPL_GMP=none chpl --print-chpl-settings
shows the current compiler configuration withCHPL_GMP: none *
, whilechpl --gmp=none --print-chpl-settings
shows whatever the default was.This does not impact the correctness, as
--gmp=none
still works as far as selecting the right runtime build. But it can be confusing that--print-chpl-settings
does not match.The text was updated successfully, but these errors were encountered: