diff --git a/Makefile.rules b/Makefile.rules index 16e37da5d6..ef88db5467 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -538,7 +538,7 @@ install-bin: gap @echo "Warning, 'make install-bin' is incomplete" # install the real GAP executable as $(libdir)/gap/gap $(INSTALL) -d -m 0755 $(DESTDIR)$(libdir)/gap - $(INSTALL) -m 0755 gap $(DESTDIR)$(libdir)/gap + $(INSTALL) -m 0755 -s gap $(DESTDIR)$(libdir)/gap # install a wrapper shell script invoking the real GAP executable as $(bindir)/gap $(INSTALL) -d -m 0755 $(DESTDIR)$(bindir) @@ -610,7 +610,7 @@ install-headers: install-libgap: libgap.la @echo "Warning, 'make install-libgap' is incomplete" $(INSTALL) -d -m 0755 $(DESTDIR)$(libdir) - $(LTINSTALL) libgap.la $(DESTDIR)$(libdir) + $(LTINSTALL) -s libgap.la $(DESTDIR)$(libdir) .PHONY: install install-bin install-doc install-gaproot install-headers install-libgap