diff options
Diffstat (limited to 'vcpkg/ports/gmp/subdirs.patch')
| -rw-r--r-- | vcpkg/ports/gmp/subdirs.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/vcpkg/ports/gmp/subdirs.patch b/vcpkg/ports/gmp/subdirs.patch new file mode 100644 index 0000000..4c5033f --- /dev/null +++ b/vcpkg/ports/gmp/subdirs.patch @@ -0,0 +1,13 @@ +diff --git a/Makefile.am b/Makefile.am +index 9f92a4f..e35629d 100644 +--- a/Makefile.am ++++ b/Makefile.am +@@ -117,7 +117,7 @@ LIBGMPXX_LT_REVISION = 0 + LIBGMPXX_LT_AGE = 7 + + +-SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune doc ++SUBDIRS = mpn mpz mpq mpf printf rand cxx + + EXTRA_DIST = configfsf.guess configfsf.sub .gdbinit INSTALL.autoconf \ + COPYING.LESSERv3 COPYINGv2 COPYINGv3 |