12 files changed, 111 insertions, 0 deletions
diff --git a/thirdparty/linux/lib/x86/libcoinmetis.la b/thirdparty/linux/lib/x86/libcoinmetis.la
new file mode 100755
index 0000000..b799473
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmetis.la
@@ -0,0 +1,35 @@
+# libcoinmetis.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='libcoinmetis.so.1'
+
+# Names of this library.
+library_names='libcoinmetis.so.1.2.4 libcoinmetis.so.1 libcoinmetis.so'
+
+# The name of the static archive.
+old_library=''
+
+# Libraries that this one depends upon.
+dependency_libs=''
+
+# Version information for libcoinmetis.
+current=3
+age=2
+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/tonio/Ipopt-3.11.0/build/lib'
diff --git a/thirdparty/linux/lib/x86/libcoinmetis.so b/thirdparty/linux/lib/x86/libcoinmetis.so
new file mode 120000
index 0000000..6fc93b9
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmetis.so
@@ -0,0 +1 @@
+libcoinmetis.so.1.2.4
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libcoinmetis.so.1 b/thirdparty/linux/lib/x86/libcoinmetis.so.1
new file mode 120000
index 0000000..6fc93b9
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmetis.so.1
@@ -0,0 +1 @@
+libcoinmetis.so.1.2.4
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libcoinmetis.so.1.2.4 b/thirdparty/linux/lib/x86/libcoinmetis.so.1.2.4
new file mode 100755
index 0000000..98c694a
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmetis.so.1.2.4
diff --git a/thirdparty/linux/lib/x86/libcoinmumps.la b/thirdparty/linux/lib/x86/libcoinmumps.la
new file mode 100755
index 0000000..22e37ea
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmumps.la
@@ -0,0 +1,35 @@
+# libcoinmumps.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='libcoinmumps.so.1'
+
+# Names of this library.
+library_names='libcoinmumps.so.1.4.7 libcoinmumps.so.1 libcoinmumps.so'
+
+# The name of the static archive.
+old_library=''
+
+# Libraries that this one depends upon.
+dependency_libs=''
+
+# Version information for libcoinmumps.
+current=5
+age=4
+revision=7
+
+# 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/tonio/Ipopt-3.11.0/build/lib'
diff --git a/thirdparty/linux/lib/x86/libcoinmumps.so b/thirdparty/linux/lib/x86/libcoinmumps.so
new file mode 120000
index 0000000..1a9edbe
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmumps.so
@@ -0,0 +1 @@
+libcoinmumps.so.1.4.7
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libcoinmumps.so.1 b/thirdparty/linux/lib/x86/libcoinmumps.so.1
new file mode 120000
index 0000000..1a9edbe
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmumps.so.1
@@ -0,0 +1 @@
+libcoinmumps.so.1.4.7
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libcoinmumps.so.1.4.7 b/thirdparty/linux/lib/x86/libcoinmumps.so.1.4.7
new file mode 100755
index 0000000..c6bba5a
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libcoinmumps.so.1.4.7
diff --git a/thirdparty/linux/lib/x86/libipopt.la b/thirdparty/linux/lib/x86/libipopt.la
new file mode 100755
index 0000000..d38333a
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libipopt.la
@@ -0,0 +1,35 @@
+# libipopt.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='libipopt.so.1'
+
+# Names of this library.
+library_names='libipopt.so.1.9.0 libipopt.so.1 libipopt.so'
+
+# The name of the static archive.
+old_library=''
+
+# Libraries that this one depends upon.
+dependency_libs=''
+
+# Version information for libipopt.
+current=10
+age=9
+revision=0
+
+# 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/tonio/Ipopt-3.11.0/build/lib'
diff --git a/thirdparty/linux/lib/x86/libipopt.so b/thirdparty/linux/lib/x86/libipopt.so
new file mode 120000
index 0000000..eec8a79
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libipopt.so
@@ -0,0 +1 @@
+libipopt.so.1.9.0
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libipopt.so.1 b/thirdparty/linux/lib/x86/libipopt.so.1
new file mode 120000
index 0000000..eec8a79
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libipopt.so.1
@@ -0,0 +1 @@
+libipopt.so.1.9.0
+\ No newline at end of file
diff --git a/thirdparty/linux/lib/x86/libipopt.so.1.9.0 b/thirdparty/linux/lib/x86/libipopt.so.1.9.0
new file mode 100755
index 0000000..53846ef
--- /dev/null
+++ b/thirdparty/linux/lib/x86/libipopt.so.1.9.0