1 files changed, 35 insertions, 0 deletions
diff --git a/library/GMP/lib/libgmp.la b/library/GMP/lib/libgmp.la
new file mode 100644
index 00000000..ee6e9a74
--- /dev/null
+++ b/library/GMP/lib/libgmp.la
@@ -0,0 +1,35 @@
+# 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=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'