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'.
I am too lazy for a detailed discussion of all the changes.
Many identifiers got their `cl_' stripped off. Ok, this is a
clumpsy CVS log-entry. Promise: more will soon go into the
file ChangeLog. I apologize for the inconvenience. :-(
- 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.)
Richard Kreckel