diff -r 08da017ba46b -r 7f9bbf94b0bb tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Thu Apr 17 21:04:23 2008 +0000
+++ b/tools/addToolVersion.sh	Wed Apr 30 10:43:41 2008 +0000
@@ -9,6 +9,7 @@
   'tool' in one of:
     --gcc, --binutils, --glibc, --uClibc, --linux,
     --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf
+    --gmp, --mpfr
 
   Valid options for all tools:
     --experimental, -x
@@ -55,6 +56,8 @@
         --strace)           cat=STRACE;    tool=strace;   tool_prefix=debug    tool_suffix=;;
         --ltrace)           cat=LTRACE;    tool=ltrace;   tool_prefix=debug    tool_suffix=;;
         --libelf)           cat=LIBELF;    tool=libelf;   tool_prefix=tools    tool_suffix=;;
+        --gmp)              cat=GMP;       tool=gmp;      tool_prefix=cc;      tool_suffix=;;
+        --mpfr)             cat=MPFR;      tool=mpfr;     tool_prefix=cc;      tool_suffix=;;
         # Tools options:
         -x|--experimental)  EXP=1; OBS=; prompt_suffix=" (EXPERIMENTAL)";;
         -o|--obsolete)      OBS=1; EXP=; prompt_suffix=" (OBSOLETE)";;