From f455f9b3c105292ccba94f2b5fe0f57cfe4b799c Mon Sep 17 00:00:00 2001 From: Georgey Date: Wed, 15 Mar 2017 16:34:53 +0530 Subject: Added header files for Ipopt 3.12.7,minor modifications to symphony's output texts --- thirdparty/linux/lib/x64/libcoinmumps.so | Bin 1647272 -> 21 bytes thirdparty/linux/lib/x64/libcoinmumps.so.1 | Bin 1647272 -> 21 bytes thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 | Bin 1639895 -> 1647272 bytes thirdparty/linux/lib/x64/libipopt.so.1.10.4 | Bin 2568699 -> 0 bytes 4 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 120000 thirdparty/linux/lib/x64/libcoinmumps.so mode change 100755 => 120000 thirdparty/linux/lib/x64/libcoinmumps.so.1 delete mode 100755 thirdparty/linux/lib/x64/libipopt.so.1.10.4 (limited to 'thirdparty/linux/lib') diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so b/thirdparty/linux/lib/x64/libcoinmumps.so deleted file mode 100755 index 03e6e54..0000000 Binary files a/thirdparty/linux/lib/x64/libcoinmumps.so and /dev/null differ diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so b/thirdparty/linux/lib/x64/libcoinmumps.so new file mode 120000 index 0000000..c2d14a9 --- /dev/null +++ b/thirdparty/linux/lib/x64/libcoinmumps.so @@ -0,0 +1 @@ +libcoinmumps.so.1.5.4 \ No newline at end of file diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1 b/thirdparty/linux/lib/x64/libcoinmumps.so.1 deleted file mode 100755 index 03e6e54..0000000 Binary files a/thirdparty/linux/lib/x64/libcoinmumps.so.1 and /dev/null differ diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1 b/thirdparty/linux/lib/x64/libcoinmumps.so.1 new file mode 120000 index 0000000..c2d14a9 --- /dev/null +++ b/thirdparty/linux/lib/x64/libcoinmumps.so.1 @@ -0,0 +1 @@ +libcoinmumps.so.1.5.4 \ No newline at end of file diff --git a/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 b/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 index 2cb7e1c..03e6e54 100755 Binary files a/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 and b/thirdparty/linux/lib/x64/libcoinmumps.so.1.5.4 differ diff --git a/thirdparty/linux/lib/x64/libipopt.so.1.10.4 b/thirdparty/linux/lib/x64/libipopt.so.1.10.4 deleted file mode 100755 index 7808b17..0000000 Binary files a/thirdparty/linux/lib/x64/libipopt.so.1.10.4 and /dev/null differ -- cgit