From ef5f47fad76e12050a8a1cfbbedb89e5d2af31af Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 2 Jun 2018 18:43:28 +0200
Subject: Add support for gcc 8.1 as a backend.

Fix #568
---
 Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 70472a05e..479a6d46f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -217,8 +217,9 @@ copy-sources.gcc: version.ads
 	 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 ;; \
+	 8.*)      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"; \
+	    echo "Need gcc version 4.9.x, 5.x, 6.x, 7.x or 8.x"; \
 	    exit 1 ;; \
 	esac; \
 	$(CP) -p $(srcdir)/src/ortho/gcc/$$gcc_ortho_lang \
-- 
cgit v1.2.3