# libgmp.la - a libtool library file
# Generated by ltmain.sh - GNU libtool 1.5.24 (1.1220.2.455 2007/06/24 02:13:29)
#
# Please DO NOT delete this file!
# It is necessary for linking the library.

# The name that we can dlopen(3).
dlname='libgmp.so.3'

# Names of this library.
library_names='libgmp.so.3.5.2 libgmp.so.3 libgmp.so'

# The name of the static archive.
old_library='libgmp.a'

# Libraries that this one depends upon.
dependency_libs=''

# Version information for libgmp.
current=8
age=5
revision=2

# Is this an already installed library?
installed=yes

# Should we warn about portability when linking against -modules?
shouldnotlink=no

# Files to dlopen/dlpreopen
dlopen=''
dlpreopen=''

# Directory that this library needs to be installed in:
libdir='/tools/lib/gmp/lib'
