summaryrefslogtreecommitdiff
path: root/tools/mbench/Makefile
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2017-09-14 18:55:02 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2017-09-14 18:55:02 +0000
commit309250e05dcb5b3abdaf0c62dfa937d236156de0 (patch)
tree15836fa839c893ad85a0d5dc8cfa070e3dedf2d2 /tools/mbench/Makefile
parentc407c464b2c511b50cc78f7480184fe7f6600d55 (diff)
downloadmpfr-309250e05dcb5b3abdaf0c62dfa937d236156de0.tar.gz
patch to avoid using the system mpfr.h
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11753 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mbench/Makefile')
-rw-r--r--tools/mbench/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mbench/Makefile b/tools/mbench/Makefile
index 826f2862a..a5636ca95 100644
--- a/tools/mbench/Makefile
+++ b/tools/mbench/Makefile
@@ -33,7 +33,7 @@ CP=cp -f
MV=mv -f
GMP=/usr
-MPFR=$(PWD)/../..
+MPFR=$(PWD)/../../src
PARI=$(GMP)
NTL=$(GMP)
CLN=$(GMP)