2013-03-27 15:13:25 +01:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2016-05-03 17:34:54 +02:00
|
|
|
;;; Copyright © 2012, 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
|
2015-01-02 04:53:55 +01:00
|
|
|
;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org>
|
2016-03-10 07:05:08 +01:00
|
|
|
;;; Copyright © 2014, 2015, 2016 Ricardo Wurmus <rekado@elephly.net>
|
2015-03-06 22:45:47 +01:00
|
|
|
;;; Copyright © 2015 Andreas Enge <andreas@enge.fr>
|
2015-12-14 06:26:36 +01:00
|
|
|
;;; Copyright © 2015 Efraim Flashner <efraim@flashner.co.il>
|
2013-03-27 15:13:25 +01:00
|
|
|
;;;
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
;;;
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
;;; your option) any later version.
|
|
|
|
;;;
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
;;;
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
(define-module (gnu packages gcc)
|
2013-04-20 17:47:59 +02:00
|
|
|
#:use-module ((guix licenses)
|
2015-07-19 22:27:37 +02:00
|
|
|
#:select (gpl3+ gpl2+ lgpl2.1+ lgpl2.0+ fdl1.3+))
|
2013-03-27 15:13:25 +01:00
|
|
|
#:use-module (gnu packages)
|
|
|
|
#:use-module (gnu packages bootstrap)
|
|
|
|
#:use-module (gnu packages compression)
|
|
|
|
#:use-module (gnu packages multiprecision)
|
2013-07-06 18:08:29 +02:00
|
|
|
#:use-module (gnu packages texinfo)
|
2015-10-22 13:02:37 +02:00
|
|
|
#:use-module (gnu packages dejagnu)
|
2015-07-12 23:09:44 +02:00
|
|
|
#:use-module (gnu packages doxygen)
|
|
|
|
#:use-module (gnu packages xml)
|
|
|
|
#:use-module (gnu packages docbook)
|
|
|
|
#:use-module (gnu packages graphviz)
|
2013-12-15 23:27:56 +01:00
|
|
|
#:use-module (gnu packages elf)
|
2015-04-20 15:50:59 +02:00
|
|
|
#:use-module (gnu packages perl)
|
2013-03-27 15:13:25 +01:00
|
|
|
#:use-module (guix packages)
|
|
|
|
#:use-module (guix download)
|
2013-06-26 23:02:49 +02:00
|
|
|
#:use-module (guix build-system gnu)
|
2014-12-23 12:31:50 +01:00
|
|
|
#:use-module (guix build-system trivial)
|
2013-11-01 21:34:24 +01:00
|
|
|
#:use-module (guix utils)
|
2013-06-26 23:02:49 +02:00
|
|
|
#:use-module (ice-9 regex))
|
2013-03-27 15:13:25 +01:00
|
|
|
|
2013-03-27 15:37:27 +01:00
|
|
|
(define %gcc-infrastructure
|
|
|
|
;; Base URL for GCC's infrastructure.
|
|
|
|
"ftp://gcc.gnu.org/pub/gcc/infrastructure/")
|
|
|
|
|
2015-01-07 16:00:44 +01:00
|
|
|
(define (gcc-configure-flags-for-triplet target)
|
2013-06-26 23:02:49 +02:00
|
|
|
"Return a list of additional GCC `configure' flags for TARGET, a GNU triplet.
|
|
|
|
|
|
|
|
The purpose of this procedure is to translate extended GNU triplets---e.g.,
|
|
|
|
where the OS part is overloaded to denote a specific ABI---into GCC
|
|
|
|
`configure' options. We take extended GNU triplets that glibc recognizes."
|
|
|
|
(cond ((string-match "^mips64el.*gnuabin?64$" target)
|
|
|
|
;; Triplets recognized by glibc as denoting the N64 ABI; see
|
|
|
|
;; ports/sysdeps/mips/preconfigure.
|
|
|
|
'("--with-abi=64"))
|
2015-01-07 21:55:23 +01:00
|
|
|
|
|
|
|
((string-match "^arm.*-gnueabihf$" target)
|
|
|
|
'("--with-arch=armv7-a"
|
|
|
|
"--with-float=hard"
|
|
|
|
"--with-mode=thumb"
|
2015-07-10 20:51:04 +02:00
|
|
|
"--with-fpu=neon"))
|
2015-01-07 21:55:23 +01:00
|
|
|
|
2013-06-26 23:02:49 +02:00
|
|
|
(else
|
2015-01-07 21:55:23 +01:00
|
|
|
;; TODO: Add `arm.*-gnueabi', etc.
|
2013-06-26 23:02:49 +02:00
|
|
|
'())))
|
|
|
|
|
2013-03-27 15:13:25 +01:00
|
|
|
(define-public gcc-4.7
|
2015-06-09 21:51:18 +02:00
|
|
|
(let* ((stripped? #t) ;whether to strip the compiler, not the libraries
|
2013-06-26 16:51:39 +02:00
|
|
|
(maybe-target-tools
|
|
|
|
(lambda ()
|
|
|
|
;; Return the `_FOR_TARGET' variables that are needed when
|
|
|
|
;; cross-compiling GCC.
|
|
|
|
(let ((target (%current-target-system)))
|
|
|
|
(if target
|
|
|
|
(map (lambda (var tool)
|
|
|
|
(string-append (string-append var "_FOR_TARGET")
|
|
|
|
"=" target "-" tool))
|
|
|
|
'("CC" "CXX" "LD" "AR" "NM" "RANLIB" "STRIP")
|
|
|
|
'("gcc" "g++" "ld" "ar" "nm" "ranlib" "strip"))
|
|
|
|
'()))))
|
2015-04-02 10:26:15 +02:00
|
|
|
(libdir
|
|
|
|
(let ((base '(or (assoc-ref outputs "lib")
|
|
|
|
(assoc-ref outputs "out"))))
|
|
|
|
(lambda ()
|
|
|
|
;; Return the directory that contains lib/libgcc_s.so et al.
|
|
|
|
(if (%current-target-system)
|
|
|
|
`(string-append ,base "/" ,(%current-target-system))
|
|
|
|
base))))
|
2013-06-26 16:51:39 +02:00
|
|
|
(configure-flags
|
|
|
|
(lambda ()
|
|
|
|
;; This is terrible. Since we have two levels of quasiquotation,
|
|
|
|
;; we have to do this convoluted thing just so we can insert the
|
|
|
|
;; contents of (maybe-target-tools).
|
|
|
|
(list 'quasiquote
|
|
|
|
(append
|
|
|
|
'("--enable-plugin"
|
|
|
|
"--enable-languages=c,c++"
|
|
|
|
"--disable-multilib"
|
2015-12-11 23:45:29 +01:00
|
|
|
"--with-system-zlib"
|
2013-06-26 16:51:39 +02:00
|
|
|
|
2013-11-15 00:10:10 +01:00
|
|
|
;; No pre-compiled libstdc++ headers, to save space.
|
|
|
|
"--disable-libstdcxx-pch"
|
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
"--with-local-prefix=/no-gcc-local-prefix"
|
|
|
|
|
2014-06-09 11:58:43 +02:00
|
|
|
;; With a separate "lib" output, the build system
|
|
|
|
;; incorrectly guesses GPLUSPLUS_INCLUDE_DIR, so force
|
|
|
|
;; it. (Don't use a versioned sub-directory, that's
|
|
|
|
;; unnecessary.)
|
|
|
|
,(string-append "--with-gxx-include-dir="
|
|
|
|
(assoc-ref %outputs "out")
|
|
|
|
"/include/c++")
|
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
,(let ((libc (assoc-ref %build-inputs "libc")))
|
|
|
|
(if libc
|
|
|
|
(string-append "--with-native-system-header-dir=" libc
|
|
|
|
"/include")
|
|
|
|
"--without-headers")))
|
|
|
|
|
2015-01-07 16:00:44 +01:00
|
|
|
;; Pass the right options for the target triplet.
|
|
|
|
(let ((triplet
|
|
|
|
(or (%current-target-system)
|
|
|
|
(nix-system->gnu-triplet (%current-system)))))
|
|
|
|
(gcc-configure-flags-for-triplet triplet))
|
2013-06-26 23:02:49 +02:00
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
(maybe-target-tools))))))
|
2013-03-27 15:13:25 +01:00
|
|
|
(package
|
2013-06-26 16:51:39 +02:00
|
|
|
(name "gcc")
|
2014-06-14 22:21:29 +02:00
|
|
|
(version "4.7.4")
|
2013-06-26 16:51:39 +02:00
|
|
|
(source (origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gcc/gcc-"
|
|
|
|
version "/gcc-" version ".tar.bz2"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2014-06-14 22:21:29 +02:00
|
|
|
"10k2k71kxgay283ylbbhhs51cl55zn2q38vj5pk4k950qdnirrlj"))))
|
2013-06-26 16:51:39 +02:00
|
|
|
(build-system gnu-build-system)
|
2014-06-09 11:58:43 +02:00
|
|
|
|
|
|
|
;; Separate out the run-time support libraries because all the
|
|
|
|
;; dynamic-linked objects depend on it.
|
2015-06-09 21:51:18 +02:00
|
|
|
(outputs '("out" ;commands, etc. (60+ MiB)
|
|
|
|
"lib" ;libgcc_s, libgomp, etc. (15+ MiB)
|
|
|
|
"debug")) ;debug symbols of run-time libraries
|
2014-06-09 11:58:43 +02:00
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
(inputs `(("gmp" ,gmp)
|
|
|
|
("mpfr" ,mpfr)
|
|
|
|
("mpc" ,mpc)
|
|
|
|
("isl" ,isl)
|
|
|
|
("cloog" ,cloog)
|
|
|
|
("libelf" ,libelf)
|
|
|
|
("zlib" ,zlib)))
|
2013-07-06 18:08:29 +02:00
|
|
|
|
|
|
|
;; GCC is one of the few packages that doesn't ship .info files.
|
|
|
|
(native-inputs `(("texinfo" ,texinfo)))
|
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
(arguments
|
|
|
|
`(#:out-of-source? #t
|
|
|
|
#:configure-flags ,(configure-flags)
|
|
|
|
#:make-flags
|
2014-06-14 16:04:30 +02:00
|
|
|
;; None of the flags below are needed when doing a Canadian cross.
|
|
|
|
;; TODO: Simplify this.
|
|
|
|
,(if (%current-target-system)
|
|
|
|
(if stripped?
|
|
|
|
''("CFLAGS=-g0 -O2")
|
|
|
|
''())
|
|
|
|
`(let* ((libc (assoc-ref %build-inputs "libc"))
|
|
|
|
(libc-native (or (assoc-ref %build-inputs "libc-native")
|
|
|
|
libc)))
|
|
|
|
`(,@(if libc
|
|
|
|
(list (string-append "LDFLAGS_FOR_TARGET="
|
|
|
|
"-B" libc "/lib "
|
|
|
|
"-Wl,-dynamic-linker "
|
|
|
|
"-Wl," libc
|
|
|
|
,(glibc-dynamic-linker)))
|
|
|
|
'())
|
|
|
|
|
|
|
|
;; Native programs like 'genhooks' also need that right.
|
|
|
|
,(string-append "LDFLAGS="
|
|
|
|
"-Wl,-rpath=" libc-native "/lib "
|
|
|
|
"-Wl,-dynamic-linker "
|
|
|
|
"-Wl," libc-native ,(glibc-dynamic-linker))
|
|
|
|
,(string-append "BOOT_CFLAGS=-O2 "
|
|
|
|
,(if stripped? "-g0" "-g")))))
|
2013-06-26 16:51:39 +02:00
|
|
|
|
|
|
|
#:tests? #f
|
2015-04-07 21:24:37 +02:00
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
#:phases
|
|
|
|
(alist-cons-before
|
|
|
|
'configure 'pre-configure
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
2015-04-02 10:26:15 +02:00
|
|
|
(let ((libdir ,(libdir))
|
2014-06-09 11:58:43 +02:00
|
|
|
(libc (assoc-ref inputs "libc")))
|
2013-06-26 16:51:39 +02:00
|
|
|
(when libc
|
|
|
|
;; The following is not performed for `--without-headers'
|
|
|
|
;; cross-compiler builds.
|
|
|
|
|
2015-01-07 01:37:04 +01:00
|
|
|
;; Join multi-line definitions of GLIBC_DYNAMIC_LINKER* into a
|
|
|
|
;; single line, to allow the next step to work properly.
|
|
|
|
(for-each
|
|
|
|
(lambda (x)
|
|
|
|
(substitute* (find-files "gcc/config"
|
2015-01-07 21:55:23 +01:00
|
|
|
"^linux(64|-elf|-eabi)?\\.h$")
|
2015-01-07 01:37:04 +01:00
|
|
|
(("(#define GLIBC_DYNAMIC_LINKER.*)\\\\\n$" _ line)
|
|
|
|
line)))
|
|
|
|
'(1 2 3))
|
|
|
|
|
2013-06-26 16:51:39 +02:00
|
|
|
;; Fix the dynamic linker's file name.
|
|
|
|
(substitute* (find-files "gcc/config"
|
2015-02-05 17:12:54 +01:00
|
|
|
"^(linux|gnu)(64|-elf|-eabi)?\\.h$")
|
2013-06-26 16:51:39 +02:00
|
|
|
(("#define GLIBC_DYNAMIC_LINKER([^ ]*).*$" _ suffix)
|
|
|
|
(format #f "#define GLIBC_DYNAMIC_LINKER~a \"~a\"~%"
|
|
|
|
suffix
|
|
|
|
(string-append libc ,(glibc-dynamic-linker)))))
|
|
|
|
|
|
|
|
;; Tell where to find libstdc++, libc, and `?crt*.o', except
|
|
|
|
;; `crt{begin,end}.o', which come with GCC.
|
|
|
|
(substitute* (find-files "gcc/config"
|
2013-11-15 00:10:10 +01:00
|
|
|
"^gnu-user.*\\.h$")
|
|
|
|
(("#define GNU_USER_TARGET_LIB_SPEC (.*)$" _ suffix)
|
2015-01-07 15:51:23 +01:00
|
|
|
;; Help libgcc_s.so be found (see also below.) Always use
|
|
|
|
;; '-lgcc_s' so that libgcc_s.so is always found by those
|
|
|
|
;; programs that use 'pthread_cancel' (glibc dlopens
|
|
|
|
;; libgcc_s.so when pthread_cancel support is needed, but
|
|
|
|
;; having it in the application's RUNPATH isn't enough; see
|
2013-11-18 14:06:47 +01:00
|
|
|
;; <http://sourceware.org/ml/libc-help/2013-11/msg00023.html>.)
|
2015-01-02 04:53:55 +01:00
|
|
|
;;
|
|
|
|
;; NOTE: The '-lgcc_s' added below needs to be removed in a
|
|
|
|
;; later phase of %gcc-static. If you change the string
|
|
|
|
;; below, make sure to update the relevant code in
|
|
|
|
;; %gcc-static package as needed.
|
2013-11-15 00:10:10 +01:00
|
|
|
(format #f "#define GNU_USER_TARGET_LIB_SPEC \
|
2015-06-09 21:39:10 +02:00
|
|
|
\"-L~a/lib %{!static:-rpath=~a/lib %{!static-libgcc:-rpath=~a/lib -lgcc_s}} \" ~a"
|
|
|
|
libc libc libdir suffix))
|
2013-11-15 00:10:10 +01:00
|
|
|
(("#define GNU_USER_TARGET_STARTFILE_SPEC.*$" line)
|
2013-06-26 16:51:39 +02:00
|
|
|
(format #f "#define STANDARD_STARTFILE_PREFIX_1 \"~a/lib\"
|
2013-03-27 15:13:25 +01:00
|
|
|
#define STANDARD_STARTFILE_PREFIX_2 \"\"
|
2013-11-15 00:10:10 +01:00
|
|
|
~a"
|
2013-06-26 16:51:39 +02:00
|
|
|
libc line))))
|
|
|
|
|
|
|
|
;; Don't retain a dependency on the build-time sed.
|
|
|
|
(substitute* "fixincludes/fixincl.x"
|
|
|
|
(("static char const sed_cmd_z\\[\\] =.*;")
|
2014-06-09 11:58:43 +02:00
|
|
|
"static char const sed_cmd_z[] = \"sed\";"))
|
|
|
|
|
2015-06-09 22:29:46 +02:00
|
|
|
(when (file-exists? "libbacktrace")
|
|
|
|
;; GCC 4.8+ comes with libbacktrace. By default it builds
|
|
|
|
;; with -Werror, which fails with a -Wcast-qual error in glibc
|
|
|
|
;; 2.21's stdlib-bsearch.h. Remove -Werror.
|
|
|
|
(substitute* "libbacktrace/configure"
|
|
|
|
(("WARN_FLAGS=(.*)-Werror" _ flags)
|
2015-06-14 14:41:01 +02:00
|
|
|
(string-append "WARN_FLAGS=" flags)))
|
|
|
|
|
|
|
|
(when (file-exists? "libsanitizer/libbacktrace")
|
|
|
|
;; Same in libsanitizer's bundled copy (!) found in 4.9+.
|
|
|
|
(substitute* "libsanitizer/libbacktrace/Makefile.in"
|
|
|
|
(("-Werror")
|
|
|
|
""))))
|
2015-06-09 22:29:46 +02:00
|
|
|
|
2015-04-23 00:03:34 +02:00
|
|
|
;; Add a RUNPATH to libstdc++.so so that it finds libgcc_s.
|
|
|
|
;; See <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32354>
|
|
|
|
;; and <http://bugs.gnu.org/20358>.
|
|
|
|
(substitute* "libstdc++-v3/src/Makefile.in"
|
|
|
|
(("^OPT_LDFLAGS = ")
|
|
|
|
"OPT_LDFLAGS = -Wl,-rpath=$(libdir) "))
|
|
|
|
|
2014-06-09 11:58:43 +02:00
|
|
|
;; Move libstdc++*-gdb.py to the "lib" output to avoid a
|
|
|
|
;; circularity between "out" and "lib". (Note:
|
|
|
|
;; --with-python-dir is useless because it imposes $(prefix) as
|
|
|
|
;; the parent directory.)
|
|
|
|
(substitute* "libstdc++-v3/python/Makefile.in"
|
|
|
|
(("pythondir = .*$")
|
|
|
|
(string-append "pythondir = " libdir "/share"
|
|
|
|
"/gcc-$(gcc_version)/python\n")))
|
|
|
|
|
|
|
|
;; Avoid another circularity between the outputs: this #define
|
|
|
|
;; ends up in auto-host.h in the "lib" output, referring to
|
|
|
|
;; "out". (This variable is used to augment cpp's search path,
|
|
|
|
;; but there's nothing useful to look for here.)
|
|
|
|
(substitute* "gcc/config.in"
|
|
|
|
(("PREFIX_INCLUDE_DIR")
|
|
|
|
"PREFIX_INCLUDE_DIR_isnt_necessary_here"))))
|
2013-06-26 16:51:39 +02:00
|
|
|
|
|
|
|
(alist-cons-after
|
|
|
|
'configure 'post-configure
|
|
|
|
(lambda _
|
|
|
|
;; Don't store configure flags, to avoid retaining references to
|
2014-03-10 23:58:40 +01:00
|
|
|
;; build-time dependencies---e.g., `--with-ppl=/gnu/store/xxx'.
|
2013-06-26 16:51:39 +02:00
|
|
|
(substitute* "Makefile"
|
|
|
|
(("^TOPLEVEL_CONFIGURE_ARGUMENTS=(.*)$" _ rest)
|
|
|
|
"TOPLEVEL_CONFIGURE_ARGUMENTS=\n")))
|
2015-06-09 21:51:18 +02:00
|
|
|
%standard-phases))))
|
2013-06-26 16:51:39 +02:00
|
|
|
|
|
|
|
(native-search-paths
|
2015-12-18 21:38:49 +01:00
|
|
|
;; Use the language-specific variables rather than 'CPATH' because they
|
|
|
|
;; are equivalent to '-isystem' whereas 'CPATH' is equivalent to '-I'.
|
|
|
|
;; The intent is to allow headers that are in the search path to be
|
|
|
|
;; treated as "system headers" (headers exempt from warnings) just like
|
|
|
|
;; the typical /usr/include headers on an FHS system.
|
2013-06-26 16:51:39 +02:00
|
|
|
(list (search-path-specification
|
2015-12-18 21:38:49 +01:00
|
|
|
(variable "C_INCLUDE_PATH")
|
|
|
|
(files '("include")))
|
|
|
|
(search-path-specification
|
|
|
|
(variable "CPLUS_INCLUDE_PATH")
|
packages: Add 'file-type' field to 'search-path-specification'.
Fixes <http://bugs.gnu.org/18033>.
* guix/packages.scm (<search-path-specification>): Rename 'directories'
field to 'files'. Add 'file-type'.
(search-path-specification->sexp): Honor 'file-type'.
* gnu/packages/autotools.scm, gnu/packages/bootstrap.scm,
gnu/packages/cross-base.scm, gnu/packages/games.scm,
gnu/packages/gcc.scm, gnu/packages/glib.scm,
gnu/packages/guile.scm, gnu/packages/man.scm,
gnu/packages/perl.scm, gnu/packages/pkg-config.scm,
gnu/packages/python.scm, gnu/packages/ruby.scm,
gnu/packages/xfce.scm: Change 'directories' to 'files'.
* tests/packages.scm ("search paths"): Change 'directories' field to
'files'.
* guix/scripts/environment.scm (for-each-search-path): Likewise.
2014-12-27 23:22:08 +01:00
|
|
|
(files '("include")))
|
2013-06-26 16:51:39 +02:00
|
|
|
(search-path-specification
|
|
|
|
(variable "LIBRARY_PATH")
|
packages: Add 'file-type' field to 'search-path-specification'.
Fixes <http://bugs.gnu.org/18033>.
* guix/packages.scm (<search-path-specification>): Rename 'directories'
field to 'files'. Add 'file-type'.
(search-path-specification->sexp): Honor 'file-type'.
* gnu/packages/autotools.scm, gnu/packages/bootstrap.scm,
gnu/packages/cross-base.scm, gnu/packages/games.scm,
gnu/packages/gcc.scm, gnu/packages/glib.scm,
gnu/packages/guile.scm, gnu/packages/man.scm,
gnu/packages/perl.scm, gnu/packages/pkg-config.scm,
gnu/packages/python.scm, gnu/packages/ruby.scm,
gnu/packages/xfce.scm: Change 'directories' to 'files'.
* tests/packages.scm ("search paths"): Change 'directories' field to
'files'.
* guix/scripts/environment.scm (for-each-search-path): Likewise.
2014-12-27 23:22:08 +01:00
|
|
|
(files '("lib" "lib64")))))
|
2013-06-26 16:51:39 +02:00
|
|
|
|
|
|
|
(properties `((gcc-libc . ,(assoc-ref inputs "libc"))))
|
|
|
|
(synopsis "GNU Compiler Collection")
|
|
|
|
(description
|
Synchronize package descriptions with the Womb.
* gnu/packages/algebra.scm,
gnu/packages/aspell.scm,
gnu/packages/autotools.scm,
gnu/packages/base.scm,
gnu/packages/bash.scm,
gnu/packages/bison.scm,
gnu/packages/cdrom.scm,
gnu/packages/cflow.scm,
gnu/packages/compression.scm,
gnu/packages/cpio.scm,
gnu/packages/cppi.scm,
gnu/packages/ddrescue.scm,
gnu/packages/dejagnu.scm,
gnu/packages/ed.scm,
gnu/packages/emacs.scm,
gnu/packages/fdisk.scm,
gnu/packages/freeipmi.scm,
gnu/packages/gawk.scm,
gnu/packages/gcal.scm,
gnu/packages/gcc.scm,
gnu/packages/gdb.scm,
gnu/packages/gdbm.scm,
gnu/packages/gettext.scm,
gnu/packages/ghostscript.scm,
gnu/packages/global.scm,
gnu/packages/gnunet.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnutls.scm,
gnu/packages/gperf.scm,
gnu/packages/gprolog.scm,
gnu/packages/groff.scm,
gnu/packages/grub.scm,
gnu/packages/gsasl.scm,
gnu/packages/guile.scm,
gnu/packages/gv.scm,
gnu/packages/help2man.scm,
gnu/packages/idutils.scm,
gnu/packages/indent.scm,
gnu/packages/less.scm,
gnu/packages/libidn.scm,
gnu/packages/libsigsegv.scm,
gnu/packages/libunistring.scm,
gnu/packages/lightning.scm,
gnu/packages/linux.scm,
gnu/packages/lsh.scm,
gnu/packages/m4.scm,
gnu/packages/mail.scm,
gnu/packages/maths.scm,
gnu/packages/multiprecision.scm,
gnu/packages/nano.scm,
gnu/packages/ncurses.scm,
gnu/packages/nettle.scm,
gnu/packages/ocrad.scm,
gnu/packages/oggvorbis.scm,
gnu/packages/parted.scm,
gnu/packages/plotutils.scm,
gnu/packages/pth.scm,
gnu/packages/readline.scm,
gnu/packages/recutils.scm,
gnu/packages/rush.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/shishi.scm,
gnu/packages/smalltalk.scm,
gnu/packages/system.scm,
gnu/packages/texinfo.scm,
gnu/packages/time.scm,
gnu/packages/unrtf.scm,
gnu/packages/version-control.scm,
gnu/packages/wdiff.scm,
gnu/packages/wget.scm,
gnu/packages/which.scm,
gnu/packages/xnee.scm,
gnu/packages/zile.scm: Change value of the 'description' field to that
of the Womb.
2013-10-09 16:14:23 +02:00
|
|
|
"GCC is the GNU Compiler Collection. It provides compiler front-ends
|
|
|
|
for several languages, including C, C++, Objective-C, Fortran, Java, Ada, and
|
2013-12-01 22:33:23 +01:00
|
|
|
Go. It also includes runtime support libraries for these languages.")
|
2013-06-26 16:51:39 +02:00
|
|
|
(license gpl3+)
|
|
|
|
(home-page "http://gcc.gnu.org/"))))
|
2013-03-27 15:37:27 +01:00
|
|
|
|
2013-04-26 22:51:07 +02:00
|
|
|
(define-public gcc-4.8
|
|
|
|
(package (inherit gcc-4.7)
|
2015-06-29 10:37:24 +02:00
|
|
|
(version "4.8.5")
|
2013-04-26 22:51:07 +02:00
|
|
|
(source (origin
|
2015-04-30 13:31:59 +02:00
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gcc/gcc-"
|
|
|
|
version "/gcc-" version ".tar.bz2"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2015-06-29 10:37:24 +02:00
|
|
|
"08yggr18v373a1ihj0rg2vd6psnic42b518xcgp3r9k81xz1xyr2"))
|
2016-04-08 14:18:13 +02:00
|
|
|
(patches (search-patches "gcc-arm-link-spec-fix.patch"))))))
|
2013-04-26 22:51:07 +02:00
|
|
|
|
2014-04-22 17:44:45 +02:00
|
|
|
(define-public gcc-4.9
|
2015-04-30 13:31:59 +02:00
|
|
|
(package (inherit gcc-4.8)
|
2015-07-10 20:31:16 +02:00
|
|
|
(version "4.9.3")
|
2014-04-22 17:44:45 +02:00
|
|
|
(source (origin
|
2015-04-30 13:31:59 +02:00
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gcc/gcc-"
|
|
|
|
version "/gcc-" version ".tar.bz2"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2015-07-10 20:31:16 +02:00
|
|
|
"0zmnm00d2a1hsd41g34bhvxzvxisa2l584q3p447bd91lfjv4ci3"))
|
2016-04-08 14:18:13 +02:00
|
|
|
(patches (search-patches "gcc-libvtv-runpath.patch"))))))
|
2014-04-22 17:44:45 +02:00
|
|
|
|
2015-07-20 03:11:56 +02:00
|
|
|
(define-public gcc-5
|
2015-04-30 13:31:59 +02:00
|
|
|
(package (inherit gcc-4.9)
|
2015-12-14 06:26:36 +01:00
|
|
|
(version "5.3.0")
|
2015-04-23 07:05:36 +02:00
|
|
|
(source (origin
|
2015-04-30 13:31:59 +02:00
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gcc/gcc-"
|
|
|
|
version "/gcc-" version ".tar.bz2"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2015-12-14 06:26:36 +01:00
|
|
|
"1ny4smkp5bzs3cp8ss7pl6lk8yss0d9m4av1mvdp72r1x695akxq"))
|
2016-04-08 14:18:13 +02:00
|
|
|
(patches (search-patches "gcc-5.0-libvtv-runpath.patch"))))))
|
2015-04-23 07:05:36 +02:00
|
|
|
|
2016-05-03 17:34:54 +02:00
|
|
|
(define-public gcc-6
|
|
|
|
(package
|
|
|
|
(inherit gcc-5)
|
|
|
|
(version "6.1.0")
|
|
|
|
(source (origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gcc/gcc-"
|
|
|
|
version "/gcc-" version ".tar.bz2"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0ld3y4rgimyqgx1nwvzqyl5gr4wzc0ch4akkvsqp3fgbmdfcii09"))
|
|
|
|
(patches (search-patches "gcc-5.0-libvtv-runpath.patch"))))))
|
|
|
|
|
2016-03-16 23:02:49 +01:00
|
|
|
;; Note: When changing the default gcc version, update
|
|
|
|
;; the gcc-toolchain-* definitions accordingly.
|
2015-06-25 17:52:10 +02:00
|
|
|
(define-public gcc gcc-4.9)
|
|
|
|
|
2015-06-19 11:34:16 +02:00
|
|
|
(define-public (make-libstdc++ gcc)
|
|
|
|
"Return a libstdc++ package based on GCC. The primary use case is when
|
|
|
|
using compilers other than GCC."
|
|
|
|
(package
|
|
|
|
(inherit gcc)
|
|
|
|
(name "libstdc++")
|
|
|
|
(arguments
|
|
|
|
`(#:out-of-source? #t
|
|
|
|
#:phases (alist-cons-before
|
|
|
|
'configure 'chdir
|
|
|
|
(lambda _
|
|
|
|
(chdir "libstdc++-v3"))
|
|
|
|
%standard-phases)
|
|
|
|
#:configure-flags `("--disable-libstdcxx-pch"
|
|
|
|
,(string-append "--with-gxx-include-dir="
|
|
|
|
(assoc-ref %outputs "out")
|
|
|
|
"/include"))))
|
|
|
|
(outputs '("out" "debug"))
|
|
|
|
(inputs '())
|
|
|
|
(native-inputs '())
|
|
|
|
(propagated-inputs '())
|
|
|
|
(synopsis "GNU C++ standard library")))
|
|
|
|
|
|
|
|
(define-public libstdc++-4.9
|
|
|
|
(make-libstdc++ gcc-4.9))
|
|
|
|
|
2015-06-27 11:47:04 +02:00
|
|
|
(define (make-libiberty gcc)
|
|
|
|
"Return a libiberty package based on GCC."
|
|
|
|
(package
|
|
|
|
(inherit gcc)
|
|
|
|
(name "libiberty")
|
|
|
|
(arguments
|
|
|
|
`(#:out-of-source? #t
|
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-before 'configure 'chdir
|
|
|
|
(lambda _
|
|
|
|
(chdir "libiberty")
|
|
|
|
#t))
|
|
|
|
(replace
|
|
|
|
'install
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(lib (string-append out "/lib/"))
|
|
|
|
(include (string-append out "/include/")))
|
|
|
|
(mkdir-p lib)
|
|
|
|
(mkdir-p include)
|
|
|
|
(copy-file "libiberty.a"
|
|
|
|
(string-append lib "libiberty.a"))
|
|
|
|
(copy-file "../include/libiberty.h"
|
|
|
|
(string-append include "libiberty.h"))
|
|
|
|
#t))))))
|
|
|
|
(inputs '())
|
|
|
|
(outputs '("out"))
|
|
|
|
(native-inputs '())
|
|
|
|
(propagated-inputs '())
|
|
|
|
(synopsis "Collection of subroutines used by various GNU programs")))
|
|
|
|
|
|
|
|
(define-public libiberty
|
|
|
|
(make-libiberty gcc))
|
|
|
|
|
2015-12-18 21:38:49 +01:00
|
|
|
(define* (custom-gcc gcc name languages
|
|
|
|
#:optional
|
|
|
|
(search-paths (package-native-search-paths gcc))
|
|
|
|
#:key (separate-lib-output? #t))
|
|
|
|
"Return a custom version of GCC that supports LANGUAGES. Use SEARCH-PATHS
|
|
|
|
as the 'native-search-paths' field."
|
2013-11-01 21:34:24 +01:00
|
|
|
(package (inherit gcc)
|
|
|
|
(name name)
|
2014-08-01 00:19:22 +02:00
|
|
|
(outputs (if separate-lib-output?
|
|
|
|
(package-outputs gcc)
|
|
|
|
(delete "lib" (package-outputs gcc))))
|
2015-12-18 21:38:49 +01:00
|
|
|
(native-search-paths search-paths)
|
2013-11-01 21:34:24 +01:00
|
|
|
(arguments
|
|
|
|
(substitute-keyword-arguments `(#:modules ((guix build gnu-build-system)
|
|
|
|
(guix build utils)
|
|
|
|
(ice-9 regex)
|
|
|
|
(srfi srfi-1)
|
|
|
|
(srfi srfi-26))
|
|
|
|
,@(package-arguments gcc))
|
|
|
|
((#:configure-flags flags)
|
|
|
|
`(cons (string-append "--enable-languages="
|
|
|
|
,(string-join languages ","))
|
|
|
|
(remove (cut string-match "--enable-languages.*" <>)
|
2016-03-10 07:05:08 +01:00
|
|
|
,flags)))
|
|
|
|
((#:phases phases)
|
|
|
|
`(modify-phases ,phases
|
|
|
|
(add-after 'install 'remove-broken-or-conflicting-files
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(for-each delete-file
|
|
|
|
(find-files (string-append (assoc-ref outputs "out") "/bin")
|
|
|
|
".*(c\\+\\+|cpp|g\\+\\+|gcov|gcc.*)"))
|
|
|
|
#t))))))))
|
2013-11-01 21:34:24 +01:00
|
|
|
|
2015-12-18 21:38:49 +01:00
|
|
|
(define %generic-search-paths
|
|
|
|
;; This is the language-neutral search path for GCC. Entries in $CPATH are
|
|
|
|
;; not considered "system headers", which means GCC can raise warnings for
|
|
|
|
;; issues in those headers. 'CPATH' is the only one that works for
|
|
|
|
;; front-ends not in the C family.
|
|
|
|
(list (search-path-specification
|
|
|
|
(variable "CPATH")
|
|
|
|
(files '("include")))
|
|
|
|
(search-path-specification
|
|
|
|
(variable "LIBRARY_PATH")
|
|
|
|
(files '("lib" "lib64")))))
|
|
|
|
|
2013-11-01 21:34:24 +01:00
|
|
|
(define-public gfortran-4.8
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc-4.8 "gfortran" '("fortran")
|
|
|
|
%generic-search-paths))
|
2013-11-01 21:34:24 +01:00
|
|
|
|
2015-06-24 11:36:18 +02:00
|
|
|
(define-public gfortran-4.9
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc-4.9 "gfortran" '("fortran")
|
|
|
|
%generic-search-paths))
|
2015-06-24 11:36:18 +02:00
|
|
|
|
2015-06-25 17:52:10 +02:00
|
|
|
(define-public gfortran
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc "gfortran" '("fortran")
|
|
|
|
%generic-search-paths))
|
2015-06-25 17:52:10 +02:00
|
|
|
|
2015-11-11 17:23:32 +01:00
|
|
|
(define-public gfortran-5
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc-5 "gfortran" '("fortran")
|
|
|
|
%generic-search-paths))
|
2015-11-11 17:23:32 +01:00
|
|
|
|
2015-12-28 05:53:01 +01:00
|
|
|
(define-public gccgo-4.9
|
|
|
|
(custom-gcc gcc-4.9 "gccgo" '("go")
|
2015-12-18 21:38:49 +01:00
|
|
|
%generic-search-paths
|
2014-08-01 00:19:22 +02:00
|
|
|
;; Suppress the separate "lib" output, because otherwise the
|
|
|
|
;; "lib" and "out" outputs would refer to each other, creating
|
|
|
|
;; a cyclic dependency. <http://debbugs.gnu.org/18101>
|
|
|
|
#:separate-lib-output? #f))
|
2013-11-01 21:34:24 +01:00
|
|
|
|
2015-03-06 22:45:47 +01:00
|
|
|
(define javac.in
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "http://sources.gentoo.org/cgi-bin/viewvc.cgi/"
|
2015-03-08 22:27:20 +01:00
|
|
|
"gentoo-x86/dev-java/gcj-jdk/files/javac.in?revision=1.1"))
|
|
|
|
(file-name "javac.in")
|
2015-03-06 22:45:47 +01:00
|
|
|
(sha256 (base32
|
|
|
|
"1c3dk4z5yfj6ic2fn3lyxs27n6pmn2wy9k0r1s17lnkf1bzkrciv"))))
|
|
|
|
|
2015-10-12 10:36:27 +02:00
|
|
|
(define-public gcj
|
|
|
|
(package (inherit gcc)
|
2014-12-23 12:31:50 +01:00
|
|
|
(name "gcj")
|
|
|
|
(inputs
|
|
|
|
`(("fastjar" ,fastjar)
|
|
|
|
("perl" ,perl)
|
2015-03-06 22:45:47 +01:00
|
|
|
("javac.in" ,javac.in)
|
2015-10-12 10:36:27 +02:00
|
|
|
("ecj-bootstrap" ,ecj-bootstrap)
|
|
|
|
,@(package-inputs gcc)))
|
2015-10-22 13:02:37 +02:00
|
|
|
(native-inputs
|
|
|
|
`(("dejagnu" ,dejagnu)
|
|
|
|
,@(package-native-inputs gcc)))
|
2015-12-18 21:38:49 +01:00
|
|
|
(native-search-paths %generic-search-paths)
|
|
|
|
|
2014-12-23 12:31:50 +01:00
|
|
|
;; Suppress the separate "lib" output, because otherwise the
|
|
|
|
;; "lib" and "out" outputs would refer to each other, creating
|
|
|
|
;; a cyclic dependency. <http://debbugs.gnu.org/18101>
|
|
|
|
(outputs
|
2015-10-12 10:36:27 +02:00
|
|
|
(delete "lib" (package-outputs gcc)))
|
2014-12-23 12:31:50 +01:00
|
|
|
(arguments
|
|
|
|
(substitute-keyword-arguments `(#:modules ((guix build gnu-build-system)
|
|
|
|
(guix build utils)
|
|
|
|
(ice-9 regex)
|
|
|
|
(srfi srfi-1)
|
|
|
|
(srfi srfi-26))
|
2015-10-22 13:02:37 +02:00
|
|
|
#:test-target "check-target-libjava"
|
|
|
|
,@(package-arguments gcc))
|
|
|
|
((#:tests? _) #t)
|
2014-12-23 12:31:50 +01:00
|
|
|
((#:configure-flags flags)
|
|
|
|
`(let ((ecj (assoc-ref %build-inputs "ecj-bootstrap")))
|
|
|
|
`("--enable-java-home"
|
|
|
|
"--enable-gjdoc"
|
|
|
|
,(string-append "--with-ecj-jar=" ecj)
|
|
|
|
"--enable-languages=java"
|
|
|
|
,@(remove (cut string-match "--enable-languages.*" <>)
|
|
|
|
,flags))))
|
2015-05-08 12:36:58 +02:00
|
|
|
((#:phases phases)
|
|
|
|
`(modify-phases ,phases
|
|
|
|
(add-after
|
|
|
|
'unpack 'add-lib-output-to-rpath
|
|
|
|
(lambda _
|
|
|
|
(substitute* "libjava/Makefile.in"
|
|
|
|
(("libgcj_bc_dummy_LINK = .* -shared" line)
|
|
|
|
(string-append line " -Wl,-rpath=$(libdir)"))
|
|
|
|
(("libgcj(_bc)?_la_LDFLAGS =" ldflags _)
|
|
|
|
(string-append ldflags " -Wl,-rpath=$(libdir)")))))
|
|
|
|
(add-after
|
|
|
|
'install 'install-javac-and-javap-wrappers
|
|
|
|
(lambda _
|
|
|
|
(let* ((javac (assoc-ref %build-inputs "javac.in"))
|
|
|
|
(ecj (assoc-ref %build-inputs "ecj-bootstrap"))
|
|
|
|
(gcj (assoc-ref %outputs "out"))
|
|
|
|
(gcjbin (string-append gcj "/bin/"))
|
|
|
|
(jvm (string-append gcj "/lib/jvm/"))
|
|
|
|
(target (string-append jvm "/bin/javac")))
|
|
|
|
|
|
|
|
(symlink (string-append gcjbin "jcf-dump")
|
|
|
|
(string-append jvm "/bin/javap"))
|
|
|
|
|
|
|
|
(copy-file ecj (string-append gcj "/share/java/ecj.jar"))
|
|
|
|
|
|
|
|
;; Create javac wrapper from the template javac.in by
|
|
|
|
;; replacing the @VARIABLES@ with paths.
|
|
|
|
(copy-file javac target)
|
|
|
|
(patch-shebang target)
|
|
|
|
(substitute* target
|
|
|
|
(("@JAVA@")
|
|
|
|
(string-append jvm "/bin/java"))
|
|
|
|
(("@ECJ_JAR@")
|
|
|
|
(string-append gcj "/share/java/ecj.jar"))
|
|
|
|
(("@RT_JAR@")
|
|
|
|
(string-append jvm "/jre/lib/rt.jar"))
|
|
|
|
(("@TOOLS_JAR@")
|
|
|
|
(string-append jvm "/lib/tools.jar")))
|
|
|
|
(chmod target #o755)
|
|
|
|
#t)))
|
|
|
|
(add-after
|
2015-04-30 17:11:39 +02:00
|
|
|
'install 'remove-broken-or-conflicting-files
|
|
|
|
(lambda _
|
|
|
|
(let ((out (assoc-ref %outputs "out")))
|
|
|
|
(for-each
|
|
|
|
delete-file
|
|
|
|
(append (find-files (string-append out "/lib/jvm/jre/lib")
|
|
|
|
"libjawt.so")
|
|
|
|
(find-files (string-append out "/bin")
|
|
|
|
".*(c\\+\\+|cpp|g\\+\\+|gcc.*)"))))
|
2015-05-08 12:36:58 +02:00
|
|
|
#t))))))))
|
2014-12-23 12:31:50 +01:00
|
|
|
|
2015-10-12 10:36:27 +02:00
|
|
|
(define ecj-bootstrap
|
2014-12-23 12:31:50 +01:00
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
2015-10-12 10:36:27 +02:00
|
|
|
(uri "ftp://sourceware.org/pub/java/ecj-4.9.jar")
|
2014-12-23 12:31:50 +01:00
|
|
|
(sha256
|
|
|
|
(base32
|
2015-10-12 10:36:27 +02:00
|
|
|
"1k9lgm3qamf6zy534pa2zwskr8mpiqrngbv1vw9j4y1ghrdyf1lm"))))
|
2014-12-23 12:31:50 +01:00
|
|
|
|
2013-11-01 21:34:24 +01:00
|
|
|
(define-public gcc-objc-4.8
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc-4.8 "gcc-objc" '("objc")
|
|
|
|
(list (search-path-specification
|
|
|
|
(variable "OBJC_INCLUDE_PATH")
|
|
|
|
(files '("include")))
|
|
|
|
(search-path-specification
|
|
|
|
(variable "LIBRARY_PATH")
|
|
|
|
(files '("lib" "lib64"))))))
|
2013-11-01 21:34:24 +01:00
|
|
|
|
|
|
|
(define-public gcc-objc++-4.8
|
2015-12-18 21:38:49 +01:00
|
|
|
(custom-gcc gcc-4.8 "gcc-objc++" '("obj-c++")
|
|
|
|
(list (search-path-specification
|
|
|
|
(variable "OBJCPLUS_INCLUDE_PATH")
|
|
|
|
(files '("include")))
|
|
|
|
(search-path-specification
|
|
|
|
(variable "LIBRARY_PATH")
|
|
|
|
(files '("lib" "lib64"))))))
|
2013-11-01 21:34:24 +01:00
|
|
|
|
2015-07-12 23:09:44 +02:00
|
|
|
(define (make-libstdc++-doc gcc)
|
|
|
|
"Return a package with the libstdc++ documentation for GCC."
|
|
|
|
(package
|
|
|
|
(inherit gcc)
|
|
|
|
(name "libstdc++-doc")
|
|
|
|
(version (package-version gcc))
|
|
|
|
(synopsis "GNU libstdc++ documentation")
|
|
|
|
(outputs '("out"))
|
|
|
|
(native-inputs `(("doxygen" ,doxygen)
|
|
|
|
("texinfo" ,texinfo)
|
|
|
|
("libxml2" ,libxml2)
|
|
|
|
("libxslt" ,libxslt)
|
|
|
|
("docbook-xml" ,docbook-xml)
|
|
|
|
("docbook-xsl" ,docbook-xsl)
|
|
|
|
("graphviz" ,graphviz))) ;for 'dot', invoked by 'doxygen'
|
|
|
|
(inputs '())
|
|
|
|
(propagated-inputs '())
|
|
|
|
(arguments
|
|
|
|
'(#:out-of-source? #t
|
|
|
|
#:tests? #f ;it's just documentation
|
|
|
|
#:phases (modify-phases %standard-phases
|
|
|
|
(add-before 'configure 'chdir
|
|
|
|
(lambda _
|
|
|
|
(chdir "libstdc++-v3")))
|
|
|
|
(add-before 'configure 'set-xsl-directory
|
|
|
|
(lambda* (#:key inputs #:allow-other-keys)
|
|
|
|
(let ((docbook (assoc-ref inputs "docbook-xsl")))
|
|
|
|
(substitute* (find-files "doc"
|
|
|
|
"^Makefile\\.in$")
|
|
|
|
(("@XSL_STYLE_DIR@")
|
|
|
|
(string-append
|
|
|
|
docbook "/xml/xsl/"
|
2015-08-30 14:38:10 +02:00
|
|
|
(strip-store-file-name docbook)))))))
|
2015-07-12 23:09:44 +02:00
|
|
|
(replace 'build
|
|
|
|
(lambda _
|
|
|
|
;; XXX: There's also a 'doc-info' target, but it
|
|
|
|
;; relies on docbook2X, which itself relies on
|
|
|
|
;; DocBook 4.1.2, which is not really usable
|
|
|
|
;; (lacks a catalog.xml.)
|
|
|
|
(zero? (system* "make"
|
|
|
|
"doc-html"
|
|
|
|
"doc-man"))))
|
|
|
|
(replace 'install
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
(zero? (system* "make"
|
|
|
|
"doc-install-html"
|
|
|
|
"doc-install-man"))))))))))
|
|
|
|
|
|
|
|
(define-public libstdc++-doc-4.9
|
|
|
|
(make-libstdc++-doc gcc-4.9))
|
|
|
|
|
2015-07-20 03:11:56 +02:00
|
|
|
(define-public libstdc++-doc-5
|
|
|
|
(make-libstdc++-doc gcc-5))
|
2015-07-12 23:09:44 +02:00
|
|
|
|
2013-03-27 15:37:27 +01:00
|
|
|
(define-public isl
|
|
|
|
(package
|
|
|
|
(name "isl")
|
|
|
|
(version "0.11.1")
|
|
|
|
(source (origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (list (string-append
|
2013-09-10 19:05:43 +02:00
|
|
|
"http://isl.gforge.inria.fr/isl-"
|
2013-03-27 15:37:27 +01:00
|
|
|
version
|
|
|
|
".tar.bz2")
|
|
|
|
(string-append %gcc-infrastructure
|
|
|
|
name "-" version ".tar.gz")))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(inputs `(("gmp" ,gmp)))
|
2013-09-10 19:05:43 +02:00
|
|
|
(home-page "http://isl.gforge.inria.fr/")
|
2013-03-27 15:37:27 +01:00
|
|
|
(synopsis
|
2014-09-13 15:50:30 +02:00
|
|
|
"Manipulating sets and relations of integer points \
|
|
|
|
bounded by linear constraints")
|
2013-03-27 15:37:27 +01:00
|
|
|
(description
|
|
|
|
"isl is a library for manipulating sets and relations of integer points
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 06:46:59 +02:00
|
|
|
bounded by linear constraints. Supported operations on sets include
|
2013-03-27 15:37:27 +01:00
|
|
|
intersection, union, set difference, emptiness check, convex hull, (integer)
|
|
|
|
affine hull, integer projection, computing the lexicographic minimum using
|
|
|
|
parametric integer programming, coalescing and parametric vertex
|
gnu: Some cleanup based on lint checkers.
* gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm,
gnu/packages/apr.scm, gnu/packages/avahi.scm, gnu/packages/backup.scm,
gnu/packages/base.scm, gnu/packages/calcurse.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/compression.scm, gnu/packages/cook.scm,
gnu/packages/crypto.scm, gnu/packages/cryptsetup.scm, gnu/packages/curl.scm,
gnu/packages/cyrus-sasl.scm, gnu/packages/databases.scm,
gnu/packages/doxygen.scm, gnu/packages/dwm.scm, gnu/packages/elf.scm,
gnu/packages/emacs.scm, gnu/packages/feh.scm, gnu/packages/file.scm,
gnu/packages/fish.scm, gnu/packages/flex.scm, gnu/packages/fltk.scm,
gnu/packages/fontutils.scm, gnu/packages/games.scm, gnu/packages/gcal.scm,
gnu/packages/gcc.scm, gnu/packages/geeqie.scm, gnu/packages/ghostscript.scm,
gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/glib.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gperf.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile.scm,
gnu/packages/hurd.scm, gnu/packages/icu4c.scm, gnu/packages/image.scm,
gnu/packages/imagemagick.scm, gnu/packages/irssi.scm, gnu/packages/kde.scm,
gnu/packages/libdaemon.scm, gnu/packages/libevent.scm,
gnu/packages/libidn.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm,
gnu/packages/lout.scm, gnu/packages/lsh.scm, gnu/packages/lsof.scm,
gnu/packages/lua.scm, gnu/packages/maths.scm, gnu/packages/mcrypt.scm,
gnu/packages/mp3.scm, gnu/packages/netpbm.scm, gnu/packages/noweb.scm,
gnu/packages/ocaml.scm, gnu/packages/openssl.scm, gnu/packages/pcre.scm,
gnu/packages/pdf.scm, gnu/packages/pkg-config.scm,
gnu/packages/pretty-print.scm, gnu/packages/python.scm, gnu/packages/qt.scm,
gnu/packages/rsync.scm, gnu/packages/scheme.scm, gnu/packages/scrot.scm,
gnu/packages/sdl.scm, gnu/packages/skribilo.scm, gnu/packages/ssh.scm,
gnu/packages/stalonetray.scm, gnu/packages/tcl.scm, gnu/packages/tcsh.scm,
gnu/packages/telephony.scm, gnu/packages/texlive.scm, gnu/packages/tor.scm,
gnu/packages/valgrind.scm, gnu/packages/version-control.scm,
gnu/packages/vim.scm, gnu/packages/vpn.scm, gnu/packages/w3m.scm,
gnu/packages/web.scm, gnu/packages/wordnet.scm, gnu/packages/xiph.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/packages/zile.scm,
gnu/packages/zip.scm, gnu/packages/zsh.scm [synopsis, description]: Adjust
according to lint checkers.
* gnu/packages/fltk.scm (fltk)[source]: Wrap long line in uri.
* /gnu/packages/xiph.scm (libogg, libtheora, vorbis-tools)[source]: Same.
2014-10-24 06:46:59 +02:00
|
|
|
enumeration. It also includes an ILP solver based on generalized basis
|
2013-03-27 15:37:27 +01:00
|
|
|
reduction, transitive closures on maps (which may encode infinite graphs),
|
|
|
|
dependence analysis and bounds on piecewise step-polynomials.")
|
|
|
|
(license lgpl2.1+)))
|
|
|
|
|
|
|
|
(define-public cloog
|
|
|
|
(package
|
|
|
|
(name "cloog")
|
|
|
|
(version "0.18.0")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (list (string-append
|
|
|
|
"http://www.bastoul.net/cloog/pages/download/count.php3?url=cloog-"
|
|
|
|
version
|
|
|
|
".tar.gz")
|
|
|
|
(string-append %gcc-infrastructure
|
|
|
|
name "-" version ".tar.gz")))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0a12rwfwp22zd0nlld0xyql11cj390rrq1prw35yjsw8wzfshjhw"))
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(inputs `(("gmp" ,gmp)
|
|
|
|
("isl" ,isl)))
|
|
|
|
(arguments '(#:configure-flags '("--with-isl=system")))
|
|
|
|
(home-page "http://www.cloog.org/")
|
2014-09-13 15:50:30 +02:00
|
|
|
(synopsis "Library to generate code for scanning Z-polyhedra")
|
2013-03-27 15:37:27 +01:00
|
|
|
(description
|
|
|
|
"CLooG is a free software library to generate code for scanning
|
|
|
|
Z-polyhedra. That is, it finds a code (e.g., in C, FORTRAN...) that
|
|
|
|
reaches each integral point of one or more parameterized polyhedra.
|
|
|
|
CLooG has been originally written to solve the code generation problem
|
|
|
|
for optimizing compilers based on the polytope model. Nevertheless it
|
|
|
|
is used now in various area e.g., to build control automata for
|
|
|
|
high-level synthesis or to find the best polynomial approximation of a
|
|
|
|
function. CLooG may help in any situation where scanning polyhedra
|
|
|
|
matters. While the user has full control on generated code quality,
|
|
|
|
CLooG is designed to avoid control overhead and to produce a very
|
|
|
|
effective code.")
|
|
|
|
(license gpl2+)))
|
2013-03-27 15:47:48 +01:00
|
|
|
|
2015-07-19 22:27:37 +02:00
|
|
|
(define-public gnu-c-manual
|
|
|
|
(package
|
|
|
|
(name "gnu-c-manual")
|
|
|
|
(version "0.2.4")
|
|
|
|
(source (origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://gnu/gnu-c-manual/gnu-c-manual-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0cf4503shr7hxkbrjfi9dky6q2lqk95bgbgbjmvj2s2x312kakd9"))))
|
|
|
|
(build-system gnu-build-system)
|
|
|
|
(native-inputs `(("texinfo" ,texinfo)))
|
|
|
|
(arguments
|
|
|
|
'(#:phases (modify-phases %standard-phases
|
|
|
|
(delete 'configure)
|
|
|
|
(delete 'check)
|
|
|
|
(replace 'build
|
|
|
|
(lambda _
|
|
|
|
(zero? (system* "make"
|
|
|
|
"gnu-c-manual.info"
|
|
|
|
"gnu-c-manual.html"))))
|
|
|
|
(replace 'install
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(info (string-append out "/share/info"))
|
|
|
|
(html (string-append
|
|
|
|
out "/share/doc/gnu-c-manual")))
|
|
|
|
(mkdir-p info)
|
|
|
|
(mkdir-p html)
|
|
|
|
|
|
|
|
(for-each (lambda (file)
|
|
|
|
(copy-file file
|
|
|
|
(string-append info "/"
|
|
|
|
file)))
|
|
|
|
(find-files "." "\\.info(-[0-9])?$"))
|
|
|
|
(for-each (lambda (file)
|
|
|
|
(copy-file file
|
|
|
|
(string-append html "/"
|
|
|
|
file)))
|
|
|
|
(find-files "." "\\.html$"))
|
|
|
|
#t))))))
|
|
|
|
(synopsis "Reference manual for the C programming language")
|
|
|
|
(description
|
|
|
|
"This is a reference manual for the C programming language, as
|
|
|
|
implemented by the GNU C Compiler (gcc). As a reference, it is not intended
|
|
|
|
to be a tutorial of the language. Rather, it outlines all of the constructs
|
|
|
|
of the language. Library functions are not included.")
|
|
|
|
(home-page "http://www.gnu.org/software/gnu-c-manual")
|
|
|
|
(license fdl1.3+)))
|