deal.II: updated ubuntu 14 description

diff --git a/deal.II/platforms/supported/ubuntu14.platform b/deal.II/platforms/supported/ubuntu14.platform
index 1585b6e01f9eee2aece8d5d398380c71de34fab7..f82e8fc314524e3e7882f46e59e8893c82358fae 100644 (file)
--- a/deal.II/platforms/supported/ubuntu14.platform
+++ b/deal.II/platforms/supported/ubuntu14.platform
@@ -1,5 +1,9 @@
 # ubuntu 14
 # 
+# WARNING: please install deal.II with
+#   STABLE_BUILD=false
+# since there is an issue with the stable build of deal.II v8.3.0.
+# 
 # This build script assumes that you have several packages already
 # installed via ubuntu's apt-get using the following commands:
 #