Add workaround for https://github.com/thvnx/mlmpfr/issues/11
This commit is contained in:
parent
96f0a8102e
commit
740531159f
@ -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}
|
||||
|
Loading…
Reference in New Issue
Block a user