More on libtool.

git-svn-id: https://svn.dealii.org/trunk@2726 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/future.html b/deal.II/doc/future.html
index df3d55bd52fe11aacf0fdd84577bdfb34b496c69..b2bdca9f0513481243214647e7806ed433a52eee 100644 (file)
--- a/deal.II/doc/future.html
+++ b/deal.II/doc/future.html
@@ -148,6 +148,16 @@
         <a href="http://www.gnu.org/software/libtool/libtool.html"
         target="_top">libtool</a> utility may be a help.
         </p>
+
+        <p>
+        Regarding shared and static libraries, there may also be
+        another open problem in that we don't call
+        <code>ranlib</code> on static libraries (or <code>ar
+        -s</code>). This has no particular reason, it is simply that
+        we don't know what is the right thing to do in a
+        cross-platform way. Help in the configuration of these things
+        would be greatly appreciated.
+        </p>
     </ul>
     </p>