Julien Fischer d0f22be99e Avoid spurious warnings from GCC. ...

As mentioned recently on the developers list, GCC versions 9 10 and 11 are
emitting suprious warnings with -Warray-bounds for the specialised code they
introduce for strcmp etc. Disable that warning for those versions of GCC. In
addition to this issue, according to the GCC bug database is is generating a
lot of false positives anyway.

configure.ac:
scripts/mgnuc.in:
    As above.

2022-03-05 22:39:10 +11:00

..

.gitignore

Add mercury script to .gitignore.

2020-06-27 15:06:21 +10:00

.nocopyright

…

32px.png

…

40px.png

…

c2init.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

canonical_grade.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

canonical_grade.sh-subr

Delete erlang from grade scripts.

2020-10-27 11:10:11 +11:00

compare_s1s2_lib

…

final_grade_options.sh-subr

Generate diagnostics for .par.mm grades.

2021-06-13 21:41:56 +10:00

gud.el

…

init_grade_options.sh-subr

Delete erlang from grade scripts.

2020-10-27 11:10:11 +11:00

jquery.slim.js

…

jstree.js

…

jstree.style.css

…

mdb_grep

…

mdb_open

…

mdb_term_browser.css

…

mdb_term_browser.js

…

mdb_track

…

mdb.bat.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mdb.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mdbrc.in

Delete support for browsing terms as XML.

2020-10-14 17:41:54 +11:00

mdprof.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mercury_compile.sh-csharp

…

mercury_compile.sh-java

…

mercury_config.in

Delete Erlang backend from configure.

2020-10-27 11:10:11 +11:00

mercury_update_interface.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mercury.bat.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

Mercury.config.bootstrap.in

Delete erlang options from Mercury.config files.

2021-06-07 16:53:40 +10:00

Mercury.config.in

Delete erlang options from Mercury.config files.

2021-06-07 16:53:40 +10:00

mercury.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mfilterjavac.sh-java

…

mgnuc_file_opts.sh-subr

…

mgnuc.in

Avoid spurious warnings from GCC.

2022-03-05 22:39:10 +11:00

mkfifo_using_mknod.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

ml.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mmake.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

Mmake.rules

Shut up mmake actions for check_namespace.

2022-01-24 17:38:35 +11:00

Mmake.vars.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

Mmakefile

Shut up mmake actions for check_namespace.

2022-01-24 17:38:35 +11:00

mmc.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mprof_merge_runs

…

mprof.bat.in

…

mprof.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mtags.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mtc

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

parse_grade_options.sh-subr

Delete erlang from grade scripts.

2020-10-27 11:10:11 +11:00

parse_ml_options.sh-subr.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

prepare_install_dir.in

Delete Erlang backend from configure.

2020-10-27 11:10:11 +11:00

rs6000_hack

…

throbber.gif

…

vpath_find

…