diff options
| -rw-r--r-- | Makefile.in | 3 | ||||
| -rw-r--r-- | doc/development/building/GCC.rst | 3 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index b541b24bb..34382f004 100644 --- a/Makefile.in +++ b/Makefile.in @@ -292,8 +292,7 @@ copy-sources.gcc: version.ads scripts/gcc/Make-lang.in 6 | 6.*) gcc_ortho_lang=ortho-lang-6.c ;; \ 7.*) gcc_ortho_lang=ortho-lang-7.c ;; \ 8.*) gcc_ortho_lang=ortho-lang-8.c ;; \ - 9.* | 10.* | 11.*) gcc_ortho_lang=ortho-lang-9.c ;; \ - 12.*) gcc_ortho_lang=ortho-lang-9.c ;; \ + 9.* | 10.* | 11.* | 12.*) gcc_ortho_lang=ortho-lang-9.c ;; \ *) echo "Mismatch gcc version from $(gcc_src_dir)"; \ echo "Need gcc version 4.9.x, 5.x to 12.x"; \ exit 1 ;; \ diff --git a/doc/development/building/GCC.rst b/doc/development/building/GCC.rst index 523d25e25..ffbe903f0 100644 --- a/doc/development/building/GCC.rst +++ b/doc/development/building/GCC.rst @@ -9,7 +9,8 @@ GCC backend * GCC (Gnu Compiler Collection) * GNAT (Ada compiler for GCC) -* GCC source files. Download and untar the sources of version 4.9.x, 5.x, 6.x, 7.x, 8.x, 9.x, 10.x or 11.x (`GCC mirror sites <https://gcc.gnu.org/mirrors.html>`__). +* GCC source files. Download and untar the sources of version 4.9.x, 5.x, 6.x, 7.x, 8.x, 9.x, 10.x, 11.x or 12.x + (`GCC mirror sites <https://gcc.gnu.org/mirrors.html>`__). .. HINT :: There are some dependencies for building GCC (``gmp``, ``mpfr`` and ``mpc``). If you have not installed them on your system, you can either build them manually or use the ``download_prerequisites`` script provided in the GCC source tree (recommended): ``cd /path/to/gcc/source/dir && ./contrib/download_prerequisites``. |