[m-rev.] for review: implement library grade checks for the C# and Java grades

[Peter Wang]

On Sat, 3 Aug 2019 15:45:28 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> ------------------------
> 
> Implement library grade checks for the C# and Java grades.
> 
> Enable library grade checks for the Erlang grade.  (This should
> have always worked, but was just never enabled.)
> 
> compiler/make.program_target.m:
>      Extend library grade checks to work for the C# and Java grades.
>      In those grades we do not generate .init files, so instead check
>      for the presence of the library JAR or DLL to tell whether a library
>      is present.
> 
> compiler/handle_options.m:
>      Enable library grade checks for the non-C grades.

That seems fine.

Peter