diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 5e71f4117..a026577ce 100644 --- a/Makefile.in +++ b/Makefile.in @@ -193,11 +193,12 @@ 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.c ;; \ + 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 ;; \ - *) echo "Mismatch gcc version from $gcc_src_dir" \ - echo "Need gcc version 4.9.x, 5.x or 6.x" \ + 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 ;; \ esac; \ $(CP) -p $(srcdir)/src/ortho/gcc/$$gcc_ortho_lang \ |