diff -r dd1443e4a34c -r 4000b7ef4e01 lemon/config.h.in
--- a/lemon/config.h.in	Wed Aug 07 07:08:38 2013 +0200
+++ b/lemon/config.h.in	Thu Mar 28 14:52:43 2013 +0100
@@ -4,6 +4,7 @@
 #cmakedefine LEMON_HAVE_MIP 1
 #cmakedefine LEMON_HAVE_GLPK 1
 #cmakedefine LEMON_HAVE_CPLEX 1
+#cmakedefine LEMON_HAVE_SOPLEX 1
 #cmakedefine LEMON_HAVE_CLP 1
 #cmakedefine LEMON_HAVE_CBC 1
 #cmakedefine LEMON_DEFAULT_LP @LEMON_DEFAULT_LP@