mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-15 13:55:07 +00:00
Estimated hours taken: 1 Branches: main Change things so that LIBGRADES includes the default grade. This fixes a bug that sometimes caused the libraries not to be installed in the default grade, e.g. when $(GRADE) is set in Mmake.params. configure.in: Don't delete $(GRADE) from $(LIBGRADES). Mmakefile: scripts/Mmake.rules: compiler/make.program_target.m: Change the loops over $(ALL_LIBGRADES) so that they skip $(GRADE). scripts/Mmake.vars.in: Delete an bogus assignment setting LIBGRADES to empty, since it wasn't being used (LIBGRADES was being assigned again below). Update the documentation for LIBGRADES.