From 785dcae46a3060b07efa7dac7d1ce8db761060a0 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 8 Nov 2002 09:07:29 +0000
Subject: [PATCH] Install gmp.h when ECL's version of the library is used.

---
 src/Makefile.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Makefile.in b/src/Makefile.in
index fd2e4ac44..1b681263c 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -82,12 +82,15 @@ install: BUILD-STAMP
 	$(INSTALL_DATA) h/config.h $(PREFIX)$(libdir)/h
 	$(INSTALL_DATA) help.doc $(PREFIX)$(libdir)
 	if (echo $(SUBDIR) | grep gc); then $(MAKE) installgc; fi
+	if (echo $(SUBDIR) | grep gmp); then $(MAKE) installgmp; fi
 	cd c; $(MAKE) PREFIX="$(PREFIX)" install
 	cd doc; $(MAKE) PREFIX="$(PREFIX)" install
 installgc:
 	$(INSTALL) -d $(PREFIX)$(libdir)/h/private
 	$(INSTALL_DATA) $(srcdir)/gc/include/*.h $(PREFIX)$(libdir)/h/
 	$(INSTALL_DATA) $(srcdir)/gc/include/private/*.h $(PREFIX)$(libdir)/h/private/
+installgmp:
+	$(INSTALL_DATA) h/gmp.h $(PREFIX)$(libdir)/h/
 
 uninstall:
 	rm -rf $(mandir)/ecl.1