diff options
Diffstat (limited to 'tools/mpfr/patches/001-only_src.patch')
| -rw-r--r-- | tools/mpfr/patches/001-only_src.patch | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tools/mpfr/patches/001-only_src.patch b/tools/mpfr/patches/001-only_src.patch index 51a75b44b5..4a07cb9a7a 100644 --- a/tools/mpfr/patches/001-only_src.patch +++ b/tools/mpfr/patches/001-only_src.patch @@ -1,7 +1,7 @@ --- a/Makefile.am +++ b/Makefile.am -@@ -12,7 +12,7 @@ - AUTOMAKE_OPTIONS = gnu +@@ -18,7 +18,7 @@ + # old Automake version. ACLOCAL_AMFLAGS = -I m4 -SUBDIRS = doc src tests tune @@ -11,9 +11,9 @@ examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ --- a/Makefile.in +++ b/Makefile.in -@@ -295,7 +295,7 @@ top_builddir = @top_builddir@ - top_srcdir = @top_srcdir@ - AUTOMAKE_OPTIONS = gnu +@@ -377,7 +377,7 @@ top_builddir = @top_builddir@ + # libtoolize and in case some developer needs to switch back to an + # old Automake version. ACLOCAL_AMFLAGS = -I m4 -SUBDIRS = doc src tests tune +SUBDIRS = src |