diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 14:32:42 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 14:32:42 +0000 |
commit | 2ccae5095bf3d7592caee572a382a59f5227aab5 (patch) | |
tree | a438ae6a1a29f9dca4ef2b53e98f22602da83b71 /src/mpfr-mini-gmp.h | |
parent | cac8a5c7dbbed96cb74fc2e6e711ba71e1d78b0f (diff) | |
download | mpfr-2ccae5095bf3d7592caee572a382a59f5227aab5.tar.gz |
[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
Diffstat (limited to 'src/mpfr-mini-gmp.h')
-rw-r--r-- | src/mpfr-mini-gmp.h | 4 |
1 files changed, 0 insertions, 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)) |