diff options
Diffstat (limited to 'vendor/gmp-6.3.0/.gdbinit')
| -rw-r--r-- | vendor/gmp-6.3.0/.gdbinit | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/vendor/gmp-6.3.0/.gdbinit b/vendor/gmp-6.3.0/.gdbinit new file mode 100644 index 0000000..2a17063 --- /dev/null +++ b/vendor/gmp-6.3.0/.gdbinit @@ -0,0 +1,42 @@ +# Copyright 1999 Free Software Foundation, Inc. +# +# This file is part of the GNU MP Library. +# +# The GNU MP Library is free software; you can redistribute it and/or modify +# it under the terms of either: +# +# * the GNU Lesser General Public License as published by the Free +# Software Foundation; either version 3 of the License, or (at your +# option) any later version. +# +# or +# +# * the GNU General Public License as published by the Free Software +# Foundation; either version 2 of the License, or (at your option) any +# later version. +# +# or both in parallel, as here. +# +# The GNU MP Library is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY +# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +# for more details. +# +# You should have received copies of the GNU General Public License and the +# GNU Lesser General Public License along with the GNU MP Library. If not, +# see https://www.gnu.org/licenses/. + + +define pz +set __gmpz_dump ($) +end + +define pq +set __gmpz_dump ($->_mp_num) +echo / +set __gmpz_dump ($->_mp_den) +end + +define pf +set __gmpf_dump ($) +end |