diff options
Diffstat (limited to 'tools/mpfr/patches/001-only_src.patch')
| -rw-r--r-- | tools/mpfr/patches/001-only_src.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tools/mpfr/patches/001-only_src.patch b/tools/mpfr/patches/001-only_src.patch new file mode 100644 index 0000000000..e6579b2118 --- /dev/null +++ b/tools/mpfr/patches/001-only_src.patch @@ -0,0 +1,22 @@ +--- a/Makefile.am ++++ b/Makefile.am +@@ -12,7 +12,7 @@ + AUTOMAKE_OPTIONS = gnu + ACLOCAL_AMFLAGS = -I m4 + +-SUBDIRS = doc src tests tune ++SUBDIRS = src + + nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \ + examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ +--- a/Makefile.in ++++ b/Makefile.in +@@ -294,7 +294,7 @@ top_builddir = @top_builddir@ + top_srcdir = @top_srcdir@ + AUTOMAKE_OPTIONS = gnu + ACLOCAL_AMFLAGS = -I m4 +-SUBDIRS = doc src tests tune ++SUBDIRS = src + nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \ + examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ + examples/version.c |