Fix for Debian/Ubuntu GCC version numbers

sagemath · Aug 27, 2015 · f708487 · f708487
1 parent 779e5a8
commit f708487
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/build/make/install b/build/make/install
@@ -153,8 +153,10 @@ else
     else
         # $CXX points to some version of GCC, find out which version.
         GCCVERSION=`$CXX -dumpversion`
-        case $GCCVERSION in
-            [0-3].*|4.[0-3]|4.[0-3].*)
+        # Add the .0 because Debian/Ubuntu gives version numbers like
+        # 4.6 instead of 4.6.4 (Trac #18885)
+        case "$GCCVERSION.0" in
+            [0-3].*|4.[0-3].*)
                 # Install our own GCC if the system-provided one is older than gcc-4.4.
                 # * gcc-4.2.4 compiles a slow IML:
                 # https://groups.google.com/forum/?fromgroups#!topic/sage-devel/Ux3t0dW2FSI