build_v3_1_6.patch

diff -urZ '--exclude=*.patch' '--exclude=*.log' '--exclude=config.status' '--exclude=*files.lst' '--exclude=*.tar.bz2' '--exclude=*googlify.cfg' '--exclude=mpfr-update.sh' '--exclude=v2_4_1' '--exclude=*Makefile' '--exclude=*libtool' ./BUILD ../../../../mpfr/google3/third_party/mpfr/BUILD
--- ./BUILD	2018-01-02 17:31:32.000000000 -0500
+++ ../../../../mpfr/google3/third_party/mpfr/BUILD	2018-01-02 16:27:03.000000000 -0500
@@ -24,7 +24,7 @@
 )
 
 cc_library(
-    name = "mpfr",
+    name = "google_mpfr",
     visibility = [
         "//visibility:public",
     ],
diff -urZ '--exclude=*.patch' '--exclude=*.log' '--exclude=config.status' '--exclude=*files.lst' '--exclude=*.tar.bz2' '--exclude=*googlify.cfg' '--exclude=mpfr-update.sh' '--exclude=v2_4_1' '--exclude=*Makefile' '--exclude=*libtool' ./v3_1_6/BUILD ../../../../mpfr/google3/third_party/mpfr/v3_1_6/BUILD
--- ./v3_1_6/BUILD	2018-01-02 17:31:32.000000000 -0500
+++ ../../../../mpfr/google3/third_party/mpfr/v3_1_6/BUILD	2018-01-02 16:41:53.000000000 -0500
@@ -11,6 +11,10 @@
     default_visibility = [
         "//third_party/mpfr:internal",
     ],
+    features = [
+        "-layering_check",
+        "-parse_headers",
+    ],
 )
 
 include_mpfr = "includes/third_party/mpfr/v3_1_6"
@@ -238,6 +242,9 @@
         "src/zeta.c",
         "src/zeta_ui.c",
     ],
+    hdrs = [
+        "src/mpfr.h",
+    ],
     copts = [
         "-w",
         "-DHAVE_ALLOCA_H=1",
@@ -273,10 +280,27 @@
         "-DTIME_WITH_SYS_TIME=1",
     ],
     includes = [
-        include_mpfr,
+        "src/amd/k8/mparam.h",
+        "src/fits_s.h",
+        "src/fits_u.h",
+        "src/gen_inverse.h",
+        "src/generic/mparam.h",
+        "src/ieee_floats.h",
+        "src/jyn_asympt.c",
+        "src/lngamma.c",
+        "src/mparam.h",
+        "src/mpf2mpfr.h",
+        "src/mpfr.h",
+        "src/mpfr-gmp.h",
+        "src/mpfr-impl.h",
+        "src/mpfr-intmax.h",
+        "src/mpfr-longlong.h",
+        "src/mpfr-thread.h",
+        "src/round_raw_generic.c",
     ],
+    strip_include_prefix = "//third_party/mpfr/v3_1_6/src",
     deps = [
-        "//third_party/gmp:gmp",
+        "//third_party/gmp",
     ],
 )