From eb2368b0ccf1816d0c7607825f8dca310eac1216 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 4 Oct 2017 05:12:31 +0200
Subject: Also support gcc-6 (instead of only gcc 6.x).

For #425
---
 Makefile.in | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index f86d4749d..40ffbc523 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -208,10 +208,10 @@ copy-sources.gcc: version.ads
 	$(CP) -p $(srcdir)/src/ortho/gcc/*.opt $(gcc_vhdl_dir)
 	base_ver=`cat $(gcc_src_dir)/gcc/BASE-VER`; \
 	case $$base_ver in \
-	 4.9*) gcc_ortho_lang=ortho-lang-49.c ;; \
-	 5.*)  gcc_ortho_lang=ortho-lang-5.c ;; \
-	 6.*)  gcc_ortho_lang=ortho-lang-6.c ;; \
-	 7.*)  gcc_ortho_lang=ortho-lang-7.c ;; \
+	 4.9*)     gcc_ortho_lang=ortho-lang-49.c ;; \
+	 5.*)      gcc_ortho_lang=ortho-lang-5.c ;; \
+	 6 | 6.*)  gcc_ortho_lang=ortho-lang-6.c ;; \
+	 7.*)      gcc_ortho_lang=ortho-lang-7.c ;; \
 	 *) echo "Mismatch gcc version from $(gcc_src_dir)"; \
 	    echo "Need gcc version 4.9.x, 5.x, 6.x or 7.x"; \
 	    exit 1 ;; \
-- 
cgit v1.2.3