diff options
| author | Daniel Wilhelm <daniel@wili.li> | 2014-04-18 16:48:05 +0200 |
|---|---|---|
| committer | Daniel Wilhelm <daniel@wili.li> | 2014-04-18 16:48:05 +0200 |
| commit | e7ceb20f1d6497f28054dc111260be8ba8d8b5aa (patch) | |
| tree | 0d21c616743626435afd9e14922a27c45ceba772 /library/GMP/lib | |
| parent | 1.4 (diff) | |
| download | FreeFileSync-e7ceb20f1d6497f28054dc111260be8ba8d8b5aa.tar.gz FreeFileSync-e7ceb20f1d6497f28054dc111260be8ba8d8b5aa.tar.bz2 FreeFileSync-e7ceb20f1d6497f28054dc111260be8ba8d8b5aa.zip | |
1.5
Diffstat (limited to 'library/GMP/lib')
| -rw-r--r-- | library/GMP/lib/libgmp.a | bin | 393164 -> 0 bytes | |||
| -rw-r--r-- | library/GMP/lib/libgmp.la | 35 | ||||
| -rw-r--r-- | library/GMP/lib/libgmpxx.a | bin | 24784 -> 0 bytes | |||
| -rw-r--r-- | library/GMP/lib/libgmpxx.la | 35 |
4 files changed, 0 insertions, 70 deletions
diff --git a/library/GMP/lib/libgmp.a b/library/GMP/lib/libgmp.a Binary files differdeleted 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 Binary files differdeleted 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' |