diff options
Diffstat (limited to 'library/GMP/lib/libgmpxx.la')
| -rw-r--r-- | library/GMP/lib/libgmpxx.la | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/library/GMP/lib/libgmpxx.la b/library/GMP/lib/libgmpxx.la new file mode 100644 index 00000000..e608eba7 --- /dev/null +++ b/library/GMP/lib/libgmpxx.la @@ -0,0 +1,35 @@ +# libgmpxx.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='libgmpxx.a' + +# Libraries that this one depends upon. +dependency_libs=' /c/gmp/lib/libgmp.la' + +# Version information for libgmpxx. +current=4 +age=0 +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='/c/gmp/lib' |