mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-11 20:03:28 +00:00
75f3a934e7
Estimated hours taken: 8 Branches: main Have the configure script decide whether to install the Java grade. configure.in: Add Java to the list of library grades to install by default, if the Java SDK is installed. Add the option to disable the Java grade. aclocal.m4: Detect whether the Java SDK is installed. Currently this is done by checking for javac, java and jar, then testing whether a program can be compiled which confirms the version is recent enough. scripts/Mmake.vars.in: Add JAVAC, JAVA_INTERPRETER and JAR to the generated make variables. Add JAR_CREATE_FLAGS make variable, set as "cf" scripts/Mercury.config.in: scripts/Mercury.config.bootstrap.in: Define environmental variables MERCURY_JAVA_COMPILER and MERCURY_JAVA_INTERPRETER. Have the configure script set the default java compiler and interpreter as part of DEFAULT_MC_FLAGS. library/Mmakefile: Use "$(JAR) $(JAR_CREATE_FLAGS)" instead of "jar cf"