From a408f90d006490e0aed3412d265795d5978f6126 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth
+ Regarding shared and static libraries, there may also be
+ another open problem in that we don't call
+ ranlib
on static libraries (or ar
+ -s
). 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.
+