23680: package Osi

Author: videlec

build/pkgs/osi/SPKG.txt

@@ -0,0 +1,17 @@
+= Osi =
+
+== Description ==
+
+Osi (Open solver interface) is a C++ library providing abstract classes
+to a generic linear programming solver (over floating point numbers).
+
+Website: https://projects.coin-or.org/Osi
+
+== License ==
+
+Osi is licensed under the Eclipse Public License (EPL)
+
+== Upstream Contact ==
+
+ * mailing list http://list.coin-or.org/mailman/listinfo/osi
+ * bug report http://projects.coin-or.org/Osi/newticket

build/pkgs/osi/checksums.ini

@@ -0,0 +1,4 @@
+tarball=Osi-VERSION.tgz
+sha1=86dcc1f750313e79ab15102c90fdf3f56a0e3577
+md5=4c39e5ffe2634ad011499262f56fd56e
+cksum=73081898

build/pkgs/osi/dependencies

@@ -0,0 +1,5 @@
+glpk cbc
+
+----------
+All lines of this file are ignored except the first.
+It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

build/pkgs/osi/package-version.txt

@@ -0,0 +1 @@
+0.107.9

build/pkgs/osi/spkg-install

@@ -0,0 +1,35 @@
+###############################################################################
+#
+# FLINT Sage install script
+#
+###############################################################################
+
+if [ "$SAGE_LOCAL" = "" ]; then
+   echo >&2 "Error: SAGE_LOCAL undefined - exiting..."
+   echo >&2 "Maybe run 'sage -sh'?"
+   exit 1
+fi
+
+cd src
+
+echo "Configuring FLINT."
+./configure \
+    --prefix="$SAGE_LOCAL" \
+    --enable-gnu-packages
+if [ $? -ne 0 ]; then
+    echo >&2 "Error: Failed to configure Osi."
+    exit 1
+fi
+
+echo "Building Osi"
+if [ $? -ne 0 ]; then
+    echo >&2 "Error: Failed to build Osi."
+    exit 1
+fi
+
+echo "Installing Osi"
+$MAKE install
+if [ $? -ne 0 ]; then
+    echo >&2 "Error: Failed to install Osi."
+    exit 1
+fi

build/pkgs/osi/type

@@ -0,0 +1 @@
+optional