Add configuration option for mmc executable
dpavsrtrl opened this issue · 1 comments
dpavsrtrl commented
mmc on windows conflicts with C:\Windows\System32\mmc.exe.
Unable to use configure script
looking for an already installed Mercury compiler to bootstrap with... checking for mmc... /c/Windows/system32/mmc wrong mmc ignored configure: error: You need a working Mercury compiler to bootstrap with
dpavsrtrl commented
After a minute's thought, figured out that there's BOOTSTRAP_MC env variable.