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 ;; Note: When changing the default gcc version, update
 568 ;;       the gcc-toolchain-* definitions and the gfortran definition
 569 ;;       accordingly.
 570 (define-public gcc gcc-7)
 571
 572 (define-public (make-libstdc++ gcc)
 573   "Return a libstdc++ package based on GCC.  The primary use case is when
 574 using compilers other than GCC."
 575   (package
 576     (inherit gcc)
 577     (name "libstdc++")
 578     (arguments
 579      `(#:out-of-source? #t
 580        #:phases (alist-cons-before
 581                  'configure 'chdir
 582                  (lambda _
 583                    (chdir "libstdc++-v3")
 584                    #t)
 585                  %standard-phases)
 586        #:configure-flags `("--disable-libstdcxx-pch"
 587                            ,(string-append "--with-gxx-include-dir="
 588                                            (assoc-ref %outputs "out")
 589                                            "/include"))))
 590     (outputs '("out" "debug"))
 591     (inputs '())
 592     (native-inputs '())
 593     (propagated-inputs '())
 594     (synopsis "GNU C++ standard library")))
 595
 596 (define-public libstdc++-4.9
 597   (make-libstdc++ gcc-4.9))
 598
 599 (define (make-libiberty gcc)
 600   "Return a libiberty package based on GCC."
 601   (package
 602     (inherit gcc)
 603     (name "libiberty")
 604     (arguments
 605      `(#:out-of-source? #t
 606        #:phases
 607        (modify-phases %standard-phases
 608          (add-before 'configure 'chdir
 609            (lambda _
 610              (chdir "libiberty")
 611              #t))
 612          (replace 'install
 613            (lambda* (#:key outputs #:allow-other-keys)
 614              (let* ((out     (assoc-ref outputs "out"))
 615                     (lib     (string-append out "/lib/"))
 616                     (include (string-append out "/include/")))
 617                (install-file "libiberty.a" lib)
 618                (install-file "../include/libiberty.h" include))
 619              #t)))))
 620     (inputs '())
 621     (outputs '("out"))
 622     (native-inputs '())
 623     (propagated-inputs '())
 624     (properties '())
 625     (synopsis "Collection of subroutines used by various GNU programs")))
 626
 627 (define-public libiberty
 628   (make-libiberty gcc))
 629
 630 (define* (custom-gcc gcc name languages
 631                      #:optional
 632                      (search-paths (package-native-search-paths gcc))
 633                      #:key (separate-lib-output? #t))
 634   "Return a custom version of GCC that supports LANGUAGES.  Use SEARCH-PATHS
 635 as the 'native-search-paths' field."
 636   (package (inherit gcc)
 637     (name name)
 638     (outputs (if separate-lib-output?
 639                  (package-outputs gcc)
 640                  (delete "lib" (package-outputs gcc))))
 641     (native-search-paths search-paths)
 642     (properties (alist-delete 'hidden? (package-properties gcc)))
 643     (arguments
 644      (substitute-keyword-arguments (package-arguments gcc)
 645        ((#:modules modules %gnu-build-system-modules)
 646         `(,@modules
 647           (srfi srfi-1)
 648           (srfi srfi-26)
 649           (ice-9 regex)))
 650        ((#:configure-flags flags)
 651         `(cons (string-append "--enable-languages="
 652                               ,(string-join languages ","))
 653                (remove (cut string-match "--enable-languages.*" <>)
 654                        ,flags)))
 655        ((#:phases phases)
 656         `(modify-phases ,phases
 657            (add-after 'install 'remove-broken-or-conflicting-files
 658              (lambda* (#:key outputs #:allow-other-keys)
 659                (for-each delete-file
 660                          (find-files (string-append (assoc-ref outputs "out") "/bin")
 661                                      ".*(c\\+\\+|cpp|g\\+\\+|gcov|gcc|gcc-.*)"))
 662                #t))))))))
 663
 664 (define %generic-search-paths
 665   ;; This is the language-neutral search path for GCC.  Entries in $CPATH are
 666   ;; not considered "system headers", which means GCC can raise warnings for
 667   ;; issues in those headers.  'CPATH' is the only one that works for
 668   ;; front-ends not in the C family.
 669   (list (search-path-specification
 670          (variable "CPATH")
 671          (files '("include")))
 672         (search-path-specification
 673          (variable "LIBRARY_PATH")
 674          (files '("lib" "lib64")))))
 675
 676 (define-public gfortran-4.8
 677   (hidden-package
 678    (custom-gcc gcc-4.8 "gfortran" '("fortran")
 679                %generic-search-paths)))
 680
 681 (define-public gfortran-4.9
 682   (hidden-package
 683    (custom-gcc gcc-4.9 "gfortran" '("fortran")
 684                %generic-search-paths)))
 685
 686 (define-public gfortran-5
 687   (hidden-package
 688    (custom-gcc gcc-5 "gfortran" '("fortran")
 689                %generic-search-paths)))
 690
 691 (define-public gfortran-6
 692   (hidden-package
 693    (custom-gcc gcc-6 "gfortran" '("fortran")
 694                %generic-search-paths)))
 695
 696 (define-public gfortran-7
 697   (hidden-package
 698    (custom-gcc gcc-7 "gfortran" '("fortran")
 699                %generic-search-paths)))
 700
 701 (define-public gfortran-8
 702   (hidden-package
 703    (custom-gcc gcc-8 "gfortran" '("fortran")
 704                %generic-search-paths)))
 705
 706 (define-public gfortran-9
 707   (hidden-package
 708    (custom-gcc gcc-9 "gfortran" '("fortran")
 709                %generic-search-paths)))
 710
 711 (define-public gfortran
 712   ;; Note: Update this when GCC changes!  We cannot use
 713   ;; (custom-gcc gcc "fortran" …) because that would lead to a package object
 714   ;; that is not 'eq?' with GFORTRAN-5, and thus 'fold-packages' would
 715   ;; report two gfortran@5 that are in fact identical.
 716   gfortran-7)
 717
 718 (define-public libgccjit
 719   (package
 720     (inherit gcc-9)
 721     (name "libgccjit")
 722     (outputs (delete "lib" (package-outputs gcc)))
 723     (properties (alist-delete 'hidden? (package-properties gcc)))
 724     (arguments
 725      (substitute-keyword-arguments `(#:modules ((guix build gnu-build-system)
 726                                                 (guix build utils)
 727                                                 (ice-9 regex)
 728                                                 (srfi srfi-1)
 729                                                 (srfi srfi-26))
 730                                      ,@(package-arguments gcc))
 731        ((#:configure-flags flags)
 732         `(append `("--enable-host-shared"
 733                    ,(string-append "--enable-languages=jit"))
 734                  (remove (cut string-match "--enable-languages.*" <>)
 735                          ,flags)))
 736        ((#:phases phases)
 737         `(modify-phases ,phases
 738            (add-after 'install 'remove-broken-or-conflicting-files
 739              (lambda* (#:key outputs #:allow-other-keys)
 740                (for-each delete-file
 741                          (find-files (string-append (assoc-ref outputs "out") "/bin")
 742                                      ".*(c\\+\\+|cpp|g\\+\\+|gcov|gcc|gcc-.*)"))
 743                #t))))))))
 744
 745
 746 (define-public gccgo-4.9
 747   (custom-gcc gcc-4.9 "gccgo" '("go")
 748               %generic-search-paths
 749               ;; Suppress the separate "lib" output, because otherwise the
 750               ;; "lib" and "out" outputs would refer to each other, creating
 751               ;; a cyclic dependency.  <http://debbugs.gnu.org/18101>
 752               #:separate-lib-output? #f))
 753
 754 (define-public gcc-objc-4.8
 755   (custom-gcc gcc-4.8 "gcc-objc" '("objc")
 756               (list (search-path-specification
 757                      (variable "OBJC_INCLUDE_PATH")
 758                      (files '("include")))
 759                     (search-path-specification
 760                      (variable "LIBRARY_PATH")
 761                      (files '("lib" "lib64"))))))
 762
 763 (define-public gcc-objc-4.9
 764   (custom-gcc gcc-4.9 "gcc-objc" '("objc")
 765               (list (search-path-specification
 766                      (variable "OBJC_INCLUDE_PATH")
 767                      (files '("include")))
 768                     (search-path-specification
 769                      (variable "LIBRARY_PATH")
 770                      (files '("lib" "lib64"))))))
 771
 772 (define-public gcc-objc-5
 773   (custom-gcc gcc-5 "gcc-objc" '("objc")
 774               (list (search-path-specification
 775                      (variable "OBJC_INCLUDE_PATH")
 776                      (files '("include")))
 777                     (search-path-specification
 778                      (variable "LIBRARY_PATH")
 779                      (files '("lib" "lib64"))))))
 780
 781 (define-public gcc-objc-6
 782   (custom-gcc gcc-6 "gcc-objc" '("objc")
 783               (list (search-path-specification
 784                      (variable "OBJC_INCLUDE_PATH")
 785                      (files '("include")))
 786                     (search-path-specification
 787                      (variable "LIBRARY_PATH")
 788                      (files '("lib" "lib64"))))))
 789
 790 (define-public gcc-objc-7
 791   (custom-gcc gcc-7 "gcc-objc" '("objc")
 792               (list (search-path-specification
 793                      (variable "OBJC_INCLUDE_PATH")
 794                      (files '("include")))
 795                     (search-path-specification
 796                      (variable "LIBRARY_PATH")
 797                      (files '("lib" "lib64"))))))
 798
 799 (define-public gcc-objc-8
 800   (custom-gcc gcc-8 "gcc-objc" '("objc")
 801               (list (search-path-specification
 802                      (variable "OBJC_INCLUDE_PATH")
 803                      (files '("include")))
 804                     (search-path-specification
 805                      (variable "LIBRARY_PATH")
 806                      (files '("lib" "lib64"))))))
 807
 808 (define-public gcc-objc gcc-objc-7)
 809
 810 (define-public gcc-objc++-4.8
 811   (custom-gcc gcc-4.8 "gcc-objc++" '("obj-c++")
 812               (list (search-path-specification
 813                      (variable "OBJCPLUS_INCLUDE_PATH")
 814                      (files '("include")))
 815                     (search-path-specification
 816                      (variable "LIBRARY_PATH")
 817                      (files '("lib" "lib64"))))))
 818
 819 (define-public gcc-objc++-4.9
 820   (custom-gcc gcc-4.9 "gcc-objc++" '("obj-c++")
 821               (list (search-path-specification
 822                      (variable "OBJCPLUS_INCLUDE_PATH")
 823                      (files '("include")))
 824                     (search-path-specification
 825                      (variable "LIBRARY_PATH")
 826                      (files '("lib" "lib64"))))))
 827
 828 (define-public gcc-objc++-5
 829   (custom-gcc gcc-5 "gcc-objc++" '("obj-c++")
 830               (list (search-path-specification
 831                      (variable "OBJCPLUS_INCLUDE_PATH")
 832                      (files '("include")))
 833                     (search-path-specification
 834                      (variable "LIBRARY_PATH")
 835                      (files '("lib" "lib64"))))))
 836
 837 (define-public gcc-objc++-6
 838   (custom-gcc gcc-6 "gcc-objc++" '("obj-c++")
 839               (list (search-path-specification
 840                      (variable "OBJCPLUS_INCLUDE_PATH")
 841                      (files '("include")))
 842                     (search-path-specification
 843                      (variable "LIBRARY_PATH")
 844                      (files '("lib" "lib64"))))))
 845
 846 (define-public gcc-objc++-7
 847   (custom-gcc gcc-7 "gcc-objc++" '("obj-c++")
 848               (list (search-path-specification
 849                      (variable "OBJCPLUS_INCLUDE_PATH")
 850                      (files '("include")))
 851                     (search-path-specification
 852                      (variable "LIBRARY_PATH")
 853                      (files '("lib" "lib64"))))))
 854
 855 (define-public gcc-objc++-8
 856   (custom-gcc gcc-8 "gcc-objc++" '("obj-c++")
 857               (list (search-path-specification
 858                      (variable "OBJCPLUS_INCLUDE_PATH")
 859                      (files '("include")))
 860                     (search-path-specification
 861                      (variable "LIBRARY_PATH")
 862                      (files '("lib" "lib64"))))))
 863
 864 (define-public gcc-objc++ gcc-objc++-7)
 865
 866 (define (make-libstdc++-doc gcc)
 867   "Return a package with the libstdc++ documentation for GCC."
 868   (package
 869     (inherit gcc)
 870     (name "libstdc++-doc")
 871     (version (package-version gcc))
 872     (synopsis "GNU libstdc++ documentation")
 873     (outputs '("out"))
 874     (native-inputs `(("doxygen" ,doxygen)
 875                      ("texinfo" ,texinfo)
 876                      ("libxml2" ,libxml2)
 877                      ("libxslt" ,libxslt)
 878                      ("docbook-xml" ,docbook-xml)
 879                      ("docbook-xsl" ,docbook-xsl)
 880                      ("graphviz" ,graphviz))) ;for 'dot', invoked by 'doxygen'
 881     (inputs '())
 882     (propagated-inputs '())
 883     (arguments
 884      '(#:out-of-source? #t
 885        #:tests? #f                                ;it's just documentation
 886        #:phases (modify-phases %standard-phases
 887                   (add-before 'configure 'chdir
 888                               (lambda _
 889                                 (chdir "libstdc++-v3")
 890                                 #t))
 891                   (add-before 'configure 'set-xsl-directory
 892                               (lambda* (#:key inputs #:allow-other-keys)
 893                                 (let ((docbook (assoc-ref inputs "docbook-xsl")))
 894                                   (substitute* (find-files "doc"
 895                                                            "^Makefile\\.in$")
 896                                     (("@XSL_STYLE_DIR@")
 897                                      (string-append
 898                                       docbook "/xml/xsl/"
 899                                       (strip-store-file-name docbook))))
 900                                   #t)))
 901                   (replace 'build
 902                            (lambda _
 903                              ;; XXX: There's also a 'doc-info' target, but it
 904                              ;; relies on docbook2X, which itself relies on
 905                              ;; DocBook 4.1.2, which is not really usable
 906                              ;; (lacks a catalog.xml.)
 907                              (invoke "make"
 908                                      "doc-html"
 909                                      "doc-man")))
 910                   (replace 'install
 911                            (lambda* (#:key outputs #:allow-other-keys)
 912                              (let ((out (assoc-ref outputs "out")))
 913                                (invoke "make"
 914                                        "doc-install-html"
 915                                        "doc-install-man")))))))
 916     (properties (alist-delete 'hidden? (package-properties gcc)))))
 917
 918 (define-public libstdc++-doc-5
 919   (make-libstdc++-doc gcc-5))
 920
 921 (define-public libstdc++-doc-9
 922   (make-libstdc++-doc gcc-9))
 923
 924 (define-public isl
 925   (package
 926     (name "isl")
 927     (version "0.22.1")
 928     (source (origin
 929              (method url-fetch)
 930              (uri (list (string-append
 931                          "http://isl.gforge.inria.fr/isl-"
 932                          version
 933                          ".tar.bz2")
 934                         (string-append %gcc-infrastructure
 935                                        name "-" version ".tar.bz2")))
 936              (sha256
 937               (base32
 938                "1kf54jib0nind1pvakblnfhimmwzm0y1llz8470ag0di5vwqwrhs"))))
 939     (build-system gnu-build-system)
 940     (outputs '("out" "static"))
 941     (arguments
 942      '(#:phases (modify-phases %standard-phases
 943                   (add-after 'install 'move-static-library
 944                     (lambda* (#:key outputs #:allow-other-keys)
 945                       (let* ((out (assoc-ref outputs "out"))
 946                              (static (assoc-ref outputs "static"))
 947                              (source (string-append out "/lib/libisl.a"))
 948                              (target (string-append static "/lib/libisl.a")))
 949                         (mkdir-p (dirname target))
 950                         (link source target)
 951                         (delete-file source)
 952
 953                         ;; Remove reference to libisl.a from the .la file so
 954                         ;; libtool looks for it in the usual locations.
 955                         (substitute* (string-append out "/lib/libisl.la")
 956                           (("^old_library=.*")
 957                            "old_library=''\n"))
 958                         #t))))))
 959     (inputs `(("gmp" ,gmp)))
 960     (home-page "http://isl.gforge.inria.fr/")
 961     (synopsis
 962      "Manipulating sets and relations of integer points \
 963 bounded by linear constraints")
 964     (description
 965      "isl is a library for manipulating sets and relations of integer points
 966 bounded by linear constraints.  Supported operations on sets include
 967 intersection, union, set difference, emptiness check, convex hull, (integer)
 968 affine hull, integer projection, computing the lexicographic minimum using
 969 parametric integer programming, coalescing and parametric vertex
 970 enumeration.  It also includes an ILP solver based on generalized basis
 971 reduction, transitive closures on maps (which may encode infinite graphs),
 972 dependence analysis and bounds on piecewise step-polynomials.")
 973     (license lgpl2.1+)))
 974
 975 (define-public isl-0.18
 976   (package
 977     (inherit isl)
 978     (version "0.18")
 979     (source (origin
 980               (method url-fetch)
 981               (uri (list (string-append "http://isl.gforge.inria.fr/isl-"
 982                                         version ".tar.bz2")
 983                          (string-append %gcc-infrastructure
 984                                         "isl-" version ".tar.bz2")))
 985               (sha256
 986                (base32
 987                 "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))))
 988
 989 (define-public isl-0.11
 990   (package
 991     (inherit isl)
 992     (name "isl")
 993     (version "0.11.1")
 994     (source (origin
 995              (method url-fetch)
 996              (uri (list (string-append
 997                          "http://isl.gforge.inria.fr/isl-"
 998                          version
 999                          ".tar.bz2")
1000                         (string-append %gcc-infrastructure
1001                                        name "-" version ".tar.bz2")))
1002              (sha256
1003               (base32
1004                "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))
1005              (patches (search-patches "isl-0.11.1-aarch64-support.patch"))))))
1006
1007 (define-public cloog
1008   (package
1009     (name "cloog")
1010     (version "0.18.0")
1011     (source
1012      (origin
1013       (method url-fetch)
1014       (uri (list (string-append
1015                   "http://www.bastoul.net/cloog/pages/download/count.php3?url=cloog-"
1016                   version
1017                   ".tar.gz")
1018                  (string-append %gcc-infrastructure
1019                                 name "-" version ".tar.gz")))
1020       (sha256
1021        (base32
1022         "0a12rwfwp22zd0nlld0xyql11cj390rrq1prw35yjsw8wzfshjhw"))
1023       (file-name (string-append name "-" version ".tar.gz"))))
1024     (build-system gnu-build-system)
1025     (inputs `(("gmp" ,gmp)
1026               ("isl" ,isl-0.11)))
1027     (arguments '(#:configure-flags '("--with-isl=system")))
1028     (home-page "http://www.cloog.org/")
1029     (synopsis "Library to generate code for scanning Z-polyhedra")
1030     (description
1031      "CLooG is a free software library to generate code for scanning
1032 Z-polyhedra.  That is, it finds a code (e.g., in C, FORTRAN...) that
1033 reaches each integral point of one or more parameterized polyhedra.
1034 CLooG has been originally written to solve the code generation problem
1035 for optimizing compilers based on the polytope model.  Nevertheless it
1036 is used now in various area e.g., to build control automata for
1037 high-level synthesis or to find the best polynomial approximation of a
1038 function.  CLooG may help in any situation where scanning polyhedra
1039 matters.  While the user has full control on generated code quality,
1040 CLooG is designed to avoid control overhead and to produce a very
1041 effective code.")
1042     (license gpl2+)))
1043
1044 (define-public gnu-c-manual
1045   (package
1046     (name "gnu-c-manual")
1047     (version "0.2.5")
1048     (source (origin
1049               (method url-fetch)
1050               (uri (string-append "mirror://gnu/gnu-c-manual/gnu-c-manual-"
1051                                   version ".tar.gz"))
1052               (sha256
1053                (base32
1054                 "1sfsj9256w18qzylgag2h5h377aq8in8929svblfnj9svfriqcys"))))
1055     (build-system gnu-build-system)
1056     (native-inputs `(("texinfo" ,texinfo)))
1057     (arguments
1058      '(#:phases (modify-phases %standard-phases
1059                   (delete 'configure)
1060                   (delete 'check)
1061                   (replace 'build
1062                            (lambda _
1063                              (invoke "make"
1064                                      "gnu-c-manual.info"
1065                                      "gnu-c-manual.html")))
1066                   (replace 'install
1067                            (lambda* (#:key outputs #:allow-other-keys)
1068                              (let* ((out (assoc-ref outputs "out"))
1069                                     (info (string-append out "/share/info"))
1070                                     (html (string-append
1071                                            out "/share/doc/gnu-c-manual")))
1072                                (mkdir-p info)
1073                                (mkdir-p html)
1074
1075                                (for-each (lambda (file)
1076                                            (copy-file file
1077                                                       (string-append info "/"
1078                                                                      file)))
1079                                          (find-files "." "\\.info(-[0-9])?$"))
1080                                (for-each (lambda (file)
1081                                            (copy-file file
1082                                                       (string-append html "/"
1083                                                                      file)))
1084                                          (find-files "." "\\.html$"))
1085                                #t))))))
1086     (synopsis "Reference manual for the C programming language")
1087     (description
1088      "This is a reference manual for the C programming language, as
1089 implemented by the GNU C Compiler (gcc).  As a reference, it is not intended
1090 to be a tutorial of the language.  Rather, it outlines all of the constructs
1091 of the language.  Library functions are not included.")
1092     (home-page "https://www.gnu.org/software/gnu-c-manual/")
1093     (license fdl1.3+)))