USE_GLPK

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1853 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/goto-instrument/goto2graph.cpp

@@ -11,7 +11,12 @@ Date: 2012
 #include <vector>
 #include <string>
 
+//#define USE_GLPK
+
+#ifdef USE_GLPK
 #include <glpk.h>
+#endif
+
 #include <string.h>
 
 #include "goto2graph.h"
@@ -32,6 +37,12 @@ Date: 2012
 #include <pthread.h>
 #endif
 
+// the use of this is bogus
+static inline bool has_infix(const std::string &s, const std::string &infix)
+{
+  return s.find(infix)!=std::string::npos;
+}
+
 /*******************************************************************\
 
 Function: instrumentert::local
@@ -1245,6 +1256,7 @@ void inline instrumentert::instrument_minimum_interference_inserter(
       ++e_i)
       edges.insert(*e_i);
 
+  #ifdef USE_GLPK
   glp_prob* lp;
   glp_iocp parm;
   glp_init_iocp(&parm);
@@ -1358,6 +1370,7 @@ void inline instrumentert::instrument_minimum_interference_inserter(
   free(imat);
   free(jmat);
   free(vmat);
+  #endif
 }
 
 void instrumentert::instrument_minimum_interference()