cache the values of ghc_ge_XXX at configure-time
This avoids recomputing them via $(shell) each time make expands one of these variables, which is very expensive (0.3s or so) on Windows.
Please register or sign in to comment
This avoids recomputing them via $(shell) each time make expands one of these variables, which is very expensive (0.3s or so) on Windows.