Index: gap-4.14.0~beta1/Makefile.rules
===================================================================
--- gap-4.14.0~beta1.orig/Makefile.rules
+++ gap-4.14.0~beta1/Makefile.rules
@@ -478,6 +478,10 @@ libgap: libgap$(SHLIB_EXT) $(LIBGAP_FULL
 $(LIBGAP_FULL): $(OBJS) cnf/GAP-LDFLAGS cnf/GAP-LIBS cnf/GAP-OBJS
 	$(QUIET_LINK)$(LINK) -o $@ $(LINK_SHLIB_FLAGS) $(GAP_LDFLAGS) $(OBJS) $(GAP_LIBS)
 
+libgap.a: $(OBJS) cnf/GAP-OBJS
+	ar r $@ $(OBJS)
+	ranlib $@
+
 ifneq (,$(findstring cygwin,$(host_os)))
 
 # increase stack size, the default is too small (see issue #1522)
@@ -577,7 +581,7 @@ clean:
 	rm -rf extern/build extern/install
 	rm -f bin/gap.sh sysinfo.gap*
 	rm -f gap$(EXEEXT) gac ffgen
-	rm -f libgap$(SHLIB_EXT) $(LIBGAP_FULL)
+	rm -f libgap$(SHLIB_EXT) $(LIBGAP_FULL) libgap.a
 	rm -f libgap.pc
 	rm -rf .libs
 	rm -f doc/wsp.g
@@ -688,9 +692,10 @@ install-headers: $(FFDATA_H) build/versi
 	$(INSTALL) -d -m 0755 $(DESTDIR)$(includedir)/gap/hpc
 	$(INSTALL) -m 0644 $(srcdir)/src/hpc/*.h $(DESTDIR)$(includedir)/gap/hpc
 
-install-libgap: $(LIBGAP_FULL) libgap.pc
+install-libgap: $(LIBGAP_FULL) libgap.pc libgap.a
 	$(INSTALL) -d -m 0755 $(DESTDIR)$(libdir)
 	$(INSTALL) -m 0644 $(LIBGAP_FULL) $(DESTDIR)$(libdir)
+	$(INSTALL) -m 0644 libgap.a $(DESTDIR)$(libdir)
 	ln -sf $(LIBGAP_FULL) $(DESTDIR)$(libdir)/libgap$(SHLIB_EXT)
 	$(INSTALL_NAME_TOOL) -id $(libdir)/$(LIBGAP_FULL) $(DESTDIR)$(libdir)/$(LIBGAP_FULL)
 	$(INSTALL) -d -m 0755 $(DESTDIR)$(libdir)/pkgconfig
