diff options
Diffstat (limited to 'library/GMP/lib/libgmp.la')
| -rw-r--r-- | library/GMP/lib/libgmp.la | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/library/GMP/lib/libgmp.la b/library/GMP/lib/libgmp.la deleted file mode 100644 index a0e34d40..00000000 --- a/library/GMP/lib/libgmp.la +++ /dev/null @@ -1,35 +0,0 @@ -# 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='' - -# Names of this library. -library_names='' - -# The name of the static archive. -old_library='libgmp.a' - -# Libraries that this one depends upon. -dependency_libs='' - -# Version information for libgmp. -current=7 -age=4 -revision=3 - -# 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='/c/gmp/lib' |