buildsys: drop dep on install-libgap from install-bin

Change made in response to feedback by Bill Allombert (maintainer of the GAP package for Debian)
gap-system · Jan 11, 2023 · 644ee27 · 644ee27
1 parent d1d44f2
commit 644ee27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.rules b/Makefile.rules
@@ -579,7 +579,7 @@ install: install-bin install-doc install-gaproot install-sysinfo install-headers
 	@echo "| via support@gap-system.org or https://github.com/gap-system/gap/issues   |"
 	@echo "+--------------------------------------------------------------------------+"
 
-install-bin: build/gap-install install-libgap
+install-bin: build/gap-install
 	# install a special build of gap with SYS_DEFAULT_PATHS set suitably
 	$(INSTALL) -d -m 0755 $(DESTDIR)$(bindir)
 	$(LTINSTALL) build/gap-install $(DESTDIR)$(bindir)/gap