4 files changed, 0 insertions, 70 deletions
diff --git a/library/GMP/lib/libgmp.a b/library/GMP/lib/libgmp.a
deleted file mode 100644
index e53850ec..00000000
--- a/library/GMP/lib/libgmp.a
+++ /dev/null
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'
diff --git a/library/GMP/lib/libgmpxx.a b/library/GMP/lib/libgmpxx.a
deleted file mode 100644
index 3c4452d3..00000000
--- a/library/GMP/lib/libgmpxx.a
+++ /dev/null
diff --git a/library/GMP/lib/libgmpxx.la b/library/GMP/lib/libgmpxx.la
deleted file mode 100644
index dbb77dd0..00000000
--- a/library/GMP/lib/libgmpxx.la
+++ /dev/null
@@ -1,35 +0,0 @@
-# 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=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'