GNU Multiple Precision for Debian --------------------------------- Extensive documentation about the GMP original C library can be found at http://gmplib.org/manual. This package follows the convention for Ada library packages in Debian. The separate DEV_PKG package provide tools for programmers writing software using the library. The Ada source files are in /usr/share/ada/adainclude/LIB_NAME. The Ada library information files are in /usr/lib/ada/adalib/LIB_NAME. There is, in addition, a GNAT project file in /usr/share/ada/adainclude/LIB_NAME.gpr. Thus, there are two ways to use LIB_NAME in your programs: 1. gnatmake -aI/usr/share/ada/adainclude/LIB_NAME \ -aO/usr/lib/ada/adalib/LIB_NAME \ your_main_program.adb \ -largs -lLIB_NAME 2. Write a project file for your program. Use the project file for LIB_NAME as explained in the comments in the project file. The documentation and examples are provided by the DEV_PKG package. The runtime debug symbols are provided by DBG_PKG package. -- Nicolas Boulenguez , 2010/02/09