From 32414a2145f5068d4e929dbd2c0992d9061d1581 Mon Sep 17 00:00:00 2001 From: Elliot Saba Date: Tue, 24 Nov 2020 22:32:30 +0000 Subject: [PATCH] Remove outdated GMP branch --- deps/gmp.mk | 5 ----- 1 file changed, 5 deletions(-) diff --git a/deps/gmp.mk b/deps/gmp.mk index 7c358927d5725..6de8cb9d8a19d 100644 --- a/deps/gmp.mk +++ b/deps/gmp.mk @@ -46,11 +46,6 @@ endif define GMP_INSTALL mkdir -p $2/$(build_shlibdir) $2/$(build_includedir) - # Ensure that Windows gets the non-versioned dll names too -ifeq ($(BUILD_OS),WINNT) - -cp $1/.libs/libgmp-*.dll $1/.libs/libgmp.dll - -cp $1/.libs/libgmpxx-*.dll $1/.libs/libgmpxx.dll -endif $(INSTALL_M) $1/.libs/libgmp*$(SHLIB_EXT)* $2/$(build_shlibdir) $(INSTALL_F) $1/gmp.h $2/$(build_includedir) endef