Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy
@ 2020-09-16 19:14 motorto
  2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: motorto @ 2020-09-16 19:14 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 334 bytes --]

There is a new pull request by motorto against master on the void-packages repository

https://github.com/motorto/void-packages pari
https://github.com/void-linux/void-packages/pull/24946

Pari seadata and seadata-big , fix wildcard on vcopy


A patch file from https://github.com/void-linux/void-packages/pull/24946.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-pari-24946.patch --]
[-- Type: text/x-diff, Size: 2104 bytes --]

From e60112df424a55f23fee7938aca5a7479afe5d63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:11:37 +0100
Subject: [PATCH 1/2] pari-seadata: fix vcopy / add wildcard

---
 srcpkgs/pari-seadata/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index f83c57ebcd2..35637b4e85f 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -1,7 +1,7 @@
 # Template file for 'pari-seadata'
 pkgname=pari-seadata
 version=20090618
-revision=1
+revision=2
 create_wrksrc=yes
 depends="pari"
 short_desc="PARI/GP package needed by ellap for large primes up to 750 bit"
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
 
 do_install() {
  vmkdir usr/share/pari/seadata
- vcopy "data/seadata/sea???" usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari/seadata
 }

From 47b02010f855c8cf5bc0aed193d7e324af805498 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:13:12 +0100
Subject: [PATCH 2/2] pari-seadata-big: fix vcopy / add wildcard

---
 srcpkgs/pari-seadata-big/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/pari-seadata-big/template b/srcpkgs/pari-seadata-big/template
index 04023e731e8..31aa207eae5 100644
--- a/srcpkgs/pari-seadata-big/template
+++ b/srcpkgs/pari-seadata-big/template
@@ -1,9 +1,9 @@
 # Template file for 'pari-seadata-big'
 pkgname=pari-seadata-big
 version=20170418
-revision=1
+revision=2
 create_wrksrc=yes
-depends="pari"
+depends="pari pari-seadata"
 short_desc="PARI/GP package needed by ellap for large primes up to 1100 bits"
 maintainer="André Cerqueira <acerqueira021@gmail.com>"
 license="GPL-3.0-or-later"
@@ -13,5 +13,5 @@ checksum=7c4db2624808a5bbd2ba00f8b644a439f0508532efd680a247610fdd5822a5f2
 
 do_install() {
  vmkdir  usr/share/pari
- vcopy data/seadata usr/share/pari
+ vcopy data/seadata/sea*.gz usr/share/pari
 }

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2020-09-21 14:55 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
2020-09-17  0:26 ` sgn
2020-09-17  0:27 ` [PR REVIEW] " sgn
2020-09-17  8:10 ` dkwo
2020-09-17  8:33 ` [PR PATCH] [Updated] " motorto
2020-09-17  8:35 ` motorto
2020-09-17  8:37 ` motorto
2020-09-17  8:39 ` motorto
2020-09-17  8:39 ` motorto
2020-09-21 14:55 ` [PR PATCH] [Merged]: " sgn

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).