From 6c59a722a1f87f802f55f8eddfc84e21add7d40f Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 1 Aug 2020 07:05:30 -0600
Subject: [PATCH] makefiles: fix install of GRacket BC

---
 racket/src/bc/Makefile.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/racket/src/bc/Makefile.in b/racket/src/bc/Makefile.in
index 7bdfc45163..dbea22d633 100644
--- a/racket/src/bc/Makefile.in
+++ b/racket/src/bc/Makefile.in
@@ -407,12 +407,14 @@ install-3m:
 	$(MAKE) @MZINSTALLTARGET@
 	$(MAKE) @MZINSTALLTARGET@-3m
 	$(MAKE) @MZINSTALLTARGET@-3m-final
+	$(MAKE) install-@MAKE_GRACKET@-3m
 
 install-cgc:
 	$(MAKE) headers
 	$(MAKE) @MZINSTALLTARGET@
 	$(MAKE) @MZINSTALLTARGET@-cgc
 	$(MAKE) @MZINSTALLTARGET@-cgc-final
+	$(MAKE) install-@MAKE_GRACKET@-cgc
 
 install-both:
 	$(MAKE) headers
@@ -420,6 +422,20 @@ install-both:
 	$(MAKE) @MZINSTALLTARGET@-3m
 	$(MAKE) @MZINSTALLTARGET@-cgc
 	$(MAKE) @MZINSTALLTARGET@-@MAIN_VARIANT@-final
+	$(MAKE) install-@MAKE_GRACKET@-3m
+	$(MAKE) install-@MAKE_GRACKET@-cgc
+
+install-gracket-3m:
+	cd gracket; $(MAKE) install-3m
+
+install-gracket-cgc:
+	cd gracket; $(MAKE) install-3m
+
+install-no-3m:
+	$(NOOP)
+
+install-no-cgc:
+	$(NOOP)
 
 install-lib-finish:
 	if [ "$(DESTDIR)" = "" ]; then \