Julien Fischer 741d17f821 Fix stage 2 grade_lib dir compilation in the Java grade. ...

grade_lib/Mmakefile:
     Override the setting of MLOBJS in non-C grade as we do in other
     directories containing executables; otherwise mmake will complain
     about the missing archives.

2020-05-21 22:26:00 +10:00

..

.gitignore

Ignore grade/GRADE_LIB_FLAGS.

2019-09-29 13:29:37 +10:00

.mgnuc_copts

Build the grade_lib directory by default.

2020-04-14 09:35:55 +10:00

.mgnuc_opts

Build the grade_lib directory by default.

2020-04-14 09:35:55 +10:00

choose_grade.m

Use the same default options for grade_lib as for other dirs.

2019-08-27 15:02:50 +10:00

GRADE_LIB_FLAGS.in

Use the same default options for grade_lib as for other dirs.

2019-08-27 15:02:50 +10:00

grade_lib.m

Update the COPYING.LIB file and references to it.

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

grade_setup.m

Use the same default options for grade_lib as for other dirs.

2019-08-27 15:02:50 +10:00

grade_solver.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

grade_spec.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

grade_state.m

Update the COPYING.LIB file and references to it.

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

grade_string.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

grade_structure.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

grade_vars.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

Mercury.options

…

Mmakefile

Fix stage 2 grade_lib dir compilation in the Java grade.

2020-05-21 22:26:00 +10:00

test_grades.m

Use the same default options for grade_lib as for other dirs.

2019-08-27 15:02:50 +10:00

try_all_grade_structs.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00

var_value_names.m

Remove the hl grade component.

2020-04-11 19:30:58 +10:00