Modern systems have varied naming schemes for their 32- and 64-bit
library directories. For example, Gentoo uses /usr/lib for 32-bit
libraries and /usr/lib64 for 64-bit libraries. The current default of
"lib" in CMakeLists.txt is therefore inappropriate in the common case
of a 64-bit build on Gentoo. Debian makes a similar (but different)
distinction.
This commit uses the GNUInstallDirs module to determine the library
directory, as well as all of the other standard GNU installation
directories. A sensible default exists, but the user now has the
ability to override these directories with the values appropriate for
his system. Distributions, in particular, can pass these values to the
build system in a consistent way.
This also fixes last MSVC error where
arb_const_pi_cached_value was stored globally and two threads
trying to update it corrupted it. As a result
arb_rel_accuracy_bits gave a negative value and resulted
in a flint memory exception.