gnu/packages/gcc.scm

   1 ;;; GNU Guix --- Functional package management for GNU
   2 ;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org>
   3 ;;; Copyright © 2014, 2015, 2018 Mark H Weaver <mhw@netris.org>
   4 ;;; Copyright © 2014, 2015, 2016, 2017, 2019 Ricardo Wurmus <rekado@elephly.net>
   5 ;;; Copyright © 2015 Andreas Enge <andreas@enge.fr>
   6 ;;; Copyright © 2015, 2016, 2017, 2018, 2020 Efraim Flashner <efraim@flashner.co.il>
   7 ;;; Copyright © 2016 Carlos Sánchez de La Lama <csanchezdll@gmail.com>
   8 ;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
   9 ;;; Copyright © 2018, 2020 Marius Bakke <mbakke@fastmail.com>
  10 ;;; Copyright © 2020 Joseph LaFreniere <joseph@lafreniere.xyz>
  11 ;;; Copyright © 2020 Guy Fleury Iteriteka <gfleury@disroot.org>
  12 ;;;
  13 ;;; This file is part of GNU Guix.
  14 ;;;
  15 ;;; GNU Guix is free software; you can redistribute it and/or modify it
  16 ;;; under the terms of the GNU General Public License as published by
  17 ;;; the Free Software Foundation; either version 3 of the License, or (at
  18 ;;; your option) any later version.
  19 ;;;
  20 ;;; GNU Guix is distributed in the hope that it will be useful, but
  21 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  22 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  23 ;;; GNU General Public License for more details.
  24 ;;;
  25 ;;; You should have received a copy of the GNU General Public License
  26 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
  27
  28 (define-module (gnu packages gcc)
  29   #:use-module ((guix licenses)
  30                 #:select (gpl3+ gpl2+ lgpl2.1+ lgpl2.0+ fdl1.3+))
  31   #:use-module (gnu packages)
  32   #:use-module (gnu packages bootstrap)
  33   #:use-module (gnu packages compression)
  34   #:use-module (gnu packages multiprecision)
  35   #:use-module (gnu packages texinfo)
  36   #:use-module (gnu packages dejagnu)
  37   #:use-module (gnu packages documentation)
  38   #:use-module (gnu packages xml)
  39   #:use-module (gnu packages docbook)
  40   #:use-module (gnu packages graphviz)
  41   #:use-module (gnu packages elf)
  42   #:use-module (gnu packages perl)
  43   #:use-module (guix packages)
  44   #:use-module (guix download)
  45   #:use-module (guix build-system gnu)
  46   #:use-module (guix build-system trivial)
  47   #:use-module (guix utils)
  48   #:use-module (srfi srfi-1)
  49   #:use-module (ice-9 regex))
  50
  51 (define %gcc-infrastructure
  52   ;; Base URL for GCC's infrastructure.
  53   "mirror://gcc/infrastructure/")
  54
  55 (define (gcc-configure-flags-for-triplet target)
  56   "Return a list of additional GCC `configure' flags for TARGET, a GNU triplet.
  57
  58 The purpose of this procedure is to translate extended GNU triplets---e.g.,
  59 where the OS part is overloaded to denote a specific ABI---into GCC
  60 `configure' options.  We take extended GNU triplets that glibc recognizes."
  61   (cond ((string-match "^mips64el.*gnuabin?64$" target)
  62          ;; Triplets recognized by glibc as denoting the N64 ABI; see
  63          ;; ports/sysdeps/mips/preconfigure.
  64          '("--with-abi=64"))
  65
  66         ((string-match "^arm.*-gnueabihf$" target)
  67          '("--with-arch=armv7-a"
  68            "--with-float=hard"
  69            "--with-mode=thumb"
  70            "--with-fpu=neon"))
  71
  72         ((and (string-suffix? "-gnu" target)
  73               (not (string-contains target "-linux")))
  74          ;; Cross-compilation of libcilkrts in GCC 5.5.0 to GNU/Hurd fails
  75          ;; with:
  76          ;;   libcilkrts/runtime/os-unix.c:388:2: error: #error "Unknown architecture"
  77          ;; Cilk has been removed from GCC 8 anyway.
  78          '("--disable-libcilkrts"))
  79
  80         (else
  81          ;; TODO: Add `arm.*-gnueabi', etc.
  82          '())))
  83
  84 (define-public gcc-4.7
  85   (let* ((stripped? #t)      ;whether to strip the compiler, not the libraries
  86          (maybe-target-tools
  87           (lambda ()
  88             ;; Return the `_FOR_TARGET' variables that are needed when
  89             ;; cross-compiling GCC.
  90             (let ((target (%current-target-system)))
  91               (if target
  92                   (map (lambda (var tool)
  93                          (string-append (string-append var "_FOR_TARGET")
  94                                         "=" target "-" tool))
  95                        '("CC"  "CXX" "LD" "AR" "NM" "OBJDUMP" "RANLIB" "STRIP")
  96                        '("gcc" "g++" "ld" "ar" "nm" "objdump" "ranlib" "strip"))
  97                   '()))))
  98          (libdir
  99           (let ((base '(or (assoc-ref outputs "lib")
 100                            (assoc-ref outputs "out"))))
 101             (lambda ()
 102               ;; Return the directory that contains lib/libgcc_s.so et al.
 103               (if (%current-target-system)
 104                   `(string-append ,base "/" ,(%current-target-system))
 105                   base))))
 106          (configure-flags
 107           (lambda ()
 108             ;; This is terrible.  Since we have two levels of quasiquotation,
 109             ;; we have to do this convoluted thing just so we can insert the
 110             ;; contents of (maybe-target-tools).
 111             (list 'quasiquote
 112                   (append
 113                    '("--enable-plugin"
 114                      "--enable-languages=c,c++"
 115                      "--disable-multilib"
 116                      "--with-system-zlib"
 117
 118                      ;; No pre-compiled libstdc++ headers, to save space.
 119                      "--disable-libstdcxx-pch"
 120
 121                      "--with-local-prefix=/no-gcc-local-prefix"
 122
 123                      ;; With a separate "lib" output, the build system
 124                      ;; incorrectly guesses GPLUSPLUS_INCLUDE_DIR, so force
 125                      ;; it.  (Don't use a versioned sub-directory, that's
 126                      ;; unnecessary.)
 127                      ,(string-append "--with-gxx-include-dir="
 128                                      (assoc-ref %outputs "out")
 129                                      "/include/c++")
 130
 131                      ,(let ((libc (assoc-ref %build-inputs "libc")))
 132                         (if libc
 133                             (string-append "--with-native-system-header-dir=" libc
 134                                            "/include")
 135                             "--without-headers")))
 136
 137                    ;; Pass the right options for the target triplet.
 138                    (let ((triplet
 139                           (or (%current-target-system)
 140                               (nix-system->gnu-triplet (%current-system)))))
 141                      (gcc-configure-flags-for-triplet triplet))
 142
 143                    (maybe-target-tools))))))
 144     (hidden-package
 145      (package
 146        (name "gcc")
 147        (version "4.7.4")
 148        (source (origin
 149                  (method url-fetch)
 150                  (uri (string-append "mirror://gnu/gcc/gcc-"
 151                                      version "/gcc-" version ".tar.bz2"))
 152                  (sha256
 153                   (base32
 154                    "10k2k71kxgay283ylbbhhs51cl55zn2q38vj5pk4k950qdnirrlj"))
 155                  (patches (search-patches "gcc-4-compile-with-gcc-5.patch"
 156                                           "gcc-fix-texi2pod.patch"))))
 157        (build-system gnu-build-system)
 158
 159        ;; Separate out the run-time support libraries because all the
 160        ;; dynamic-linked objects depend on it.
 161        (outputs '("out"                    ;commands, etc. (60+ MiB)
 162                   "lib"                    ;libgcc_s, libgomp, etc. (15+ MiB)
 163                   "debug"))                ;debug symbols of run-time libraries
 164
 165        (inputs `(("gmp" ,gmp)
 166                  ("mpfr" ,mpfr)
 167                  ("mpc" ,mpc)
 168                  ("libelf" ,libelf)
 169                  ("zlib" ,zlib)))
 170
 171        ;; GCC < 5 is one of the few packages that doesn't ship .info files.
 172        ;; Newer texinfos fail to build the manual, so we use an older one.
 173        (native-inputs `(("perl" ,perl)   ;for manpages
 174                         ("texinfo" ,texinfo-5)))
 175
 176        (arguments
 177         `(#:out-of-source? #t
 178           #:configure-flags ,(configure-flags)
 179           #:make-flags
 180           ;; None of the flags below are needed when doing a Canadian cross.
 181           ;; TODO: Simplify this.
 182           ,(if (%current-target-system)
 183                (if stripped?
 184                    ''("CFLAGS=-g0 -O2")
 185                    ''())
 186                `(let* ((libc        (assoc-ref %build-inputs "libc"))
 187                        (libc-native (or (assoc-ref %build-inputs "libc-native")
 188                                         libc)))
 189                   `(,@(if libc
 190                           (list (string-append "LDFLAGS_FOR_TARGET="
 191                                                "-B" libc "/lib "
 192                                                "-Wl,-dynamic-linker "
 193                                                "-Wl," libc
 194                                                ,(glibc-dynamic-linker)))
 195                           '())
 196
 197                     ;; Native programs like 'genhooks' also need that right.
 198                     ,(string-append "LDFLAGS="
 199                                     "-Wl,-rpath=" libc-native "/lib "
 200                                     "-Wl,-dynamic-linker "
 201                                     "-Wl," libc-native ,(glibc-dynamic-linker))
 202                     ,(string-append "BOOT_CFLAGS=-O2 "
 203                                     ,(if stripped? "-g0" "-g")))))
 204
 205           #:tests? #f
 206
 207           #:phases
 208           (modify-phases %standard-phases
 209             (add-before 'configure 'pre-configure
 210               (lambda* (#:key inputs outputs #:allow-other-keys)
 211                 (let ((libdir ,(libdir))
 212                       (libc   (assoc-ref inputs "libc")))
 213                   (when libc
 214                     ;; The following is not performed for `--without-headers'
 215                     ;; cross-compiler builds.
 216
 217                     ;; Join multi-line definitions of GLIBC_DYNAMIC_LINKER* into a
 218                     ;; single line, to allow the next step to work properly.
 219                     (for-each
 220                      (lambda (x)
 221                        (substitute* (find-files "gcc/config"
 222                                                 "^(linux|gnu|sysv4)(64|-elf|-eabi)?\\.h$")
 223                          (("(#define (GLIBC|GNU_USER)_DYNAMIC_LINKER.*)\\\\\n$" _ line)
 224                           line)))
 225                      '(1 2 3))
 226
 227                     ;; Fix the dynamic linker's file name.
 228                     (substitute* (find-files "gcc/config"
 229                                              "^(linux|gnu|sysv4)(64|-elf|-eabi)?\\.h$")
 230                       (("#define (GLIBC|GNU_USER)_DYNAMIC_LINKER([^ \t]*).*$"
 231                         _ gnu-user suffix)
 232                        (format #f "#define ~a_DYNAMIC_LINKER~a \"~a\"~%"
 233                                gnu-user suffix
 234                                (string-append libc ,(glibc-dynamic-linker)))))
 235
 236                     ;; Tell where to find libstdc++, libc, and `?crt*.o', except
 237                     ;; `crt{begin,end}.o', which come with GCC.
 238                     (substitute* (find-files "gcc/config"
 239                                              "^gnu-user.*\\.h$")
 240                       (("#define GNU_USER_TARGET_LIB_SPEC (.*)$" _ suffix)
 241                        ;; Help libgcc_s.so be found (see also below.)  Always use
 242                        ;; '-lgcc_s' so that libgcc_s.so is always found by those
 243                        ;; programs that use 'pthread_cancel' (glibc dlopens
 244                        ;; libgcc_s.so when pthread_cancel support is needed, but
 245                        ;; having it in the application's RUNPATH isn't enough; see
 246                        ;; <http://sourceware.org/ml/libc-help/2013-11/msg00023.html>.)
 247                        ;;
 248                        ;; NOTE: The '-lgcc_s' added below needs to be removed in a
 249                        ;; later phase of %gcc-static.  If you change the string
 250                        ;; below, make sure to update the relevant code in
 251                        ;; %gcc-static package as needed.
 252                        (format #f "#define GNU_USER_TARGET_LIB_SPEC \
 253 \"-L~a/lib %{!static:-rpath=~a/lib %{!static-libgcc:-rpath=~a/lib -lgcc_s}} \" ~a"
 254                                libc libc libdir suffix))
 255                       (("#define GNU_USER_TARGET_STARTFILE_SPEC.*$" line)
 256                        (format #f "#define STANDARD_STARTFILE_PREFIX_1 \"~a/lib\"
 257 #define STANDARD_STARTFILE_PREFIX_2 \"\"
 258 ~a"
 259                                libc line)))
 260
 261                     ;; The rs6000 (a.k.a. powerpc) config in GCC does not use
 262                     ;; GNU_USER_* defines.  Do the above for this case.
 263                     (substitute*
 264                         "gcc/config/rs6000/sysv4.h"
 265                       (("#define LIB_LINUX_SPEC (.*)$" _ suffix)
 266                        (format #f "#define LIB_LINUX_SPEC \
 267 \"-L~a/lib %{!static:-rpath=~a/lib %{!static-libgcc:-rpath=~a/lib -lgcc_s}} \" ~a"
 268                                libc libc libdir suffix))
 269                       (("#define        STARTFILE_LINUX_SPEC.*$" line)
 270                        (format #f "#define STANDARD_STARTFILE_PREFIX_1 \"~a/lib\"
 271 #define STANDARD_STARTFILE_PREFIX_2 \"\"
 272 ~a"
 273                                libc line))))
 274
 275                   ;; Don't retain a dependency on the build-time sed.
 276                   (substitute* "fixincludes/fixincl.x"
 277                     (("static char const sed_cmd_z\\[\\] =.*;")
 278                      "static char const sed_cmd_z[] = \"sed\";"))
 279
 280                   ;; Aarch64 support didn't land in GCC until the 4.8 series.
 281                   (when (file-exists? "gcc/config/aarch64")
 282                     ;; Force Aarch64 libdir to be /lib and not /lib64
 283                     (substitute* "gcc/config/aarch64/t-aarch64-linux"
 284                       (("lib64") "lib")))
 285
 286                   (when (file-exists? "libbacktrace")
 287                     ;; GCC 4.8+ comes with libbacktrace.  By default it builds
 288                     ;; with -Werror, which fails with a -Wcast-qual error in glibc
 289                     ;; 2.21's stdlib-bsearch.h.  Remove -Werror.
 290                     (substitute* "libbacktrace/configure"
 291                       (("WARN_FLAGS=(.*)-Werror" _ flags)
 292                        (string-append "WARN_FLAGS=" flags)))
 293
 294                     (when (file-exists? "libsanitizer/libbacktrace")
 295                       ;; Same in libsanitizer's bundled copy (!) found in 4.9+.
 296                       (substitute* "libsanitizer/libbacktrace/Makefile.in"
 297                         (("-Werror")
 298                          ""))))
 299
 300                   ;; Add a RUNPATH to libstdc++.so so that it finds libgcc_s.
 301                   ;; See <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32354>
 302                   ;; and <http://bugs.gnu.org/20358>.
 303                   (substitute* "libstdc++-v3/src/Makefile.in"
 304                     (("^OPT_LDFLAGS = ")
 305                      "OPT_LDFLAGS = -Wl,-rpath=$(libdir) "))
 306
 307                   ;; Move libstdc++*-gdb.py to the "lib" output to avoid a
 308                   ;; circularity between "out" and "lib".  (Note:
 309                   ;; --with-python-dir is useless because it imposes $(prefix) as
 310                   ;; the parent directory.)
 311                   (substitute* "libstdc++-v3/python/Makefile.in"
 312                     (("pythondir = .*$")
 313                      (string-append "pythondir = " libdir "/share"
 314                                     "/gcc-$(gcc_version)/python\n")))
 315
 316                   ;; Avoid another circularity between the outputs: this #define
 317                   ;; ends up in auto-host.h in the "lib" output, referring to
 318                   ;; "out".  (This variable is used to augment cpp's search path,
 319                   ;; but there's nothing useful to look for here.)
 320                   (substitute* "gcc/config.in"
 321                     (("PREFIX_INCLUDE_DIR")
 322                      "PREFIX_INCLUDE_DIR_isnt_necessary_here"))
 323                   #t)))
 324
 325             (add-after 'configure 'post-configure
 326               (lambda _
 327                 ;; Don't store configure flags, to avoid retaining references to
 328                 ;; build-time dependencies---e.g., `--with-ppl=/gnu/store/xxx'.
 329                 (substitute* "Makefile"
 330                   (("^TOPLEVEL_CONFIGURE_ARGUMENTS=(.*)$" _ rest)
 331                    "TOPLEVEL_CONFIGURE_ARGUMENTS=\n"))
 332                 #t)))))
 333
 334        (native-search-paths
 335         ;; Use the language-specific variables rather than 'CPATH' because they
 336         ;; are equivalent to '-isystem' whereas 'CPATH' is equivalent to '-I'.
 337         ;; The intent is to allow headers that are in the search path to be
 338         ;; treated as "system headers" (headers exempt from warnings) just like
 339         ;; the typical /usr/include headers on an FHS system.
 340         (list (search-path-specification
 341                (variable "C_INCLUDE_PATH")
 342                (files '("include")))
 343               (search-path-specification
 344                (variable "CPLUS_INCLUDE_PATH")
 345                ;; Add 'include/c++' here so that <cstdlib>'s "#include_next
 346                ;; <stdlib.h>" finds GCC's <stdlib.h>, not libc's.
 347                (files '("include/c++" "include")))
 348               (search-path-specification
 349                (variable "LIBRARY_PATH")
 350                (files '("lib" "lib64")))))
 351
 352        (properties `((gcc-libc . ,(assoc-ref inputs "libc"))))
 353        (synopsis "GNU Compiler Collection")
 354        (description
 355         "GCC is the GNU Compiler Collection.  It provides compiler front-ends
 356 for several languages, including C, C++, Objective-C, Fortran, Java, Ada, and
 357 Go.  It also includes runtime support libraries for these languages.")
 358        (license gpl3+)
 359        (supported-systems (delete "aarch64-linux" %supported-systems))
 360        (home-page "https://gcc.gnu.org/")))))
 361
 362 (define-public gcc-4.8
 363   (package (inherit gcc-4.7)
 364     (version "4.8.5")
 365     (source (origin
 366               (method url-fetch)
 367               (uri (string-append "mirror://gnu/gcc/gcc-"
 368                                   version "/gcc-" version ".tar.bz2"))
 369               (sha256
 370                (base32
 371                 "08yggr18v373a1ihj0rg2vd6psnic42b518xcgp3r9k81xz1xyr2"))
 372               (patches (search-patches "gcc-arm-link-spec-fix.patch"
 373                                        "gcc-4.8-libsanitizer-fix.patch"
 374                                        "gcc-asan-missing-include.patch"
 375                                        "gcc-fix-texi2pod.patch"))
 376               (modules '((guix build utils)))
 377               ;; This is required for building with glibc-2.26.
 378               ;; https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81712
 379               (snippet
 380                '(begin
 381                   (for-each
 382                    (lambda (dir)
 383                      (substitute* (string-append "libgcc/config/"
 384                                                  dir "/linux-unwind.h")
 385                        (("struct ucontext") "ucontext_t")))
 386                    '("aarch64" "alpha" "bfin" "i386" "m68k"
 387                      "pa" "sh" "tilepro" "xtensa"))
 388                   #t))))
 389     (supported-systems %supported-systems)
 390     (inputs
 391      `(("isl" ,isl-0.11)
 392        ("cloog" ,cloog)
 393        ,@(package-inputs gcc-4.7)))))
 394
 395 (define-public gcc-4.9
 396   (package (inherit gcc-4.8)
 397     (version "4.9.4")
 398     (source (origin
 399               (method url-fetch)
 400               (uri (string-append "mirror://gnu/gcc/gcc-"
 401                                   version "/gcc-" version ".tar.bz2"))
 402               (sha256
 403                (base32
 404                 "14l06m7nvcvb0igkbip58x59w3nq6315k6jcz3wr9ch1rn9d44bc"))
 405               (patches (search-patches "gcc-4.9-libsanitizer-fix.patch"
 406                                        "gcc-4.9-libsanitizer-ustat.patch"
 407                                        "gcc-4.9-libsanitizer-mode-size.patch"
 408                                        "gcc-arm-bug-71399.patch"
 409                                        "gcc-asan-missing-include.patch"
 410                                        "gcc-libvtv-runpath.patch"
 411                                        "gcc-fix-texi2pod.patch"))
 412               (modules '((guix build utils)))
 413               ;; This is required for building with glibc-2.26.
 414               ;; https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81712
 415               (snippet
 416                '(begin
 417                   (for-each
 418                    (lambda (dir)
 419                      (substitute* (string-append "libgcc/config/"
 420                                                  dir "/linux-unwind.h")
 421                        (("struct ucontext") "ucontext_t")))
 422                    '("aarch64" "alpha" "bfin" "i386" "m68k" "nios2"
 423                      "pa" "sh" "tilepro" "xtensa"))
 424                   #t))))
 425     ;; Override inherited texinfo-5 with latest version.
 426     (native-inputs `(("perl" ,perl)   ;for manpages
 427                      ("texinfo" ,texinfo)))
 428     (arguments
 429      (if (%current-target-system)
 430          (package-arguments gcc-4.8)
 431          ;; For native builds of GCC 4.9 and GCC 5, the C++ include path needs
 432          ;; to be adjusted so it does not interfere with GCC's own build processes.
 433          (substitute-keyword-arguments (package-arguments gcc-4.8)
 434            ((#:modules modules %gnu-build-system-modules)
 435             `((srfi srfi-1)
 436               ,@modules))
 437            ((#:phases phases)
 438             `(modify-phases ,phases
 439                (add-after 'set-paths 'adjust-CPLUS_INCLUDE_PATH
 440                  (lambda* (#:key inputs #:allow-other-keys)
 441                    (let ((libc (assoc-ref inputs "libc"))
 442                          (gcc (assoc-ref inputs  "gcc")))
 443                      (setenv "CPLUS_INCLUDE_PATH"
 444                              (string-join (fold delete
 445                                                 (string-split (getenv "CPLUS_INCLUDE_PATH")
 446                                                               #\:)
 447                                                 (list (string-append libc "/include")
 448                                                       (string-append gcc "/include/c++")))
 449                                           ":"))
 450                      (format #t
 451                              "environment variable `CPLUS_INCLUDE_PATH' changed to ~a~%"
 452                              (getenv "CPLUS_INCLUDE_PATH"))
 453                      #t))))))))))
 454
 455 (define-public gcc-5
 456   ;; Note: GCC >= 5 ships with .info files but 'make install' fails to install
 457   ;; them in a VPATH build.
 458   (package (inherit gcc-4.9)
 459     (version "5.5.0")
 460     (source (origin
 461               (method url-fetch)
 462               (uri (string-append "mirror://gnu/gcc/gcc-"
 463                                   version "/gcc-" version ".tar.xz"))
 464               (sha256
 465                (base32
 466                 "11zd1hgzkli3b2v70qsm2hyqppngd4616qc96lmm9zl2kl9yl32k"))
 467               (patches (search-patches "gcc-arm-bug-71399.patch"
 468                                        "gcc-libsanitizer-ustat.patch"
 469                                        "gcc-strmov-store-file-names.patch"
 470                                        "gcc-5.0-libvtv-runpath.patch"
 471                                        "gcc-5-source-date-epoch-1.patch"
 472                                        "gcc-5-source-date-epoch-2.patch"
 473                                        "gcc-6-libsanitizer-mode-size.patch"
 474                                        "gcc-fix-texi2pod.patch"
 475                                        "gcc-5-hurd.patch"))
 476               (modules '((guix build utils)))
 477               (snippet
 478                ;; Fix 'libcc1/configure' error when cross-compiling GCC.
 479                ;; Without that, 'libcc1/configure' wrongfully determines that
 480                ;; '-rdynamic' support is missing because $gcc_cv_objdump is
 481                ;; empty:
 482                ;;
 483                ;;   https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67590
 484                ;;   http://cgit.openembedded.org/openembedded-core/commit/?id=f6e47aa9b12f9ab61530c40e0343f451699d9077
 485                '(begin
 486                   (substitute* "libcc1/configure"
 487                     (("\\$gcc_cv_objdump -T")
 488                      "$OBJDUMP_FOR_TARGET -T"))
 489                   #t))))
 490     (inputs
 491      `(;; GCC5 needs <isl/band.h> which is removed in later versions.
 492        ("isl" ,isl-0.18)
 493        ,@(package-inputs gcc-4.7)))))
 494
 495 (define-public gcc-6
 496   (package
 497     (inherit gcc-5)
 498     (version "6.5.0")
 499     (source (origin
 500               (method url-fetch)
 501               (uri (string-append "mirror://gnu/gcc/gcc-"
 502                                   version "/gcc-" version ".tar.xz"))
 503               (sha256
 504                (base32
 505                 "0i89fksfp6wr1xg9l8296aslcymv2idn60ip31wr9s4pwin7kwby"))
 506               (patches (search-patches "gcc-strmov-store-file-names.patch"
 507                                        "gcc-6-libsanitizer-mode-size.patch"
 508                                        "gcc-6-source-date-epoch-1.patch"
 509                                        "gcc-6-source-date-epoch-2.patch"
 510                                        "gcc-5.0-libvtv-runpath.patch"))))
 511
 512     ;; GCC 4.9 and 5 has a workaround that is not needed for GCC 6 and later.
 513     (arguments (package-arguments gcc-4.8))
 514
 515     (inputs
 516      `(("isl" ,isl)
 517        ,@(package-inputs gcc-4.7)))))
 518
 519 (define-public gcc-7
 520   (package
 521     (inherit gcc-6)
 522     (version "7.5.0")
 523     (source (origin
 524               (method url-fetch)
 525               (uri (string-append "mirror://gnu/gcc/gcc-"
 526                                   version "/gcc-" version ".tar.xz"))
 527               (sha256
 528                (base32
 529                 "0qg6kqc5l72hpnj4vr6l0p69qav0rh4anlkk3y55540zy3klc6dq"))
 530               (patches (search-patches "gcc-strmov-store-file-names.patch"
 531                                        "gcc-7-libsanitizer-mode-size.patch"
 532                                        "gcc-5.0-libvtv-runpath.patch"))))
 533     (description
 534      "GCC is the GNU Compiler Collection.  It provides compiler front-ends
 535 for several languages, including C, C++, Objective-C, Fortran, Ada, and Go.
 536 It also includes runtime support libraries for these languages.")))
 537
 538 (define-public gcc-8
 539   (package
 540     (inherit gcc-7)
 541     (version "8.4.0")
 542     (source (origin
 543               (method url-fetch)
 544               (uri (string-append "mirror://gnu/gcc/gcc-"
 545                                   version "/gcc-" version ".tar.xz"))
 546               (sha256
 547                (base32
 548                 "1m1d3gfix56w4aq8myazzfffkl8bqcrx4jhhapnjf7qfs596w2p3"))
 549               (patches (search-patches "gcc-8-strmov-store-file-names.patch"
 550                                        "gcc-5.0-libvtv-runpath.patch"))))))
 551
 552 (define-public gcc-9
 553   (package
 554    (inherit gcc-8)
 555    (version "9.3.0")
 556    (source (origin
 557             (method url-fetch)
 558             (uri (string-append "mirror://gnu/gcc/gcc-"
 559                                 version "/gcc-" version ".tar.xz"))
 560             (sha256
 561              (base32
 562               "1la2yy27ziasyf0jvzk58y1i5b5bq2h176qil550bxhifs39gqbi"))
 563             (patches (search-patches "gcc-9-strmov-store-file-names.patch"
 564                                      "gcc-9-asan-fix-limits-include.patch"
 565                                      "gcc-5.0-libvtv-runpath.patch"))))))
 566
 567 (define-public gcc-10
 568   (package
 569    (inherit gcc-8)
 570    (version "10.1.0")
 571    (source (origin
 572             (method url-fetch)
 573             (uri (string-append "mirror://gnu/gcc/gcc-"
 574                                 version "/gcc-" version ".tar.xz"))
 575             (sha256
 576              (base32
 577               "18kyds3ss4j7in8shlsbmjafdhin400mq739d0dnyrabhhiqm2dn"))
 578             (patches (search-patches "gcc-9-strmov-store-file-names.patch"
 579                                      "gcc-5.0-libvtv-runpath.patch"))))))
 580
 581 ;; Note: When changing the default gcc version, update
 582 ;;       the gcc-toolchain-* definitions and the gfortran definition
 583 ;;       accordingly.
 584 (define-public gcc gcc-7)
 585
 586 (define-public (make-libstdc++ gcc)
 587   "Return a libstdc++ package based on GCC.  The primary use case is when
 588 using compilers other than GCC."
 589   (package
 590     (inherit gcc)
 591     (name "libstdc++")
 592     (arguments
 593      `(#:out-of-source? #t
 594        #:phases (alist-cons-before
 595                  'configure 'chdir
 596                  (lambda _
 597                    (chdir "libstdc++-v3")
 598                    #t)
 599                  %standard-phases)
 600        #:configure-flags `("--disable-libstdcxx-pch"
 601                            ,(string-append "--with-gxx-include-dir="
 602                                            (assoc-ref %outputs "out")
 603                                            "/include"))))
 604     (outputs '("out" "debug"))
 605     (inputs '())
 606     (native-inputs '())
 607     (propagated-inputs '())
 608     (synopsis "GNU C++ standard library")))
 609
 610 (define-public libstdc++-4.9
 611   (make-libstdc++ gcc-4.9))
 612
 613 (define (make-libiberty gcc)
 614   "Return a libiberty package based on GCC."
 615   (package
 616     (inherit gcc)
 617     (name "libiberty")
 618     (arguments
 619      `(#:out-of-source? #t
 620        #:phases
 621        (modify-phases %standard-phases
 622          (add-before 'configure 'chdir
 623            (lambda _
 624              (chdir "libiberty")
 625              #t))
 626          (replace 'install
 627            (lambda* (#:key outputs #:allow-other-keys)
 628              (let* ((out     (assoc-ref outputs "out"))
 629                     (lib     (string-append out "/lib/"))
 630                     (include (string-append out "/include/")))
 631                (install-file "libiberty.a" lib)
 632                (install-file "../include/libiberty.h" include))
 633              #t)))))
 634     (inputs '())
 635     (outputs '("out"))
 636     (native-inputs '())
 637     (propagated-inputs '())
 638     (properties '())
 639     (synopsis "Collection of subroutines used by various GNU programs")))
 640
 641 (define-public libiberty
 642   (make-libiberty gcc))
 643
 644 (define* (custom-gcc gcc name languages
 645                      #:optional
 646                      (search-paths (package-native-search-paths gcc))
 647                      #:key (separate-lib-output? #t))
 648   "Return a custom version of GCC that supports LANGUAGES.  Use SEARCH-PATHS
 649 as the 'native-search-paths' field."
 650   (package (inherit gcc)
 651     (name name)
 652     (outputs (if separate-lib-output?
 653                  (package-outputs gcc)
 654                  (delete "lib" (package-outputs gcc))))
 655     (native-search-paths search-paths)
 656     (properties (alist-delete 'hidden? (package-properties gcc)))
 657     (arguments
 658      (substitute-keyword-arguments (package-arguments gcc)
 659        ((#:modules modules %gnu-build-system-modules)
 660         `(,@modules
 661           (srfi srfi-1)
 662           (srfi srfi-26)
 663           (ice-9 regex)))
 664        ((#:configure-flags flags)
 665         `(cons (string-append "--enable-languages="
 666                               ,(string-join languages ","))
 667                (remove (cut string-match "--enable-languages.*" <>)
 668                        ,flags)))
 669        ((#:phases phases)
 670         `(modify-phases ,phases
 671            (add-after 'install 'remove-broken-or-conflicting-files
 672              (lambda* (#:key outputs #:allow-other-keys)
 673                (for-each delete-file
 674                          (find-files (string-append (assoc-ref outputs "out") "/bin")
 675                                      ".*(c\\+\\+|cpp|g\\+\\+|gcov|gcc|gcc-.*)"))
 676                #t))))))))
 677
 678 (define %generic-search-paths
 679   ;; This is the language-neutral search path for GCC.  Entries in $CPATH are
 680   ;; not considered "system headers", which means GCC can raise warnings for
 681   ;; issues in those headers.  'CPATH' is the only one that works for
 682   ;; front-ends not in the C family.
 683   (list (search-path-specification
 684          (variable "CPATH")
 685          (files '("include")))
 686         (search-path-specification
 687          (variable "LIBRARY_PATH")
 688          (files '("lib" "lib64")))))
 689
 690 (define-public gfortran-4.8
 691   (hidden-package
 692    (custom-gcc gcc-4.8 "gfortran" '("fortran")
 693                %generic-search-paths)))
 694
 695 (define-public gfortran-4.9
 696   (hidden-package
 697    (custom-gcc gcc-4.9 "gfortran" '("fortran")
 698                %generic-search-paths)))
 699
 700 (define-public gfortran-5
 701   (hidden-package
 702    (custom-gcc gcc-5 "gfortran" '("fortran")
 703                %generic-search-paths)))
 704
 705 (define-public gfortran-6
 706   (hidden-package
 707    (custom-gcc gcc-6 "gfortran" '("fortran")
 708                %generic-search-paths)))
 709
 710 (define-public gfortran-7
 711   (hidden-package
 712    (custom-gcc gcc-7 "gfortran" '("fortran")
 713                %generic-search-paths)))
 714
 715 (define-public gfortran-8
 716   (hidden-package
 717    (custom-gcc gcc-8 "gfortran" '("fortran")
 718                %generic-search-paths)))
 719
 720 (define-public gfortran-9
 721   (hidden-package
 722    (custom-gcc gcc-9 "gfortran" '("fortran")
 723                %generic-search-paths)))
 724
 725 (define-public gfortran
 726   ;; Note: Update this when GCC changes!  We cannot use
 727   ;; (custom-gcc gcc "fortran" …) because that would lead to a package object
 728   ;; that is not 'eq?' with GFORTRAN-5, and thus 'fold-packages' would
 729   ;; report two gfortran@5 that are in fact identical.
 730   gfortran-7)
 731
 732 (define-public libgccjit
 733   (package
 734     (inherit gcc-9)
 735     (name "libgccjit")
 736     (outputs (delete "lib" (package-outputs gcc)))
 737     (properties (alist-delete 'hidden? (package-properties gcc)))
 738     (arguments
 739      (substitute-keyword-arguments `(#:modules ((guix build gnu-build-system)
 740                                                 (guix build utils)
 741                                                 (ice-9 regex)
 742                                                 (srfi srfi-1)
 743                                                 (srfi srfi-26))
 744                                      ,@(package-arguments gcc))
 745        ((#:configure-flags flags)
 746         `(append `("--enable-host-shared"
 747                    ,(string-append "--enable-languages=jit"))
 748                  (remove (cut string-match "--enable-languages.*" <>)
 749                          ,flags)))
 750        ((#:phases phases)
 751         `(modify-phases ,phases
 752            (add-after 'install 'remove-broken-or-conflicting-files
 753              (lambda* (#:key outputs #:allow-other-keys)
 754                (for-each delete-file
 755                          (find-files (string-append (assoc-ref outputs "out") "/bin")
 756                                      ".*(c\\+\\+|cpp|g\\+\\+|gcov|gcc|gcc-.*)"))
 757                #t))))))))
 758
 759
 760 (define-public gccgo-4.9
 761   (custom-gcc gcc-4.9 "gccgo" '("go")
 762               %generic-search-paths
 763               ;; Suppress the separate "lib" output, because otherwise the
 764               ;; "lib" and "out" outputs would refer to each other, creating
 765               ;; a cyclic dependency.  <http://debbugs.gnu.org/18101>
 766               #:separate-lib-output? #f))
 767
 768 (define-public gcc-objc-4.8
 769   (custom-gcc gcc-4.8 "gcc-objc" '("objc")
 770               (list (search-path-specification
 771                      (variable "OBJC_INCLUDE_PATH")
 772                      (files '("include")))
 773                     (search-path-specification
 774                      (variable "LIBRARY_PATH")
 775                      (files '("lib" "lib64"))))))
 776
 777 (define-public gcc-objc-4.9
 778   (custom-gcc gcc-4.9 "gcc-objc" '("objc")
 779               (list (search-path-specification
 780                      (variable "OBJC_INCLUDE_PATH")
 781                      (files '("include")))
 782                     (search-path-specification
 783                      (variable "LIBRARY_PATH")
 784                      (files '("lib" "lib64"))))))
 785
 786 (define-public gcc-objc-5
 787   (custom-gcc gcc-5 "gcc-objc" '("objc")
 788               (list (search-path-specification
 789                      (variable "OBJC_INCLUDE_PATH")
 790                      (files '("include")))
 791                     (search-path-specification
 792                      (variable "LIBRARY_PATH")
 793                      (files '("lib" "lib64"))))))
 794
 795 (define-public gcc-objc-6
 796   (custom-gcc gcc-6 "gcc-objc" '("objc")
 797               (list (search-path-specification
 798                      (variable "OBJC_INCLUDE_PATH")
 799                      (files '("include")))
 800                     (search-path-specification
 801                      (variable "LIBRARY_PATH")
 802                      (files '("lib" "lib64"))))))
 803
 804 (define-public gcc-objc-7
 805   (custom-gcc gcc-7 "gcc-objc" '("objc")
 806               (list (search-path-specification
 807                      (variable "OBJC_INCLUDE_PATH")
 808                      (files '("include")))
 809                     (search-path-specification
 810                      (variable "LIBRARY_PATH")
 811                      (files '("lib" "lib64"))))))
 812
 813 (define-public gcc-objc-8
 814   (custom-gcc gcc-8 "gcc-objc" '("objc")
 815               (list (search-path-specification
 816                      (variable "OBJC_INCLUDE_PATH")
 817                      (files '("include")))
 818                     (search-path-specification
 819                      (variable "LIBRARY_PATH")
 820                      (files '("lib" "lib64"))))))
 821
 822 (define-public gcc-objc gcc-objc-7)
 823
 824 (define-public gcc-objc++-4.8
 825   (custom-gcc gcc-4.8 "gcc-objc++" '("obj-c++")
 826               (list (search-path-specification
 827                      (variable "OBJCPLUS_INCLUDE_PATH")
 828                      (files '("include")))
 829                     (search-path-specification
 830                      (variable "LIBRARY_PATH")
 831                      (files '("lib" "lib64"))))))
 832
 833 (define-public gcc-objc++-4.9
 834   (custom-gcc gcc-4.9 "gcc-objc++" '("obj-c++")
 835               (list (search-path-specification
 836                      (variable "OBJCPLUS_INCLUDE_PATH")
 837                      (files '("include")))
 838                     (search-path-specification
 839                      (variable "LIBRARY_PATH")
 840                      (files '("lib" "lib64"))))))
 841
 842 (define-public gcc-objc++-5
 843   (custom-gcc gcc-5 "gcc-objc++" '("obj-c++")
 844               (list (search-path-specification
 845                      (variable "OBJCPLUS_INCLUDE_PATH")
 846                      (files '("include")))
 847                     (search-path-specification
 848                      (variable "LIBRARY_PATH")
 849                      (files '("lib" "lib64"))))))
 850
 851 (define-public gcc-objc++-6
 852   (custom-gcc gcc-6 "gcc-objc++" '("obj-c++")
 853               (list (search-path-specification
 854                      (variable "OBJCPLUS_INCLUDE_PATH")
 855                      (files '("include")))
 856                     (search-path-specification
 857                      (variable "LIBRARY_PATH")
 858                      (files '("lib" "lib64"))))))
 859
 860 (define-public gcc-objc++-7
 861   (custom-gcc gcc-7 "gcc-objc++" '("obj-c++")
 862               (list (search-path-specification
 863                      (variable "OBJCPLUS_INCLUDE_PATH")
 864                      (files '("include")))
 865                     (search-path-specification
 866                      (variable "LIBRARY_PATH")
 867                      (files '("lib" "lib64"))))))
 868
 869 (define-public gcc-objc++-8
 870   (custom-gcc gcc-8 "gcc-objc++" '("obj-c++")
 871               (list (search-path-specification
 872                      (variable "OBJCPLUS_INCLUDE_PATH")
 873                      (files '("include")))
 874                     (search-path-specification
 875                      (variable "LIBRARY_PATH")
 876                      (files '("lib" "lib64"))))))
 877
 878 (define-public gcc-objc++ gcc-objc++-7)
 879
 880 (define (make-libstdc++-doc gcc)
 881   "Return a package with the libstdc++ documentation for GCC."
 882   (package
 883     (inherit gcc)
 884     (name "libstdc++-doc")
 885     (version (package-version gcc))
 886     (synopsis "GNU libstdc++ documentation")
 887     (outputs '("out"))
 888     (native-inputs `(("doxygen" ,doxygen)
 889                      ("texinfo" ,texinfo)
 890                      ("libxml2" ,libxml2)
 891                      ("libxslt" ,libxslt)
 892                      ("docbook-xml" ,docbook-xml)
 893                      ("docbook-xsl" ,docbook-xsl)
 894                      ("graphviz" ,graphviz))) ;for 'dot', invoked by 'doxygen'
 895     (inputs '())
 896     (propagated-inputs '())
 897     (arguments
 898      '(#:out-of-source? #t
 899        #:tests? #f                                ;it's just documentation
 900        #:phases (modify-phases %standard-phases
 901                   (add-before 'configure 'chdir
 902                               (lambda _
 903                                 (chdir "libstdc++-v3")
 904                                 #t))
 905                   (add-before 'configure 'set-xsl-directory
 906                               (lambda* (#:key inputs #:allow-other-keys)
 907                                 (let ((docbook (assoc-ref inputs "docbook-xsl")))
 908                                   (substitute* (find-files "doc"
 909                                                            "^Makefile\\.in$")
 910                                     (("@XSL_STYLE_DIR@")
 911                                      (string-append
 912                                       docbook "/xml/xsl/"
 913                                       (strip-store-file-name docbook))))
 914                                   #t)))
 915                   (replace 'build
 916                            (lambda _
 917                              ;; XXX: There's also a 'doc-info' target, but it
 918                              ;; relies on docbook2X, which itself relies on
 919                              ;; DocBook 4.1.2, which is not really usable
 920                              ;; (lacks a catalog.xml.)
 921                              (invoke "make"
 922                                      "doc-html"
 923                                      "doc-man")))
 924                   (replace 'install
 925                            (lambda* (#:key outputs #:allow-other-keys)
 926                              (let ((out (assoc-ref outputs "out")))
 927                                (invoke "make"
 928                                        "doc-install-html"
 929                                        "doc-install-man")))))))
 930     (properties (alist-delete 'hidden? (package-properties gcc)))))
 931
 932 (define-public libstdc++-doc-5
 933   (make-libstdc++-doc gcc-5))
 934
 935 (define-public libstdc++-doc-9
 936   (make-libstdc++-doc gcc-9))
 937
 938 (define-public isl
 939   (package
 940     (name "isl")
 941     (version "0.22.1")
 942     (source (origin
 943              (method url-fetch)
 944              (uri (list (string-append
 945                          "http://isl.gforge.inria.fr/isl-"
 946                          version
 947                          ".tar.bz2")
 948                         (string-append %gcc-infrastructure
 949                                        name "-" version ".tar.bz2")))
 950              (sha256
 951               (base32
 952                "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
 953     (build-system gnu-build-system)
 954     (outputs '("out" "static"))
 955     (arguments
 956      '(#:phases (modify-phases %standard-phases
 957                   (add-after 'install 'move-static-library
 958                     (lambda* (#:key outputs #:allow-other-keys)
 959                       (let* ((out (assoc-ref outputs "out"))
 960                              (static (assoc-ref outputs "static"))
 961                              (source (string-append out "/lib/libisl.a"))
 962                              (target (string-append static "/lib/libisl.a")))
 963                         (mkdir-p (dirname target))
 964                         (link source target)
 965                         (delete-file source)
 966
 967                         ;; Remove reference to libisl.a from the .la file so
 968                         ;; libtool looks for it in the usual locations.
 969                         (substitute* (string-append out "/lib/libisl.la")
 970                           (("^old_library=.*")
 971                            "old_library=''\n"))
 972                         #t))))))
 973     (inputs `(("gmp" ,gmp)))
 974     (home-page "http://isl.gforge.inria.fr/")
 975     (synopsis
 976      "Manipulating sets and relations of integer points \
 977 bounded by linear constraints")
 978     (description
 979      "isl is a library for manipulating sets and relations of integer points
 980 bounded by linear constraints.  Supported operations on sets include
 981 intersection, union, set difference, emptiness check, convex hull, (integer)
 982 affine hull, integer projection, computing the lexicographic minimum using
 983 parametric integer programming, coalescing and parametric vertex
 984 enumeration.  It also includes an ILP solver based on generalized basis
 985 reduction, transitive closures on maps (which may encode infinite graphs),
 986 dependence analysis and bounds on piecewise step-polynomials.")
 987     (license lgpl2.1+)))
 988
 989 (define-public isl-0.18
 990   (package
 991     (inherit isl)
 992     (version "0.18")
 993     (source (origin
 994               (method url-fetch)
 995               (uri (list (string-append "http://isl.gforge.inria.fr/isl-"
 996                                         version ".tar.bz2")
 997                          (string-append %gcc-infrastructure
 998                                         "isl-" version ".tar.bz2")))
 999               (sha256
1000                (base32
1001                 "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))))
1002
1003 (define-public isl-0.11
1004   (package
1005     (inherit isl)
1006     (name "isl")
1007     (version "0.11.1")
1008     (source (origin
1009              (method url-fetch)
1010              (uri (list (string-append
1011                          "http://isl.gforge.inria.fr/isl-"
1012                          version
1013                          ".tar.bz2")
1014                         (string-append %gcc-infrastructure
1015                                        name "-" version ".tar.bz2")))
1016              (sha256
1017               (base32
1018                "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))
1019              (patches (search-patches "isl-0.11.1-aarch64-support.patch"))))))
1020
1021 (define-public cloog
1022   (package
1023     (name "cloog")
1024     (version "0.18.0")
1025     (source
1026      (origin
1027       (method url-fetch)
1028       (uri (list (string-append
1029                   "http://www.bastoul.net/cloog/pages/download/count.php3?url=cloog-"
1030                   version
1031                   ".tar.gz")
1032                  (string-append %gcc-infrastructure
1033                                 name "-" version ".tar.gz")))
1034       (sha256
1035        (base32
1036         "0a12rwfwp22zd0nlld0xyql11cj390rrq1prw35yjsw8wzfshjhw"))
1037       (file-name (string-append name "-" version ".tar.gz"))))
1038     (build-system gnu-build-system)
1039     (inputs `(("gmp" ,gmp)
1040               ("isl" ,isl-0.11)))
1041     (arguments '(#:configure-flags '("--with-isl=system")))
1042     (home-page "http://www.cloog.org/")
1043     (synopsis "Library to generate code for scanning Z-polyhedra")
1044     (description
1045      "CLooG is a free software library to generate code for scanning
1046 Z-polyhedra.  That is, it finds a code (e.g., in C, FORTRAN...) that
1047 reaches each integral point of one or more parameterized polyhedra.
1048 CLooG has been originally written to solve the code generation problem
1049 for optimizing compilers based on the polytope model.  Nevertheless it
1050 is used now in various area e.g., to build control automata for
1051 high-level synthesis or to find the best polynomial approximation of a
1052 function.  CLooG may help in any situation where scanning polyhedra
1053 matters.  While the user has full control on generated code quality,
1054 CLooG is designed to avoid control overhead and to produce a very
1055 effective code.")
1056     (license gpl2+)))
1057
1058 (define-public gnu-c-manual
1059   (package
1060     (name "gnu-c-manual")
1061     (version "0.2.5")
1062     (source (origin
1063               (method url-fetch)
1064               (uri (string-append "mirror://gnu/gnu-c-manual/gnu-c-manual-"
1065                                   version ".tar.gz"))
1066               (sha256
1067                (base32
1068                 "1sfsj9256w18qzylgag2h5h377aq8in8929svblfnj9svfriqcys"))))
1069     (build-system gnu-build-system)
1070     (native-inputs `(("texinfo" ,texinfo)))
1071     (arguments
1072      '(#:phases (modify-phases %standard-phases
1073                   (delete 'configure)
1074                   (delete 'check)
1075                   (replace 'build
1076                            (lambda _
1077                              (invoke "make"
1078                                      "gnu-c-manual.info"
1079                                      "gnu-c-manual.html")))
1080                   (replace 'install
1081                            (lambda* (#:key outputs #:allow-other-keys)
1082                              (let* ((out (assoc-ref outputs "out"))
1083                                     (info (string-append out "/share/info"))
1084                                     (html (string-append
1085                                            out "/share/doc/gnu-c-manual")))
1086                                (mkdir-p info)
1087                                (mkdir-p html)
1088
1089                                (for-each (lambda (file)
1090                                            (copy-file file
1091                                                       (string-append info "/"
1092                                                                      file)))
1093                                          (find-files "." "\\.info(-[0-9])?$"))
1094                                (for-each (lambda (file)
1095                                            (copy-file file
1096                                                       (string-append html "/"
1097                                                                      file)))
1098                                          (find-files "." "\\.html$"))
1099                                #t))))))
1100     (synopsis "Reference manual for the C programming language")
1101     (description
1102      "This is a reference manual for the C programming language, as
1103 implemented by the GNU C Compiler (gcc).  As a reference, it is not intended
1104 to be a tutorial of the language.  Rather, it outlines all of the constructs
1105 of the language.  Library functions are not included.")
1106     (home-page "https://www.gnu.org/software/gnu-c-manual/")
1107     (license fdl1.3+)))