Merge branch 'master' into core-updates
authorLudovic Courtès <ludo@gnu.org>
Sat, 15 Dec 2012 14:28:50 +0000 (15:28 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sat, 15 Dec 2012 14:28:50 +0000 (15:28 +0100)
Conflicts:
distro/packages/multiprecision.scm

1  2 
distro/packages/base.scm
distro/packages/bootstrap.scm
distro/packages/multiprecision.scm

diff --combined distro/packages/base.scm
@@@ -18,6 -18,7 +18,7 @@@
  ;;; along with Guix.  If not, see <http://www.gnu.org/licenses/>.
  
  (define-module (distro packages base)
+   #:use-module (guix licenses)
    #:use-module (distro)
    #:use-module (distro packages bash)
    #:use-module (distro packages bootstrap)
@@@ -61,7 -62,7 +62,7 @@@
     (synopsis "GNU Hello")
     (description "Yeah...")
     (home-page "http://www.gnu.org/software/hello/")
-    (license "GPLv3+")))
+    (license gpl3+)))
  
  (define-public grep
    (package
@@@ -80,7 -81,7 +81,7 @@@
      "The grep command searches one or more input files for lines containing a
  match to a specified pattern.  By default, grep prints the matching
  lines.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/grep/")))
  
  (define-public sed
@@@ -102,7 -103,7 +103,7 @@@ Instead, it is used to filter text, i.e
  some operation (or set of operations) on it and outputs the modified text.
  Sed is typically used for extracting part of a file using pattern matching or
  substituting multiple occurrences of a string within a file.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/sed/")))
  
  (define-public tar
@@@ -132,7 -133,7 +133,7 @@@ tape.  The name \"Tar\" comes from thi
  Despite the utility's name, Tar can direct its output to available devices,
  files, or other programs (using pipes), it can even access remote devices or
  files (as archives).")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/tar/")))
  
  (define-public patch
      "GNU Patch takes a patch file containing a difference listing produced by
  the diff program and applies those differences to one or more original files,
  producing patched versions.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://savannah.gnu.org/projects/patch/")))
  
  (define-public diffutils
@@@ -203,7 -204,7 +204,7 @@@ produce a merged file that contains bot
  warnings about conflicts.
  
  You can use the sdiff command to merge two files interactively.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/diffutils/")))
  
  (define-public findutils
@@@ -245,7 -246,7 +246,7 @@@ The tools supplied with this package ar
    * updatedb - update a file name database;
    * xargs - build and execute command lines from standard input.
  ")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/findutils/")))
  
  (define-public coreutils
@@@ -271,7 -272,7 +272,7 @@@ operating system"
      "The GNU Core Utilities are the basic file, shell and text manipulation
  utilities of the GNU operating system.  These are the core utilities which
  are expected to exist on every operating system.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/coreutils/")))
  
  (define-public gnu-make
@@@ -300,7 -301,7 +301,7 @@@ Make gets its knowledge of how to buil
  makefile, which lists each of the non-source files and how to compute it from
  other files. When you write a program, you should write a makefile for it, so
  that it is possible to use Make to build and install the program.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/make/")))
  
  (define-public binutils
@@@ -334,7 -335,7 +335,7 @@@ assembler, etc.)"
      "The GNU Binutils are a collection of binary tools.  The main ones are
  `ld' (the GNU linker) and `as' (the GNU assembler).  They also include the
  BFD (Binary File Descriptor) library, `gprof', `nm', `strip', etc.")
-    (license "GPLv3+")
+    (license gpl3+)
     (home-page "http://www.gnu.org/software/binutils/")))
  
  (define-public gcc-4.7
@@@ -448,7 -449,7 +449,7 @@@ libraries for these languages (libstdc+
  
  GCC development is a part of the GNU Project, aiming to improve the compiler
  used in the GNU system including the GNU/Linux variant.")
-      (license "GPLv3+")
+      (license gpl3+)
       (home-page "http://gcc.gnu.org/"))))
  
  (define-public glibc
@@@ -520,7 -521,7 +521,7 @@@ printf, exit..
  
  The GNU C library is used as the C library in the GNU system and most systems
  with the Linux kernel.")
-    (license "LGPLv2+")
+    (license lgpl2.0+)
     (home-page "http://www.gnu.org/software/libc/")))
  
  \f
@@@ -774,7 -775,6 +775,7 @@@ identifier SYSTEM.
                      (let* ((binutils (assoc-ref %build-inputs "binutils"))
                             (gcc      (assoc-ref %build-inputs "gcc"))
                             (libc     (assoc-ref %build-inputs "libc"))
 +                           (bash     (assoc-ref %build-inputs "bash"))
                             (out      (assoc-ref %outputs "out"))
                             (bindir   (string-append out "/bin"))
                             (triplet  ,(boot-triplet system)))
                          ;; the dynamic linker.
                          (call-with-output-file "gcc"
                            (lambda (p)
 -                            (format p "#!/bin/sh
 +                            (format p "#!~a/bin/bash
  exec ~a/bin/~a-gcc -B~a/lib -Wl,-dynamic-linker -Wl,~a/~a \"$@\"~%"
 +                                    bash
                                      gcc triplet
                                      libc libc
                                      ,(glibc-dynamic-linker system))))
      (native-inputs
       `(("binutils" ,binutils-boot0)
         ("gcc" ,gcc-boot0)
 -       ("libc" ,glibc-final)))
 +       ("libc" ,glibc-final)
 +       ,(assoc "bash" %boot1-inputs)))
      (inputs '())))
  
  (define %boot2-inputs
  missing `-rpath' flags, and to detect any misuse of libraries outside of the
  store.")
      (home-page #f)
-     (license "GPLv3+")))
+     (license gpl3+)))
  
  (define %boot3-inputs
    ;; 4th stage inputs.
@@@ -17,6 -17,7 +17,7 @@@
  ;;; along with Guix.  If not, see <http://www.gnu.org/licenses/>.
  
  (define-module (distro packages bootstrap)
+   #:use-module (guix licenses)
    #:use-module (distro)
    #:use-module (guix packages)
    #:use-module (guix download)
@@@ -191,7 -192,7 +192,7 @@@ $out/bin/guile --version~%
       (synopsis "Bootstrap Guile")
       (description "Pre-built Guile for bootstrapping purposes.")
       (home-page #f)
-      (license "LGPLv3+"))))
+      (license lgpl3+))))
  
  (define %bootstrap-base-url
    ;; This is where the initial binaries come from.
@@@ -366,9 -367,6 +367,9 @@@ exec ~a/bin/.gcc-wrapped -B~a/lib 
    `(("libc" ,%bootstrap-glibc)
      ("gcc" ,%bootstrap-gcc)
      ("binutils" ,%bootstrap-binutils)
 -    ("coreutils&co" ,%bootstrap-coreutils&co)))
 +    ("coreutils&co" ,%bootstrap-coreutils&co)
 +
 +    ;; In gnu-build-system.scm, we rely on the availability of Bash.
 +    ("bash" ,%bootstrap-coreutils&co)))
  
  ;;; bootstrap.scm ends here
@@@ -17,6 -17,7 +17,7 @@@
  ;;; along with Guix.  If not, see <http://www.gnu.org/licenses/>.
  
  (define-module (distro packages multiprecision)
+   #:use-module (guix licenses)
    #:use-module (distro)
    #:use-module (distro packages m4)
    #:use-module (guix packages)
@@@ -63,7 -64,7 +64,7 @@@ emphasis on speed
  GMP is faster than any other bignum library.  The advantage for GMP increases
  with the operand sizes for many operations, since GMP uses asymptotically
  faster algorithms.")
-    (license "LGPLv3+")
+    (license lgpl3+)
     (home-page "http://gmplib.org/")))
  
  (define-public mpfr
@@@ -89,19 -90,20 +90,19 @@@ The main goal of MPFR is to provide a l
  floating-point computation which is both efficient and has a well-defined
  semantics.  It copies the good ideas from the ANSI/IEEE-754 standard for
  double-precision floating-point arithmetic (53-bit mantissa).")
-    (license "LGPLv3+")
+    (license lgpl3+)
     (home-page "http://www.mpfr.org/")))
  
  (define-public mpc
    (package
     (name "mpc")
 -   (version "1.0")
 +   (version "1.0.1")
     (source (origin
              (method url-fetch)
              (uri (string-append
 -                  "http://www.multiprecision.org/mpc/download/mpc-"
 -                  version ".tar.gz"))
 +                  "mirror://gnu/mpc/mpc-" version ".tar.gz"))
              (sha256 (base32
 -                     "00rxjmkpqnv6zzcyw9aa5w6rzaav32ys87km25zgfcv9i32km5cw"))))
 +                     "1zq0fidp1jii2j5k5n9hmx55a6wwid33gjzhimvxq9d5zrf82npd"))))
     (build-system gnu-build-system)
     (inputs `(("gmp" ,gmp)
               ("mpfr" ,mpfr)))
  with exact rounding")
     (description
      "GNU MPC is a C library for the arithmetic of complex numbers with
 -arbitrarily high precision and correct rounding of the result.  It is built
 -upon and follows the same principles as GNU MPFR.")
 +arbitrarily high precision and correct rounding of the result. It extends
 +the principles of the IEEE-754 standard for fixed precision real floating
 +point numbers to complex numbers, providing well-defined semantics for
 +every operation. At the same time, speed of operation at high precision
 +is a major design goal. The library is built upon and follows the same
 +principles as GNU MPFR.")
-    (license "LGPLv3+")
+    (license lgpl3+)
     (home-page "http://mpc.multiprecision.org/")))