Julien Fischer ca58b4c2a4 Updates for the ml script. ...

scripts/ml.in:
    Shared libraries are now the default on FreeBSD systems.

    Handle 64-bit Cygwin systems the same as 32-bit ones.

    Update references to the configure script source.

2020-01-23 20:15:49 +11:00

..

.gitignore

…

.nocopyright

…

32px.png

…

40px.png

…

c2init.in

…

canonical_grade.in

…

canonical_grade.sh-subr

…

final_grade_options.sh-subr

…

fullarch

…

gud.el

…

init_grade_options.sh-subr

…

jquery.slim.js

Use non-minified copies of jQuery and jsTree.

2018-11-19 11:42:45 +11:00

jstree.js

Use non-minified copies of jQuery and jsTree.

2018-11-19 11:42:45 +11:00

jstree.style.css

Use non-minified copies of jQuery and jsTree.

2018-11-19 11:42:45 +11:00

mdb_grep

…

mdb_open

…

mdb_term_browser.css

Update the COPYING.LIB file and references to it.

2018-06-09 17:43:12 +10:00

mdb_term_browser.js

Update the COPYING.LIB file and references to it.

2018-06-09 17:43:12 +10:00

mdb_track

…

mdb.bat.in

…

mdb.in

…

mdbrc.in

…

mdprof.in

…

mercury_compile.sh-csharp

…

mercury_compile.sh-java

…

mercury_config.in

…

mercury_update_interface.in

…

mercury.bat.in

…

Mercury.config.bootstrap.in

…

Mercury.config.in

Add option for link-time optimization/link-time code generation

2019-11-15 16:51:13 +11:00

mfilterjavac.sh-java

…

mgnuc_file_opts.sh-subr

Add a --halt-at-warn-if-possible option to mgnuc.

2018-07-30 09:24:06 +10:00

mgnuc.in

Delete an unused variable from the mgnuc script.

2020-01-19 21:24:28 +11:00

mkfifo_using_mknod.in

…

ml.in

Updates for the ml script.

2020-01-23 20:15:49 +11:00

mmake.in

Add a way to debug mmake's actions.

2019-06-18 18:32:16 +02:00

Mmake.rules

…

Mmake.vars.in

…

Mmakefile

Use non-minified copies of jQuery and jsTree.

2018-11-19 11:42:45 +11:00

mmc.in

…

mprof_merge_runs

Generate better man pages.

2019-05-28 15:54:45 +10:00

mprof.bat.in

…

mprof.in

…

mtags.in

Generate better man pages.

2019-05-28 15:54:45 +10:00

mtc

…

parse_grade_options.sh-subr

…

parse_ml_options.sh-subr.in

Generate better man pages.

2019-05-28 15:54:45 +10:00

prepare_install_dir.in

…

rs6000_hack

…

throbber.gif

…

vpath_find

…

xul_tree.xsl

…