diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-07-31 15:28:01 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-07-31 15:28:01 +0000 |
| commit | 63491c3c8a84d64f35f33e902afabd13e240f776 (patch) | |
| tree | 5821a7d17d355e4c31fa56203b9a916fde9018a4 /Makefile.am | |
| parent | 759a176b3fa344ff2f94dc7a275b0fdad989d405 (diff) | |
| download | mpfr-63491c3c8a84d64f35f33e902afabd13e240f776.tar.gz | |
[Makefile.am] Fixed dist-hook for ck-mparam, which was run from a
read-only directory with "make distcheck" while a temporary file
is created in the current directory, yielding a failure (ck-mparam
has been run in dist-hook since r12533 on 2018-04-03).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13541 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 024b2ea01..ff7836ae0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -36,7 +36,9 @@ EXTRA_DIST = PATCHES VERSION doc/README.dev doc/check-typography doc/mini-gmp \ bench: cd tools/bench && $(MAKE) $(AM_MAKEFLAGS) bench -# Various checks for "make dist". +# Various checks for "make dist" / "make distcheck". +# Warning! With "make distcheck", neither the top-level directory nor +# the tools directory is writable. # * Check consistency concerning -version-info. Moreover if the VERSION # file doesn't end with "-dev", check that the -version-info value is # up-to-date. Note: this is a heuristic, to detect some mistakes. @@ -50,7 +52,7 @@ dist-hook: cd $(srcdir) && tools/ck-copyright-notice cd $(srcdir) && tools/ck-news cd $(srcdir) && tools/ck-clz_tab - cd $(srcdir) && tools/ck-mparam + $(srcdir)/tools/ck-mparam cd $(srcdir)/doc && ./check-typography # Check that MPFR does not use GMP internal symbols. Of course, do not run |