1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
From: Mike Furr <mfurr@debian.org>
Date: Mon, 17 Jul 2017 09:51:35 +0200
Subject: Disabling MPFR
---
config.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config.h b/config.h
index 565c3ef..d580591 100644
--- a/config.h
+++ b/config.h
@@ -1,5 +1,5 @@
#define SERIALIZE
-#define USE_MPFR
+/*#define USE_MPFR*/
#define NDEBUG
#undef TRACE
|
