diff options
Diffstat (limited to 'tools/mpfr/patches/001-no_tests.patch')
-rw-r--r-- | tools/mpfr/patches/001-no_tests.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tools/mpfr/patches/001-no_tests.patch b/tools/mpfr/patches/001-no_tests.patch new file mode 100644 index 000000000..08c1a4ff4 --- /dev/null +++ b/tools/mpfr/patches/001-no_tests.patch @@ -0,0 +1,26 @@ +Index: mpfr-3.0.0/Makefile.am +=================================================================== +--- mpfr-3.0.0.orig/Makefile.am ++++ mpfr-3.0.0/Makefile.am +@@ -12,7 +12,7 @@ + AUTOMAKE_OPTIONS = gnu ansi2knr + ACLOCAL_AMFLAGS = -I m4 + +-SUBDIRS = tests ++SUBDIRS = + + nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER FAQ.html NEWS TODO \ + examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ +Index: mpfr-3.0.0/Makefile.in +=================================================================== +--- mpfr-3.0.0.orig/Makefile.in ++++ mpfr-3.0.0/Makefile.in +@@ -357,7 +357,7 @@ top_builddir = @top_builddir@ + top_srcdir = @top_srcdir@ + AUTOMAKE_OPTIONS = gnu ansi2knr + ACLOCAL_AMFLAGS = -I m4 +-SUBDIRS = tests ++SUBDIRS = + nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER FAQ.html NEWS TODO \ + examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ + examples/version.c |