summarylogtreecommitdiffstats
path: root/gurobi.install
diff options
context:
space:
mode:
authorMarcos M. Raimundo2016-08-10 16:53:01 -0300
committerMarcos M. Raimundo2016-08-10 16:53:01 -0300
commitdd93ea9cb0c2c1040ed77126c3b5059e5857c39f (patch)
tree43b7110ec5357797bb37a7b124744ca1e6310cbe /gurobi.install
downloadaur-dd93ea9cb0c2c1040ed77126c3b5059e5857c39f.tar.gz
First tested version of the package
Diffstat (limited to 'gurobi.install')
-rw-r--r--gurobi.install8
1 files changed, 8 insertions, 0 deletions
diff --git a/gurobi.install b/gurobi.install
new file mode 100644
index 00000000000..f1d76ba3351
--- /dev/null
+++ b/gurobi.install
@@ -0,0 +1,8 @@
+post_install() {
+ echo "The Gurobi Optimizer requires a license to run."
+ echo "To install your Gurobi License, make sure you are connected to Internet"
+ echo "and run: grbgetkey <license-ID>."
+ echo "If you choose to store the license file somewhere else than the default"
+ echo "location (your home directory), you must set the environment variable:"
+ echo "GRB_LICENSE_FILE=/path/to/gurobi.lic"
+}