We need to change flint in two ways:
1) Instead of disabling shared library on flint, set it up so that either
static or shared can be selected, but not both. It should make its
selection based on whether a shared/static library of mpir is available if
the user hasn't selected.
2) Don't pass -
On Wednesday, July 4, 2012 3:40:28 PM UTC+2, Volker Braun wrote:
>
> I've been thinking about this yesterday for some other reasons, and I
> think we should work towards getting rid of static libraries altogether.
> From a software distribution/maintenance/updating/testing point of view its
>
I've been thinking about this yesterday for some other reasons, and I think
we should work towards getting rid of static libraries altogether. From a
software distribution/maintenance/updating/testing point of view its really
terrible to have static libraries floating about without knowing for s
