From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: New package: FPLLL Date: Thu, 20 Dec 2012 00:06:58 +0100 Message-ID: <201212200006.58576.andreas@enge.fr> References: <201212112323.53992.andreas@enge.fr> <201212122027.49427.andreas@enge.fr> Mime-Version: 1.0 Content-Type: Multipart/Mixed; boundary="Boundary-00=_Sik0Qxzg5DC2P7i" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:45408) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TlSjE-0005jf-2U for bug-guix@gnu.org; Wed, 19 Dec 2012 18:07:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TlSj9-0003mB-5U for bug-guix@gnu.org; Wed, 19 Dec 2012 18:07:08 -0500 Received: from moutng.kundenserver.de ([212.227.17.10]:61065) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TlSj8-0003m6-Rs for bug-guix@gnu.org; Wed, 19 Dec 2012 18:07:03 -0500 In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: bug-guix@gnu.org --Boundary-00=_Sik0Qxzg5DC2P7i Content-Type: multipart/alternative; boundary="Boundary-01=_Sik0Qo5ZYlk4HEj" Content-Transfer-Encoding: 7bit --Boundary-01=_Sik0Qo5ZYlk4HEj Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Patch attached for a new file algebra.scm containing fplll and mpfrcx. I also tried to add gmp-ecm, but it is only downloadable over https://, which is not yet implemented. Then I would like to add Pari/GP, but it uses non-standard commands ("./Configure" instead of "./configure", "make all" instead of "make", "make dobench" instead of "make check"; only "make install" is the same). Can this be done easily? Andreas --Boundary-01=_Sik0Qo5ZYlk4HEj Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: 7bit

Patch attached for a new file algebra.scm containing fplll and mpfrcx.

I also tried to add gmp-ecm, but it is only downloadable over https://,

which is not yet implemented.

Then I would like to add Pari/GP, but it uses non-standard commands

("./Configure" instead of "./configure", "make all" instead of "make",

"make dobench" instead of "make check"; only "make install" is the same).

Can this be done easily?

Andreas

--Boundary-01=_Sik0Qo5ZYlk4HEj-- --Boundary-00=_Sik0Qxzg5DC2P7i Content-Type: text/x-patch; charset="UTF-8"; name="0001-distro-Add-mpfrcx-and-fplll.patch" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="0001-distro-Add-mpfrcx-and-fplll.patch" =46rom cee62de2b42d26c0ada1b2d8ecf536199dd0a778 Mon Sep 17 00:00:00 2001 =46rom: Andreas Enge Date: Wed, 19 Dec 2012 23:50:52 +0100 Subject: [PATCH] distro: Add mpfrcx and fplll. * distro/packages/algebra.scm: New file. =2D-- Makefile.am | 1 + distro/packages/algebra.scm | 75 +++++++++++++++++++++++++++++++++++++++= ++++ 2 files changed, 76 insertions(+) create mode 100644 distro/packages/algebra.scm diff --git a/Makefile.am b/Makefile.am index 3d16a16..7a9bc1c 100644 =2D-- a/Makefile.am +++ b/Makefile.am @@ -44,6 +44,7 @@ MODULES =3D \ guix.scm \ distro.scm \ distro/packages/acl.scm \ + distro/packages/algebra.scm \ distro/packages/attr.scm \ distro/packages/autotools.scm \ distro/packages/base.scm \ diff --git a/distro/packages/algebra.scm b/distro/packages/algebra.scm new file mode 100644 index 0000000..1e1f093 =2D-- /dev/null +++ b/distro/packages/algebra.scm @@ -0,0 +1,75 @@ +;;; Guix --- Nix package management from Guile. -*- coding: utf-8 = =2D*- +;;; Copyright (C) 2012 Andreas Enge +;;; +;;; This file is part of Guix. +;;; +;;; 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. +;;; +;;; 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 Guix. If not, see . + +(define-module (distro packages algebra) + #:use-module (distro) + #:use-module (distro packages multiprecision) + #:use-module (guix licenses) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix build-system gnu)) + + +(define-public mpfrcx + (package + (name "mpfrcx") + (version "0.4.1") + (source (origin + (method url-fetch) + (uri (string-append + "http://www.multiprecision.org/mpfrcx/download/mpfrcx-" +version ".tar.gz")) + (sha256 (base32 + "1rrc75chxyicqjgg5mfhgbz7p9mx1fgh0qlx14a82m25vfhifnd1= ")))) + (build-system gnu-build-system) + (inputs `(("gmp" ,gmp) + ("mpfr" ,mpfr) + ("mpc" ,mpc))) + (synopsis "mpfrcx, a library for the arithmetic of univariate polynomia= ls +over arbitrary precision real or complex numbers") + (description + "mpfrcx is a library for the arithmetic of univariate polynomials over +arbitrary precision real (mpfr) or complex (mpc) numbers, without control +on the rounding. For the time being, only the few functions needed to +implement the floating point approach to complex multiplication are +implemented. On the other hand, these comprise asymptotically fast +multiplication routines such as Toom=E2=80=93Cook and the FFT. ") + (license lgpl2.1+) + (home-page "http://mpfrcx.multiprecision.org/"))) + + +(define-public fplll + (package + (name "fplll") + (version "4.0.1") + (source (origin + (method url-fetch) + (uri (string-append + "http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-" +version ".tar.gz")) + (sha256 (base32 + "122bpqdlikshhd7nmq0l5qfc0agyk7x21gvplv1l9hb77l8cy9rw= ")))) + (build-system gnu-build-system) + (inputs `(("gmp" ,gmp) + ("mpfr" ,mpfr))) + (synopsis "fplll, a library for LLL-reduction of euclidean lattices") + (description + "fplll LLL-reduces euclidean lattices. Since version 3, it can also +solve the shortest vector problem.") + (license lgpl2.1+) + (home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/"))) =2D-=20 1.7.10.4 --Boundary-00=_Sik0Qxzg5DC2P7i--