mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Estimated hours taken: 4 Optionally test the extras directory during bootchecks. tools/bootcheck Add an option, -e, for testing the extras directory. Rename the -T/--test-only option as -n/--no-bootcheck, since it does not prevent the testing of the extras. Bootcheck only test the subdirectories in extras which have an Mmakefile and which can be tested in all grades and in all setups. extras/*/Mmakefile: Updates to include extras/Mmake.params if it exists (to get the parameters, including grades, of the bootcheck) and to add a check target, which in most cases does not do anything yet (which means that the only testing we do is checking that the program compiles all right). Making "mmake check" do something meaningful will be up to the authors of the various subdirectories involved. In many cases, add .PHONY annotations on the relevant targets, and copyright notices. extras/aditi/NOBOOTTEST: Prevent the automatic testing of the aditi subdirectory from bootcheck, since this can be done only on a machine with Aditi installed. extras/aditi/NOBOOTTEST: Prevent the automatic testing of the aditi subdirectory from bootcheck, since this can be done only on a machine with Aditi installed. extras/aditi/NOBOOTTEST: Prevent the automatic testing of this subdirectory from bootcheck, since this can be done only on a machine with Aditi installed. extras/dynamic_linking/NOBOOTTEST: Prevent the automatic testing of this subdirectory from bootcheck, since this can be done only on a machine with the dl library already installed. extras/logged_out/NOBOOTTEST: Prevent the automatic testing of this subdirectory from bootcheck, since this can be done only in grades with the right kind of stream support. extras/odbc/NOBOOTTEST: Prevent the automatic testing of this subdirectory from bootcheck, since this can be done only on a machine with ODBC installed. extras/references/NOBOOTTEST: extras/trailed_update/NOBOOTTEST: Prevent the automatic testing of this subdirectory from bootcheck, since this can be done only in trailing grades. extras/*/.nocopyright: Mention the NOBOOTTEST files in the relevant .nocopyright files.
2 lines
11 B
Plaintext
2 lines
11 B
Plaintext
NOBOOTTEST
|