diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-09-14 18:55:02 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-09-14 18:55:02 +0000 |
commit | 309250e05dcb5b3abdaf0c62dfa937d236156de0 (patch) | |
tree | 15836fa839c893ad85a0d5dc8cfa070e3dedf2d2 /tools/mbench/Makefile | |
parent | c407c464b2c511b50cc78f7480184fe7f6600d55 (diff) | |
download | mpfr-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/Makefile | 2 |
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) |