diff --git a/.gitmodules b/.gitmodules index 900ee5e..5416cad 100644 --- a/.gitmodules +++ b/.gitmodules @@ -313,3 +313,7 @@ url = ../rpm/mpc.git [submodule "mpdecimal"] path = mpdecimal url = ../rpm/mpdecimal.git + +[submodule "mpfr"] +path = mpfr +url = ../rpm/mpfr.git diff --git a/mpfr b/mpfr new file mode 160000 index 0000000..c6fde7b --- /dev/null +++ b/mpfr @@ -0,0 +1 @@ +Subproject commit c6fde7b4ff8d0cda8d275a9f3cef50fe600ce5d6