emptycommit-12104
Copyright notice update: added 2018 with perl -pi -e 's/ (\d{4}-)?(2017)(?= Free Software)/ " ".($1||"$2-").($2+1)/e' **/*(^/) under zsh, reverting the ck-mparam and timings-mpfr.c files and the mbench directory under "tools" (not distributed with MPFR). Removed 2017 from the example in the doc/README.dev file.
changed .align 64 into .p2align 6 (cf https://trac.sagemath.org/ticket/19233)
* Other corrections (essentially bad or missing declarations) in metaMPFR.
[tools/announce-text] Switched to https for ftp.gnu.org.
[tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has been modified, in order to take it into account in the patch. This is needed since the mpfr.info file is distributed in the tarball.
update
[tools/{ck-copyright-notice,ck-inits-clears}] Ignore Emacs lock files (symbolic links) to avoid a failure when a file is being edited.
[tools/ck-mparam] In the copyright notice, just keep the year 2011 since this file is not part of the tarball (just used by mpfrlint).
[tools/coverage] Added a warning: on a machine shared with other users, by running this script, the account can easily be compromised due to a libtool bug.
[tools/mpfrlint] Do the tests_start_mpfr / tests_end_mpfr check only if the .c file has a main() function; this avoids an error on trootn_ui.c, which just does a #include.
use autogen.sh
Added tools/repl-variadic Perl script to replace the variadic functions mpfr_clears, mpfr_inits and mpfr_inits2, in case they are not supported by the compiler.
[tools/timings-mpfr.c] always use clock() [now very accurate under Linux]
[tools/update-version] Correction for new perl versions.