Changeset 2232 for ThirdParty/SCIP

Timestamp:

Jun 3, 2011 6:11:13 AM (8 years ago)

Author:

stefan

Message:

put back check for SCIP version number

Location:

ThirdParty/SCIP/trunk

Files:

• configure (modified) (2 diffs)
• configure.ac (modified) (2 diffs)

ThirdParty/SCIP/trunk/configure

@@ -21027 +21027 @@
 
 #############################################################################
+#                         Check SCIP version number                         #
+#############################################################################
+
+echo "$as_me:$LINENO: checking SCIP version" >&5
+echo $ECHO_N "checking SCIP version... $ECHO_C" >&6
+scipver=`awk '/define SCIP_VERSION/ {print $3}' ${srcdir}/scip/src/scip/def.h`
+scipsubver=`awk '/define SCIP_SUBVERSION/ {print $3}' ${srcdir}/scip/src/scip/def.h`
+echo "$as_me:$LINENO: result: ${scipver}.${scipsubver}" >&5
+echo "${ECHO_T}${scipver}.${scipsubver}" >&6
+if test $scipver -lt 200 -o $scipver -ge 210 ; then
+  { { echo "$as_me:$LINENO: error: \"Incorrect SCIP version. This build system is made for SCIP 2.0.x\"" >&5
+echo "$as_me: error: \"Incorrect SCIP version. This build system is made for SCIP 2.0.x\"" >&2;}
+   { (exit 1); exit 1; }; }
+fi
+
+#############################################################################
 #                       Check for external libraries                        #
 #############################################################################
@@ -24194 +24210 @@
 CFLAGS="$CFLAGS $EXTRAFLAGS"
 CXXFLAGS="$CXXFLAGS $EXTRAFLAGS"
+
+#############################################################################
+#                                Finish up                                  #
+#############################################################################
 
                               ac_config_files="$ac_config_files Makefile coinscip.pc coinscip-uninstalled.pc"

ThirdParty/SCIP/trunk/configure.ac

@@ -53 +53 @@
 
 #############################################################################
+#                         Check SCIP version number                         #
+#############################################################################
+
+AC_MSG_CHECKING([SCIP version])
+scipver=`awk '/define SCIP_VERSION/ {print $3}' ${srcdir}/scip/src/scip/def.h`
+scipsubver=`awk '/define SCIP_SUBVERSION/ {print $3}' ${srcdir}/scip/src/scip/def.h`
+AC_MSG_RESULT([${scipver}.${scipsubver}])
+if test $scipver -lt 200 -o $scipver -ge 210 ; then
+  AC_MSG_ERROR(["Incorrect SCIP version. This build system is made for SCIP 2.0.x"])
+fi
+
+#############################################################################
 #                       Check for external libraries                        #
 #############################################################################
@@ -105 +117 @@
 CFLAGS="$CFLAGS $EXTRAFLAGS"
 CXXFLAGS="$CXXFLAGS $EXTRAFLAGS"
-  
+
+#############################################################################
+#                                Finish up                                  #
+#############################################################################
+
 AC_CONFIG_FILES([Makefile coinscip.pc coinscip-uninstalled.pc])