#! /bin/sh -e
## 10_Makefile.dpatch by Mike Furr <mfurr@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Disabling MPFR

[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch ${2:+-d $2}}"

if [ $# -lt 1 ]; then
    echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
    exit 1
fi
case "$1" in
       -patch) patch $patch_opts -p1 < $0;;
       -unpatch) patch $patch_opts -p1 -R < $0;;
        *)
                echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
                exit 1;;
esac

exit 0
@DPATCH@
--- mlgmp-20021123.orig/config.h
+++ mlgmp-20021123/config.h
@@ -1,5 +1,5 @@
 #define SERIALIZE
-#define USE_MPFR
+/*#define USE_MPFR*/
 #define NDEBUG
 #undef TRACE