diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 18:55:08 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 18:55:47 -0400 |
commit | 790bd94058f65c20f6adc57fc9eeeb12a3955015 (patch) | |
tree | 8523bba0e2a36b9135de916f44af7b3b000328aa /src/theory/arith | |
parent | 0ff21bf1d615500ca135f36f5ec8c57c1fd47438 (diff) |
configure fix for building with glpk on redhat, perhaps others
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 47f15d8c7..0f5a0fd4e 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -116,8 +116,14 @@ public: /* Begin the declaration of GLPK specific code. */ #ifdef CVC4_USE_GLPK extern "C" { -#include <glpk.h> -} +/* Sometimes the header is in a subdirectory glpk/, sometimes not. + * The configure script figures it out. */ +#ifdef HAVE_GLPK_GLPK_H +# include <glpk/glpk.h> +#else /* HAVE_GLPK_GLPK_H */ +# include <glpk.h> +#endif /* HAVE_GLPK_GLPK_H */ +}/* extern "C" */ namespace CVC4 { namespace theory { |