this definition becomes actually useful. This is needed for
compilation on Arm until somebody fixes the assembler files for Arm.
* src/base/digitseq/cl_asm.h: Likewise.
* src/base/digitseq/cl_asm_.cc: Likewise.
* */Makefile.in: Added `override' in front of `CPPFLAGS +=' so
one can say `make CPPFLAGS=-DFOOBAR'.
- Wrote a check to see if libgmp can be used.
- Added libtool interface versioning (-version-info) for the library.
- Added libtool inter-library dependency for -lgmp. (Libtool should care
if this works on the current platform.)