diff --git a/experimental/sample-configs/mpfr/mpfr.sample b/experimental/sample-configs/mpfr/mpfr.sample
new file mode 100644
index 0000000..0ffdfda
--- /dev/null
+++ b/experimental/sample-configs/mpfr/mpfr.sample
@@ -0,0 +1 @@
+./config --with-gmp=/usr/local