mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-26 23:04:15 +00:00
Estimated hours taken: 2 Branches: main These changes allow the compiler to be built with `mmake --use-mmc-make'. */Mmakefile: Add dummy rules for optional `Mmake.*.params' files so that `mmc --make' is not asked to make them. library/INTER_FLAGS_MMC_MAKE: library/Mmakefile: Add a version of the `library/INTER_FLAGS' file to be used when `mmc --make' is being used. library/LIB_FLAGS.in: Add `--c-include-directory ../robdd' so that `mmc --make' can find the included C files for `robdd.m'. tools/bootcheck: Make `bootcheck --use-mmc-make' imply `bootcheck --use-subdirs'. Copy `INTER_FLAGS_MMC_MAKE' to stage 2 and stage 3 directories. Manually make `*_FLAGS' files in the stage 2 directory if `--use-mmc-make' is in effect.