summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <lars.wirzenius@codethink.co.uk>2011-11-02 19:30:44 +0000
committerLars Wirzenius <lars.wirzenius@codethink.co.uk>2011-11-02 19:30:44 +0000
commit67bcb746ca37ccc5771d5195c5034835030f5da9 (patch)
tree59477b4e7db2c708708f3fb558a926da9be149a5
parent1f8f0e355a2e629d0c3099c3622952f5f84734a8 (diff)
downloaddefinitions-67bcb746ca37ccc5771d5195c5034835030f5da9.tar.gz
Add MPFR to baserock
-rw-r--r--devel.morph3
1 files changed, 3 insertions, 0 deletions
diff --git a/devel.morph b/devel.morph
index 360f150e..160cb24c 100644
--- a/devel.morph
+++ b/devel.morph
@@ -15,6 +15,9 @@
},
"mpc": {
"ref": "baserock"
+ },
+ "mpfr": {
+ "ref": "baserock"
}
}
}