summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarcos M. Raimundo2017-01-23 19:14:46 -0200
committerMarcos M. Raimundo2017-01-23 19:14:46 -0200
commit01393fce7610269a73b4b42a4fea478a3e13e162 (patch)
treecbf59b28658d9f329d722b0fe82f0f6396080e5f
parent8ad72df3f6b5ab0ab259e859a1a4f2223dd57ef8 (diff)
downloadaur-01393fce7610269a73b4b42a4fea478a3e13e162.tar.gz
Update to 7.0.1
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 06be84efc0c..c1c6c0c68fd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -69,8 +69,8 @@ package_gurobi() {
# Programming interfaces
install lib/*.so* "${pkgdir}/usr/lib/"
install -m644 lib/*.a "${pkgdir}/usr/lib/"
- ln -sf ./libgurobi.so.6.5.2 "${pkgdir}/usr/lib/libgurobi65.so"
- ln -sf ./libgurobi_g++4.2.a "${pkgdir}/usr/lib/libgurobi_c++.a"
+ ln -sf ./libgurobi.so.7.0.1 "${pkgdir}/usr/lib/libgurobi65.so"
+ ln -sf ./libgurobi_g++5.2.a "${pkgdir}/usr/lib/libgurobi_c++.a"
python2 setup.py install --root="$pkgdir" --optimize=1
python3 setup.py install --root="$pkgdir" --optimize=1