[m-rev.] diff: fix installing java grade

[Peter Wang]

Branches: main

library/Mmakefile:
        Fix a problem installing the java grade.  As with other grades we need
        to force the library.int3 file to be produced when installing the
        library as some modules in the browser directory need it.  This wasn't
        a problem until the changes to get the java.ssdebug grade installing.

diff --git a/library/Mmakefile b/library/Mmakefile
index dca1de7..8c7baeb 100644
--- a/library/Mmakefile
+++ b/library/Mmakefile
@@ -537,9 +537,11 @@ ifneq (,$(findstring java,$(GRADE)))
 # be copied to INSTALL_JAVA_LIBRARY_DIR.  That's okay for now, because
 # we turn off the ssdebug transformations for the library, so it is equivalent
 # to the non-ssdebug grade.
+# The int3s target is there because some modules in the browser directory need
+# the library.int3 file.
 
 .PHONY: install_library
-install_library: jars
+install_library: int3s jars
 	mkdir -p $(INSTALL_JAVA_LIBRARY_DIR)
 	cp $(JARS) $(INSTALL_JAVA_LIBRARY_DIR)
 	# -cp $(NATIVE_SO) $(INSTALL_JAVA_LIBRARY_DIR)

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------