Libraries/mpfr: use variants mechanism

2016-04-21 13:53:17 +02:00
parent 59f0ffa54b
commit 07387d53f6
3 changed files with 3 additions and 2 deletions
--- a/Libraries/mpfr/3/variants
+++ b/Libraries/mpfr/3/variants
@@ -0,0 +1,3 @@
+3.1.2	Linux,Darwin	stable		gmp/5.1.1
+3.1.3	Linux,Darwin	stable		gmp/6.0.0
+3.1.4	Linux,Darwin	stable		gmp/6.1.0
--- a/Libraries/mpfr/with_modules-3.1.2
+++ b/Libraries/mpfr/with_modules-3.1.2
@@ -1 +0,0 @@
-gmp/5.1.1
--- a/Libraries/mpfr/with_modules-3.1.3
+++ b/Libraries/mpfr/with_modules-3.1.3
@@ -1 +0,0 @@
-gmp/6.0.0