1 files changed, 0 insertions, 35 deletions
diff --git a/thirdparty/linux/lib/x86/libOsi.la b/thirdparty/linux/lib/x86/libOsi.la
deleted file mode 100755
index 7d0e442..0000000
--- a/thirdparty/linux/lib/x86/libOsi.la
+++ /dev/null
@@ -1,35 +0,0 @@
-# libOsi.la - a libtool library file
-# Generated by ltmain.sh - GNU libtool 1.5.22 (1.1220.2.365 2005/12/18 22:14:06)
-#
-# Please DO NOT delete this file!
-# It is necessary for linking the library.
-
-# The name that we can dlopen(3).
-dlname='libOsi.so.1'
-
-# Names of this library.
-library_names='libOsi.so.1.12.4 libOsi.so.1 libOsi.so'
-
-# The name of the static archive.
-old_library=''
-
-# Libraries that this one depends upon.
-dependency_libs=' /home/fossee/SYMPHONY-5.6.10/build/lib/libCoinUtils.la'
-
-# Version information for libOsi.
-current=13
-age=12
-revision=4
-
-# 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='/home/fossee/SYMPHONY-5.6.10/build/lib'