From 740531159f7a476ecb802af20dc3774ffb4bb9d5 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 21 Aug 2020 20:37:08 +0100
Subject: [PATCH] Add workaround for https://github.com/thvnx/mlmpfr/issues/11

---
 ocaml-mlmpfr.spec | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ocaml-mlmpfr.spec b/ocaml-mlmpfr.spec
index 6345c76..7546ecf 100644
--- a/ocaml-mlmpfr.spec
+++ b/ocaml-mlmpfr.spec
@@ -35,6 +35,9 @@ Documentation for %{name}.
 
 %prep
 %autosetup -n %{srcname}-%{srcname}.%{version}
+# https://github.com/thvnx/mlmpfr/issues/11
+mv examples/rndo-add.ml examples/rndo_add.ml
+sed -i -e 's/rndo-add/rndo_add/' examples/dune
 
 %build
 dune build %{?_smp_mflags}