From 23d229645b97e79b69b68799de5871f765a35220 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Wed, 7 Oct 2015 13:47:37 +0200 Subject: [PATCH] deal.II: updated ubuntu 14 description --- deal.II/platforms/supported/ubuntu14.platform | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/deal.II/platforms/supported/ubuntu14.platform b/deal.II/platforms/supported/ubuntu14.platform index 1585b6e..f82e8fc 100644 --- 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: # -- 2.39.5