From 2ccae5095bf3d7592caee572a382a59f5227aab5 Mon Sep 17 00:00:00 2001 From: vlefevre Date: Wed, 12 Sep 2018 14:32:42 +0000 Subject: [src/mpfr-mini-gmp.h] Fix: Since gmp_version is not defined in mini-gmp, we must not declare it (otherwise one would get a link failure instead of a compilation failure if gmp_version is used by mistake). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13182 280ebfd0-de03-0410-8827-d642c229c3f4 --- src/mpfr-mini-gmp.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/mpfr-mini-gmp.h b/src/mpfr-mini-gmp.h index 16228ae03..4164c8595 100644 --- a/src/mpfr-mini-gmp.h +++ b/src/mpfr-mini-gmp.h @@ -20,10 +20,6 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ -#ifndef gmp_version -extern char gmp_version[]; -#endif - #ifndef GMP_NUMB_BITS /* see https://gmplib.org/list-archives/gmp-bugs/2015-October/003755.html */ #define GMP_NUMB_BITS (CHAR_BIT * sizeof(mp_limb_t)) -- cgit v1.2.1