diff options
Diffstat (limited to 'gmp/Makefile')
| -rw-r--r-- | gmp/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gmp/Makefile b/gmp/Makefile index f09c52384f..82de987dad 100644 --- a/gmp/Makefile +++ b/gmp/Makefile @@ -40,8 +40,9 @@ BUILD_SHARED=no endif boot :: stamp.gmp.static -all :: libgmp.a -install :: libgmp.a +all :: gmp.h libgmp.a +install :: gmp.h libgmp.a +INSTALL_HEADERS += gmp.h INSTALL_LIBS += libgmp.a ifeq "$(BUILD_SHARED)" "yes" @@ -76,6 +77,9 @@ stamp.gmp.shared: --enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM) touch $@ +gmp.h: stamp.gmp.static + $(CP) gmpbuild/gmp.h . + libgmp.a: stamp.gmp.static $(MAKE) -C gmpbuild MAKEFLAGS= $(CP) gmpbuild/.libs/libgmp.a . @@ -114,6 +118,9 @@ endif ifneq "$(INSTALL_LIBS)" "" $(INSTALL_DATA) $(INSTALL_LIBS) $(BIN_DIST_DIR)/gmp/ endif +ifneq "$(INSTALL_HEADERS)" "" + $(INSTALL_HEADER) $(INSTALL_HEADERS) $(BIN_DIST_DIR)/gmp/ +endif endif endif |