From unknown Sat Jun 14 03:54:47 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35527] [PATCH] gnu: Add nauty. Resent-From: Nicolas Goaziou Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 01 May 2019 20:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 35527 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35527@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155674139623871 (code B ref -1); Wed, 01 May 2019 20:10:02 +0000 Received: (at submit) by debbugs.gnu.org; 1 May 2019 20:09:56 +0000 Received: from localhost ([127.0.0.1]:45008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLvYC-0006Cx-67 for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:56 -0400 Received: from eggs.gnu.org ([209.51.188.92]:33618) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLvYA-0006Ch-B9 for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:44928) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLvY5-0007PM-6D for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:47997) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLvY3-0006HN-NU for guix-patches@gnu.org; Wed, 01 May 2019 16:09:49 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_LOW, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLvY2-0007Oa-At for guix-patches@gnu.org; Wed, 01 May 2019 16:09:47 -0400 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:52341) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLvY1-0007Nn-WD for guix-patches@gnu.org; Wed, 01 May 2019 16:09:46 -0400 X-Originating-IP: 185.131.40.67 Received: from localhost (40-67.ipv4.commingeshautdebit.fr [185.131.40.67]) (Authenticated sender: admin@nicolasgoaziou.fr) by relay9-d.mail.gandi.net (Postfix) with ESMTPSA id F0FB8FF809 for ; Wed, 1 May 2019 20:09:41 +0000 (UTC) From: Nicolas Goaziou Date: Wed, 01 May 2019 22:09:41 +0200 Message-ID: <874l6ec4xm.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 217.70.183.199 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.6 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.6 (--) --=-=-= Content-Type: text/plain Hello, The following patch adds nauty to maths.scm. Upstream doesn't provide any install target, so installation is rather rough. In particular, it creates a lot of executables. For the record, Debian prefix all of them with "nauty-" (except for the main one: "dreadnaut"). I sticked to upstream names. There is no missing module, I promise. ;) Feedback welcome. Regards, -- Nicolas Goaziou --=-=-= Content-Type: text/x-diff Content-Disposition: attachment; filename=0001-gnu-Add-nauty.patch >From 4f349819dd4492b99a044117d402983b358b2c6b Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Wed, 1 May 2019 21:58:35 +0200 Subject: [PATCH] gnu: Add nauty. * gnu/packages/maths.scm (nauty): New variable. --- gnu/packages/maths.scm | 69 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d59028599f..8553ddab4b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4908,3 +4908,72 @@ coordinated fashion, as part of the Great Internet Mersenne Prime Search (GIMPS). Mlucas also includes a simple Python script for assignment management via the GIMPS project's Primenet server.") (license license:gpl2+))) + +(define-public nauty + (package + (name "nauty") + (version "2.6r11") + (source (origin + (method url-fetch) + (uri (string-append + "https://pallini.di.uniroma1.it/" + "nauty" (string-join (string-split version #\.) "") + ".tar.gz")) + (sha256 + (base32 + "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y")))) + (build-system gnu-build-system) + (outputs '("out" "lib")) + (arguments + `(#:test-target "checks" + #:phases + (modify-phases %standard-phases + ;; Default make target does not build all available + ;; executables. Create them now. + (add-after 'build 'build-extra-programs + (lambda _ + (for-each (lambda (target) (invoke "make" target)) + '("blisstog" "bliss2dre" "checks6" "sumlines")) + #t)) + ;; Upstream does not provide any install target. + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (lib-output (assoc-ref outputs "lib")) + (bin (string-append out "/bin")) + (doc (string-append out "/share/doc/nauty/")) + (include (string-append lib-output "/include/nauty")) + (lib (string-append lib-output "/lib/nauty"))) + (for-each (lambda (f) (install-file f bin)) + '("dreadnaut" "NRswitchg" "addedgeg" "amtog" "biplabg" + "blisstog" "bliss2dre" "catg" "checks6" "complg" + "converseg" "copyg" "countg" "cubhamg" "deledgeg" + "delptg" "directg" "dretodot" "dretog" "genbg" + "genbgL" "geng" "genquarticg" "genrang" "genspecialg" + "gentourng" "gentreeg" "hamheuristic" "labelg" + "linegraphg" "listg" "multig" "newedgeg" "pickg" + "planarg" "ranlabg" "shortg" "showg" "subdivideg" + "sumlines" "twohamg" "vcolg" "watercluster2")) + (for-each (lambda (f) (install-file f include)) + (find-files "." "\\.h$")) + (for-each (lambda (f) (install-file f lib)) + (find-files "." "\\.a$")) + (for-each (lambda (f) (install-file f doc)) + (append '("formats.txt" "README" "schreier.txt") + (find-files "." "\\.pdf$"))))))))) + (inputs + `(("gmp" ,gmp))) ;for sumlines + (home-page "https://pallini.di.uniroma1.it/") + (synopsis "Library for graph automorphisms") + (description "@code{nauty} (No AUTomorphisms, Yes?) is a set of +procedures for computing automorphism groups of graphs and digraphs. + +@code{nauty} computes graph information in the form of a set of +generators, the size of the group, and the orbits of the group; it can +also produce a canonical label. The @code{nauty} suite is written in +C and comes with a command-line interface, a collection of +command-line tools, and an Application Programming Interface (API). + +This package provides the static libraries required to run programs +compiled against the nauty library.") + (license license:asl2.0))) -- 2.21.0 --=-=-=-- From unknown Sat Jun 14 03:54:47 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Nicolas Goaziou Subject: bug#35527: closed (Re: [PATCH] gnu: Add nauty.) Message-ID: References: <87h89u5c24.fsf@nicolasgoaziou.fr> <874l6ec4xm.fsf@nicolasgoaziou.fr> X-Gnu-PR-Message: they-closed 35527 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 35527@debbugs.gnu.org Date: Thu, 16 May 2019 21:24:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1558041842-18227-1" This is a multi-part message in MIME format... ------------=_1558041842-18227-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #35527: [PATCH] gnu: Add nauty. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 35527@debbugs.gnu.org. --=20 35527: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D35527 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1558041842-18227-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 35527-done) by debbugs.gnu.org; 16 May 2019 21:23:13 +0000 Received: from localhost ([127.0.0.1]:56630 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hRNqK-0004if-QS for submit@debbugs.gnu.org; Thu, 16 May 2019 17:23:13 -0400 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:58369) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hRNqI-0004iR-Rz for 35527-done@debbugs.gnu.org; Thu, 16 May 2019 17:23:11 -0400 X-Originating-IP: 185.131.40.67 Received: from localhost (40-67.ipv4.commingeshautdebit.fr [185.131.40.67]) (Authenticated sender: admin@nicolasgoaziou.fr) by relay7-d.mail.gandi.net (Postfix) with ESMTPSA id C144E20008 for <35527-done@debbugs.gnu.org>; Thu, 16 May 2019 21:23:00 +0000 (UTC) From: Nicolas Goaziou To: 35527-done@debbugs.gnu.org Subject: Re: [PATCH] gnu: Add nauty. Date: Thu, 16 May 2019 23:22:59 +0200 Message-ID: <87h89u5c24.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 35527-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Applied. ------------=_1558041842-18227-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 1 May 2019 20:09:56 +0000 Received: from localhost ([127.0.0.1]:45008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLvYC-0006Cx-67 for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:56 -0400 Received: from eggs.gnu.org ([209.51.188.92]:33618) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hLvYA-0006Ch-B9 for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:44928) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLvY5-0007PM-6D for submit@debbugs.gnu.org; Wed, 01 May 2019 16:09:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:47997) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hLvY3-0006HN-NU for guix-patches@gnu.org; Wed, 01 May 2019 16:09:49 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_LOW, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hLvY2-0007Oa-At for guix-patches@gnu.org; Wed, 01 May 2019 16:09:47 -0400 Received: from relay9-d.mail.gandi.net ([217.70.183.199]:52341) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hLvY1-0007Nn-WD for guix-patches@gnu.org; Wed, 01 May 2019 16:09:46 -0400 X-Originating-IP: 185.131.40.67 Received: from localhost (40-67.ipv4.commingeshautdebit.fr [185.131.40.67]) (Authenticated sender: admin@nicolasgoaziou.fr) by relay9-d.mail.gandi.net (Postfix) with ESMTPSA id F0FB8FF809 for ; Wed, 1 May 2019 20:09:41 +0000 (UTC) From: Nicolas Goaziou To: guix-patches@gnu.org Subject: [PATCH] gnu: Add nauty. Date: Wed, 01 May 2019 22:09:41 +0200 Message-ID: <874l6ec4xm.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 217.70.183.199 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -1.6 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.6 (--) --=-=-= Content-Type: text/plain Hello, The following patch adds nauty to maths.scm. Upstream doesn't provide any install target, so installation is rather rough. In particular, it creates a lot of executables. For the record, Debian prefix all of them with "nauty-" (except for the main one: "dreadnaut"). I sticked to upstream names. There is no missing module, I promise. ;) Feedback welcome. Regards, -- Nicolas Goaziou --=-=-= Content-Type: text/x-diff Content-Disposition: attachment; filename=0001-gnu-Add-nauty.patch >From 4f349819dd4492b99a044117d402983b358b2c6b Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Wed, 1 May 2019 21:58:35 +0200 Subject: [PATCH] gnu: Add nauty. * gnu/packages/maths.scm (nauty): New variable. --- gnu/packages/maths.scm | 69 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index d59028599f..8553ddab4b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4908,3 +4908,72 @@ coordinated fashion, as part of the Great Internet Mersenne Prime Search (GIMPS). Mlucas also includes a simple Python script for assignment management via the GIMPS project's Primenet server.") (license license:gpl2+))) + +(define-public nauty + (package + (name "nauty") + (version "2.6r11") + (source (origin + (method url-fetch) + (uri (string-append + "https://pallini.di.uniroma1.it/" + "nauty" (string-join (string-split version #\.) "") + ".tar.gz")) + (sha256 + (base32 + "05z6mk7c31j70md83396cdjmvzzip1hqb88pfszzc6k4gy8h3m2y")))) + (build-system gnu-build-system) + (outputs '("out" "lib")) + (arguments + `(#:test-target "checks" + #:phases + (modify-phases %standard-phases + ;; Default make target does not build all available + ;; executables. Create them now. + (add-after 'build 'build-extra-programs + (lambda _ + (for-each (lambda (target) (invoke "make" target)) + '("blisstog" "bliss2dre" "checks6" "sumlines")) + #t)) + ;; Upstream does not provide any install target. + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (lib-output (assoc-ref outputs "lib")) + (bin (string-append out "/bin")) + (doc (string-append out "/share/doc/nauty/")) + (include (string-append lib-output "/include/nauty")) + (lib (string-append lib-output "/lib/nauty"))) + (for-each (lambda (f) (install-file f bin)) + '("dreadnaut" "NRswitchg" "addedgeg" "amtog" "biplabg" + "blisstog" "bliss2dre" "catg" "checks6" "complg" + "converseg" "copyg" "countg" "cubhamg" "deledgeg" + "delptg" "directg" "dretodot" "dretog" "genbg" + "genbgL" "geng" "genquarticg" "genrang" "genspecialg" + "gentourng" "gentreeg" "hamheuristic" "labelg" + "linegraphg" "listg" "multig" "newedgeg" "pickg" + "planarg" "ranlabg" "shortg" "showg" "subdivideg" + "sumlines" "twohamg" "vcolg" "watercluster2")) + (for-each (lambda (f) (install-file f include)) + (find-files "." "\\.h$")) + (for-each (lambda (f) (install-file f lib)) + (find-files "." "\\.a$")) + (for-each (lambda (f) (install-file f doc)) + (append '("formats.txt" "README" "schreier.txt") + (find-files "." "\\.pdf$"))))))))) + (inputs + `(("gmp" ,gmp))) ;for sumlines + (home-page "https://pallini.di.uniroma1.it/") + (synopsis "Library for graph automorphisms") + (description "@code{nauty} (No AUTomorphisms, Yes?) is a set of +procedures for computing automorphism groups of graphs and digraphs. + +@code{nauty} computes graph information in the form of a set of +generators, the size of the group, and the orbits of the group; it can +also produce a canonical label. The @code{nauty} suite is written in +C and comes with a command-line interface, a collection of +command-line tools, and an Application Programming Interface (API). + +This package provides the static libraries required to run programs +compiled against the nauty library.") + (license license:asl2.0))) -- 2.21.0 --=-=-=-- ------------=_1558041842-18227-1--