mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-14 13:23:53 +00:00
d7ed113ec6
Estimated hours taken: 3 Support installing both `.par' and non-`.par' versions of the GC library. scripts/ml.in: Change the code for computing which version of the GC library to link in so that it also takes the `.par' grade component into account, rather than just the `.prof' grade component. Add new options `--print-gc-grade' (for use by the top-level Mmakefile) and `--print-grade' (for symmetry). Mmakefile: When invoking sub-makes in the boehm_gc directory, pass down GC_GRADE instead of PROF. Compute the GC_GRADE value using `scripts/ml ... --print-gc-grade` rather than computing it manually, since this avoids code duplication. boehm_gc/Mmakefile: boehm_gc/Makefile: boehm_gc/NT_MAKEFILE: s/gc$(PROF)/$(GC_GRADE)/g runtime/Mmakefile: trace/Mmakefile: browser/Mmakefile: bytecode/Mmakefile: library/Mmakefile: compiler/Mmakefile: profiler/Mmakefile: Change the code for computing which version of the GC library to link in so that it also takes the `.par' grade component into account, rather than just the `.prof' grade component.
This directory holds the source code for the Mercury bytecode utilities. `mdis' is the Mercury bytecode disassembler. `mbi' is the Mercury bytecode interpreter. `libmbi' is the same thing, minus main(). All exported symbols defined in modules in this directory should be prefixed with `MB_', for "Mercury Bytecode", to avoid clashes with names defined in other packages.