From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Vong Subject: [PATCH 2/2] gnu: Add Mlucas. Date: Sun, 25 Oct 2015 14:12:01 +0800 Message-ID: <20151025141201.0f64fc35@debian> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55980) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZqEmZ-0003HL-KY for guix-devel@gnu.org; Sun, 25 Oct 2015 02:27:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZqEmX-0001hc-KQ for guix-devel@gnu.org; Sun, 25 Oct 2015 02:27:55 -0400 Received: from mail-pa0-x230.google.com ([2607:f8b0:400e:c03::230]:33265) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZqEmX-0001hV-CM for guix-devel@gnu.org; Sun, 25 Oct 2015 02:27:53 -0400 Received: by pacfa8 with SMTP id fa8so700764pac.0 for ; Sat, 24 Oct 2015 23:27:52 -0700 (PDT) Received: from debian (pcd372091.netvigator.com. [203.218.162.91]) by smtp.gmail.com with ESMTPSA id sz9sm27254275pab.13.2015.10.24.23.27.51 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 24 Oct 2015 23:27:52 -0700 (PDT) List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org =46rom 876bbbeafaa2dae8e584820645ca21efecf6ae7c Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Sun, 25 Oct 2015 00:18:29 +0800 Subject: [PATCH 2/2] gnu: Add Mlucas. * gnu/packages/mlucas.scm: New file. * gnu-system.am (GNU_SYSTEM_MODULES): Register it. --- gnu-system.am | 1 + gnu/packages/mlucas.scm | 92 +++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 93 insertions(+) create mode 100644 gnu/packages/mlucas.scm diff --git a/gnu-system.am b/gnu-system.am index 3e976e9..66265e5 100644 --- a/gnu-system.am +++ b/gnu-system.am @@ -215,6 +215,7 @@ GNU_SYSTEM_MODULES =3D \ gnu/packages/mg.scm \ gnu/packages/miscfiles.scm \ gnu/packages/mit-krb5.scm \ + gnu/packages/mlucas.scm \ gnu/packages/moe.scm \ gnu/packages/moreutils.scm \ gnu/packages/mpd.scm \ diff --git a/gnu/packages/mlucas.scm b/gnu/packages/mlucas.scm new file mode 100644 index 0000000..17eeb8a --- /dev/null +++ b/gnu/packages/mlucas.scm @@ -0,0 +1,92 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright =C2=A9 2015 Alex Vong +;;; +;;; 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 . + +(define-module (gnu packages mlucas) + #:use-module (guix packages) + #:use-module (guix download) + #:use-module (guix build-system gnu) + #:use-module (guix build build-flags) + #:use-module (guix licenses) + #:use-module (gnu packages base) + #:use-module (gnu packages autogen) + #:use-module (gnu packages autotools) + #:use-module (gnu packages perl)) + +(define-public mlucas + (let ( ; some dpkg-buildflags and custom build flags presented as flag-list + (custom-flag-list + (flag-list- + (flag-list+ all-flag-list + (flag-list + #:CFLAGS '("-Ofast" + "-pipe" + "-flto" + "-fno-aggressive-loop-optimizations") + #:LDFLAGS '("-Wl,--as-needed"))) + default-flag-list))) + ;; start package definition + (package + (name "mlucas") + (version "14.1") + (source (origin + (method url-fetch) + (uri (string-append "http://hogranch.com/mayer/src/C/mlucas-" + version + ".tar.xz")) + (sha256 + (base32 + "1i6j1479icxfwp3ixs6dk65qilv9hn7213q3iibndlgwjfmh0gb4")))) + (build-system gnu-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-before 'configure + 'bootstrap + (lambda _ + (zero? (system "./bootstrap"))))) + #:configure-flags + '("--disable-NORMAL-CFLAGS" + "--disable-TRICKY-CFLAGS" + "--enable-MLUCAS-DEFAULT-PATH" + "--enable-verbose-compiler" + ,@(flag-list->string-list custom-flag-list)))) + ;; run-time dependencies + (propagated-inputs `(("coreutils" ,coreutils) + ("sed" ,sed))) + ;; build-time dependencies + (native-inputs `(("autogen" ,autogen) + ("autoconf" ,autoconf) + ("automake" ,automake) + ("perl" ,perl))) + ;; descriptions of the package + (synopsis "Program to perform Lucas-Lehmer test on a Mersenne number") + (description "mlucas performs Lucas-Lehmer test +on prime-exponent Mersenne numbers, +that is, integers of the form 2 ^ p - 1, with prime exponent p. +In short, everything you need to search for world-record Mersenne primes! +It has been used in the verification of various Mersenne primes, +including the 45th, 46th and 48th found Mersenne prime. + +You may use it to test any suitable number as you wish, +but it is preferable that you do so in a coordinated fashion, +as part of the Great Internet Mersenne Prime Search (GIMPS). +For more information on GIMPS, +see for details. +") + (home-page "http://hogranch.com/mayer/README.html") + (license gpl2+)))) --=20 2.1.4