From 04b05b8039f7b306d8dacbf7bd0ec58ba7dc209d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 13 Mar 2019 05:24:08 +0100
Subject: for using CPlex

---
 scripts/cplex/ilp_solver | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'scripts')

diff --git a/scripts/cplex/ilp_solver b/scripts/cplex/ilp_solver
index a449c203..1e70a652 100755
--- a/scripts/cplex/ilp_solver
+++ b/scripts/cplex/ilp_solver
@@ -1,7 +1,10 @@
 #!/bin/sh
 tmp=$2.tmp
 rm -f $tmp $2
-cplex -c "read $1" "optimize" "write $tmp sol"
-grep '<variable name="' $tmp | sed -e 's@ *<variable name="@@' -e 's@" index=.* value="@ @' -e 's@"/>@@' > $2
-touch $2
-rm -f $tmp
+if cplex -c "read $1" "optimize" "write $tmp sol";
+then
+  grep '<variable name="' $tmp | sed -e 's@ *<variable name="@@' -e 's@" index=.* value="@ @' -e 's@"/>@@' > $2
+  rm -f $tmp
+else
+  exit $?
+fi
-- 
cgit