Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] isl, isl15: update homepage and distfile url
@ 2021-10-05  2:49 tornaria
  2021-10-05  7:27 ` dkwo
                   ` (12 more replies)
  0 siblings, 13 replies; 14+ messages in thread
From: tornaria @ 2021-10-05  2:49 UTC (permalink / raw)
  To: ml

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

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

https://github.com/tornaria/void-packages isl
https://github.com/void-linux/void-packages/pull/33332

isl, isl15: update homepage and distfile url
It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.

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

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

From c91024069b11cec727ee229cc01f51f14ba5ab03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Sun, 3 Oct 2021 15:03:15 -0300
Subject: [PATCH] isl, isl15: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl/template   | 20 ++++++++++++--------
 srcpkgs/isl/update     |  2 ++
 srcpkgs/isl15/template | 20 ++++++++++++++------
 srcpkgs/isl15/update   |  4 ++++
 4 files changed, 32 insertions(+), 14 deletions(-)
 create mode 100644 srcpkgs/isl/update
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 397221fbaa41..5f34bbc79972 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,20 +2,24 @@
 pkgname=isl
 version=0.24
 revision=1
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=7f6708cdc4fd64817c1a6902e51927eb9d7e4e87d97e2adbad053c138aa634db
 
-if [ -z "$CHROOT_READY" ]; then
-	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
-	LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
-fi
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
 	vlicense LICENSE
diff --git a/srcpkgs/isl/update b/srcpkgs/isl/update
new file mode 100644
index 000000000000..92718ab2022b
--- /dev/null
+++ b/srcpkgs/isl/update
@@ -0,0 +1,2 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index 9d327a3a53dd..3424e2172c87 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -2,21 +2,29 @@
 pkgname=isl15
 version=0.19
 revision=2
-wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://freecode.com/projects/isl"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=d59726f34f7852a081fbd3defd1ab2136f174110fc2e0c8d10bb122173fa9ed8
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=2f2e7915a7276c3bc3c37643fa093ba774ad7b52556df29cd024939a99698c2e
+
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
+	vlicense LICENSE
 	# Remove gdb python files.
 	rm -f ${DESTDIR}/usr/lib/*.py
-	vlicense LICENSE
 }
 
 isl15-devel_package() {
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 000000000000..f82e86d92d79
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,4 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
+# ad-hoc updates so ignore everything
+ignore=*

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

* Re: isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
@ 2021-10-05  7:27 ` dkwo
  2021-10-05 10:36 ` tornaria
                   ` (11 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: dkwo @ 2021-10-05  7:27 UTC (permalink / raw)
  To: ml

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

New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-934141282

Comment:
There's also https://github.com/Meinersbur/isl
Btw, do you know why a search for isl in void packages gives also isl16-32bit, which leads to 404?

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

* Re: isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
  2021-10-05  7:27 ` dkwo
@ 2021-10-05 10:36 ` tornaria
  2021-10-07  2:32 ` ericonr
                   ` (10 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-05 10:36 UTC (permalink / raw)
  To: ml

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

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-934284927

Comment:
> There's also https://github.com/Meinersbur/isl

I saw that one, but it lags behind and anyway README points to repo.or.cz for at least 9 years. Also no release tarballs there.

There are some tarballs with configure at https://ftp.netbsd.org/pub/pkgsrc/distfiles (sadly not 0.21 which is the version currently used to bootstrap gcc).

There are some comments on the ML: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8

> Btw, do you know why a search for isl in void packages gives also isl16-32bit, which leads to 404?

No idea.


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

* Re: isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
  2021-10-05  7:27 ` dkwo
  2021-10-05 10:36 ` tornaria
@ 2021-10-07  2:32 ` ericonr
  2021-10-07 13:22 ` [PR PATCH] [Updated] " tornaria
                   ` (9 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-10-07  2:32 UTC (permalink / raw)
  To: ml

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

New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-937395001

Comment:
Please split into two commits, since it isn't only changing the URL.

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

* Re: [PR PATCH] [Updated] isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (2 preceding siblings ...)
  2021-10-07  2:32 ` ericonr
@ 2021-10-07 13:22 ` tornaria
  2021-10-07 13:32 ` tornaria
                   ` (8 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-07 13:22 UTC (permalink / raw)
  To: ml

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

There is an updated pull request by tornaria against master on the void-packages repository

https://github.com/tornaria/void-packages isl
https://github.com/void-linux/void-packages/pull/33332

isl, isl15: update homepage and distfile url
It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.

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

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

From a5f5e8bd115272dae5e8d0d4d1661d11b8b76944 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:17:35 -0300
Subject: [PATCH 1/2] isl: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl/template | 20 ++++++++++++--------
 srcpkgs/isl/update   |  2 ++
 2 files changed, 14 insertions(+), 8 deletions(-)
 create mode 100644 srcpkgs/isl/update

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 397221fbaa41..5f34bbc79972 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,20 +2,24 @@
 pkgname=isl
 version=0.24
 revision=1
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=7f6708cdc4fd64817c1a6902e51927eb9d7e4e87d97e2adbad053c138aa634db
 
-if [ -z "$CHROOT_READY" ]; then
-	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
-	LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
-fi
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
 	vlicense LICENSE
diff --git a/srcpkgs/isl/update b/srcpkgs/isl/update
new file mode 100644
index 000000000000..92718ab2022b
--- /dev/null
+++ b/srcpkgs/isl/update
@@ -0,0 +1,2 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"

From ad0a9b92867077343e21464e2463153fc96ef3a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:18:09 -0300
Subject: [PATCH 2/2] isl15: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl15/template | 20 ++++++++++++++------
 srcpkgs/isl15/update   |  4 ++++
 2 files changed, 18 insertions(+), 6 deletions(-)
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index 9d327a3a53dd..3424e2172c87 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -2,21 +2,29 @@
 pkgname=isl15
 version=0.19
 revision=2
-wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://freecode.com/projects/isl"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=d59726f34f7852a081fbd3defd1ab2136f174110fc2e0c8d10bb122173fa9ed8
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=2f2e7915a7276c3bc3c37643fa093ba774ad7b52556df29cd024939a99698c2e
+
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
+	vlicense LICENSE
 	# Remove gdb python files.
 	rm -f ${DESTDIR}/usr/lib/*.py
-	vlicense LICENSE
 }
 
 isl15-devel_package() {
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 000000000000..f82e86d92d79
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,4 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
+# ad-hoc updates so ignore everything
+ignore=*

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

* Re: isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (3 preceding siblings ...)
  2021-10-07 13:22 ` [PR PATCH] [Updated] " tornaria
@ 2021-10-07 13:32 ` tornaria
  2021-10-07 19:35 ` Chocimier
                   ` (7 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-07 13:32 UTC (permalink / raw)
  To: ml

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

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-937797189

Comment:
> Please split into two commits, since it isn't only changing the URL.

Done. It's essentially only changing the URL. The other changes are implied by that, namely:
- the available tarballs are git snapshots and need autotools
- since autotools are not bootstrap, it doesn't make sense for these packages to be bootstrap either

I think isl used to be required for bootstrap (makedepends of gcc) but now it is done in the gcc template, which should also be changed (right now it can't be built unless you have `isl-0.21.tar.bz2` in your sources cache) but I don't know what's the proper way to move forward with that without requiring autotools. I wonder if it's possible to bootstrap gcc without isl and have it "makedepend" on isl only for non-bootstrap builds. I also don't know the reasons why four different versions of isl are used in different places.

BTW, if it's of any help, I do have the original tarballs for all four versions of isl that are used in void-packages right now (0.16, 0.19, 0.21, 0.24).


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

* Re: isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (4 preceding siblings ...)
  2021-10-07 13:32 ` tornaria
@ 2021-10-07 19:35 ` Chocimier
  2021-10-08 12:08 ` [PR PATCH] [Updated] " tornaria
                   ` (6 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: Chocimier @ 2021-10-07 19:35 UTC (permalink / raw)
  To: ml

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

New comment by Chocimier on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-938096132

Comment:
isl is dependency of cloog that is marked as bootstrap, apparently not correct too.

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

* Re: [PR PATCH] [Updated] isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (5 preceding siblings ...)
  2021-10-07 19:35 ` Chocimier
@ 2021-10-08 12:08 ` tornaria
  2021-10-08 21:33 ` tornaria
                   ` (5 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-08 12:08 UTC (permalink / raw)
  To: ml

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

There is an updated pull request by tornaria against master on the void-packages repository

https://github.com/tornaria/void-packages isl
https://github.com/void-linux/void-packages/pull/33332

isl, isl15: update homepage and distfile url
It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.

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

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

From a5f5e8bd115272dae5e8d0d4d1661d11b8b76944 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:17:35 -0300
Subject: [PATCH 1/3] isl: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl/template | 20 ++++++++++++--------
 srcpkgs/isl/update   |  2 ++
 2 files changed, 14 insertions(+), 8 deletions(-)
 create mode 100644 srcpkgs/isl/update

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 397221fbaa41..5f34bbc79972 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,20 +2,24 @@
 pkgname=isl
 version=0.24
 revision=1
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=7f6708cdc4fd64817c1a6902e51927eb9d7e4e87d97e2adbad053c138aa634db
 
-if [ -z "$CHROOT_READY" ]; then
-	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
-	LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
-fi
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
 	vlicense LICENSE
diff --git a/srcpkgs/isl/update b/srcpkgs/isl/update
new file mode 100644
index 000000000000..92718ab2022b
--- /dev/null
+++ b/srcpkgs/isl/update
@@ -0,0 +1,2 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"

From ad0a9b92867077343e21464e2463153fc96ef3a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:18:09 -0300
Subject: [PATCH 2/3] isl15: update homepage and distfile url

It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.
---
 srcpkgs/isl15/template | 20 ++++++++++++++------
 srcpkgs/isl15/update   |  4 ++++
 2 files changed, 18 insertions(+), 6 deletions(-)
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index 9d327a3a53dd..3424e2172c87 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -2,21 +2,29 @@
 pkgname=isl15
 version=0.19
 revision=2
-wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
+hostmakedepends="autoconf automake libtool"
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://freecode.com/projects/isl"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=d59726f34f7852a081fbd3defd1ab2136f174110fc2e0c8d10bb122173fa9ed8
+homepage="https://repo.or.cz/isl.git"
+distfiles="https://repo.or.cz/isl.git/snapshot/isl-${version}.tar.gz"
+checksum=2f2e7915a7276c3bc3c37643fa093ba774ad7b52556df29cd024939a99698c2e
+
+post_extract() {
+	# snapshot dir includes the tag hash, move to $wrksrc
+	mv -T $XBPS_BUILDDIR/isl-isl-${version}-* $wrksrc
+}
+
+pre_configure() {
+	autoreconf -fi
+}
 
 post_install() {
+	vlicense LICENSE
 	# Remove gdb python files.
 	rm -f ${DESTDIR}/usr/lib/*.py
-	vlicense LICENSE
 }
 
 isl15-devel_package() {
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 000000000000..f82e86d92d79
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,4 @@
+site="https://repo.or.cz/isl.git/refs/"
+pattern="tags/isl-\K[\d\.rc-]+"
+# ad-hoc updates so ignore everything
+ignore=*

From ff17a4ab8017614aa8768ff9b7da22927926dec7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Fri, 8 Oct 2021 09:08:10 -0300
Subject: [PATCH 3/3] cloog: remove bootstrap=yes.

---
 srcpkgs/cloog/template | 1 -
 1 file changed, 1 deletion(-)

diff --git a/srcpkgs/cloog/template b/srcpkgs/cloog/template
index 18a84032fdd4..c7b19891f15b 100644
--- a/srcpkgs/cloog/template
+++ b/srcpkgs/cloog/template
@@ -2,7 +2,6 @@
 pkgname=cloog
 version=0.20.0
 revision=1
-bootstrap=yes
 build_style=gnu-configure
 configure_args="--with-isl=system --with-gmp=system --with-gmp-exec-prefix=${XBPS_CROSS_BASE}"
 makedepends="isl-devel"

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

* Re: [PR PATCH] [Updated] isl, isl15: update homepage and distfile url
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (6 preceding siblings ...)
  2021-10-08 12:08 ` [PR PATCH] [Updated] " tornaria
@ 2021-10-08 21:33 ` tornaria
  2021-10-08 21:35 ` isl, isl15, cloog: remove bootstrap=yes tornaria
                   ` (4 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-08 21:33 UTC (permalink / raw)
  To: ml

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

There is an updated pull request by tornaria against master on the void-packages repository

https://github.com/tornaria/void-packages isl
https://github.com/void-linux/void-packages/pull/33332

isl, isl15: update homepage and distfile url
It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.

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

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

From 0375ae319c4fad8edbbc0268a0d5581e59ceefc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:17:35 -0300
Subject: [PATCH 1/3] isl: remove bootstrap=yes

---
 srcpkgs/isl/template | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 6d4e18b18874..c842587f7b7d 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -2,7 +2,6 @@
 pkgname=isl
 version=0.24
 revision=2
-bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
@@ -12,11 +11,6 @@ homepage="https://libisl.sourceforge.io/"
 distfiles="${SOURCEFORGE_SITE}/libisl/isl-${version}.tar.bz2"
 checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
 
-if [ -z "$CHROOT_READY" ]; then
-	CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
-	LDFLAGS="-L${XBPS_MASTERDIR}/usr/lib"
-fi
-
 post_install() {
 	vlicense LICENSE
 	# Remove gdb python files.

From 7dd230effcde17606320b543b38a534a1a6d3e33 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Thu, 7 Oct 2021 10:18:09 -0300
Subject: [PATCH 2/3] isl15: remove bootstrap=yes

---
 srcpkgs/isl15/template | 1 -
 srcpkgs/isl15/update   | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 srcpkgs/isl15/update

diff --git a/srcpkgs/isl15/template b/srcpkgs/isl15/template
index e8225eb6d491..0ef1192a2195 100644
--- a/srcpkgs/isl15/template
+++ b/srcpkgs/isl15/template
@@ -3,7 +3,6 @@ pkgname=isl15
 version=0.19
 revision=3
 wrksrc="isl-${version}"
-bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
diff --git a/srcpkgs/isl15/update b/srcpkgs/isl15/update
new file mode 100644
index 000000000000..ef4dc3a4607f
--- /dev/null
+++ b/srcpkgs/isl15/update
@@ -0,0 +1,3 @@
+pkgname=isl
+# ad-hoc updates so ignore everything
+ignore=*

From 5e77fc098329230e8350f431782d22fe06db0052 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Fri, 8 Oct 2021 09:08:10 -0300
Subject: [PATCH 3/3] cloog: remove bootstrap=yes.

---
 srcpkgs/cloog/template | 1 -
 1 file changed, 1 deletion(-)

diff --git a/srcpkgs/cloog/template b/srcpkgs/cloog/template
index 18a84032fdd4..c7b19891f15b 100644
--- a/srcpkgs/cloog/template
+++ b/srcpkgs/cloog/template
@@ -2,7 +2,6 @@
 pkgname=cloog
 version=0.20.0
 revision=1
-bootstrap=yes
 build_style=gnu-configure
 configure_args="--with-isl=system --with-gmp=system --with-gmp-exec-prefix=${XBPS_CROSS_BASE}"
 makedepends="isl-devel"

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

* Re: isl, isl15, cloog: remove bootstrap=yes
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (7 preceding siblings ...)
  2021-10-08 21:33 ` tornaria
@ 2021-10-08 21:35 ` tornaria
  2021-10-09  1:27 ` [PR REVIEW] " ericonr
                   ` (3 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-08 21:35 UTC (permalink / raw)
  To: ml

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

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#issuecomment-939128951

Comment:
Upstream move to sourceforge done in b2d04215bfd6f916d8df03b7457b33d21b2c2093 and b23d464777d927663ca67c876e2fad749b732931.

Rebased PR to keep the "remove bootstrap=yes" part.

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

* Re: [PR REVIEW] isl, isl15, cloog: remove bootstrap=yes
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (8 preceding siblings ...)
  2021-10-08 21:35 ` isl, isl15, cloog: remove bootstrap=yes tornaria
@ 2021-10-09  1:27 ` ericonr
  2021-10-10 14:38 ` tornaria
                   ` (2 subsequent siblings)
  12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-10-09  1:27 UTC (permalink / raw)
  To: ml

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

New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#discussion_r725410699

Comment:
It's unclear to me what the intention here is. If we ignore all of them, why set `pkgname`? And we would want updates at *some* point.

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

* Re: [PR REVIEW] isl, isl15, cloog: remove bootstrap=yes
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (9 preceding siblings ...)
  2021-10-09  1:27 ` [PR REVIEW] " ericonr
@ 2021-10-10 14:38 ` tornaria
  2021-10-12 19:05 ` ericonr
  2021-10-29 13:57 ` [PR PATCH] [Merged]: " leahneukirchen
  12 siblings, 0 replies; 14+ messages in thread
From: tornaria @ 2021-10-10 14:38 UTC (permalink / raw)
  To: ml

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

New review comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#discussion_r725649409

Comment:
- `pkgname=isl`: because that's the right thing to do, otherwise update-check doesn't find anything.
- `ignore=*`: because this pkg is only used as a dependency for cross gcc so its update is tied to those pkgs. My rationale is: if it isn't going to be updated based on its current version, then it shouldn't be listed as updatable.

Having an empty update file or only `ignore=*`  results in update-check complaining `NO VERSION found for isl15`.

Do you know why gcc and cross-* don't use the latest version of isl?

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

* Re: [PR REVIEW] isl, isl15, cloog: remove bootstrap=yes
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (10 preceding siblings ...)
  2021-10-10 14:38 ` tornaria
@ 2021-10-12 19:05 ` ericonr
  2021-10-29 13:57 ` [PR PATCH] [Merged]: " leahneukirchen
  12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-10-12 19:05 UTC (permalink / raw)
  To: ml

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

New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/33332#discussion_r727414996

Comment:
I don't know, no. Presumably because we didn't want to bump cross toolchains for new isl sonames? I think a cross toolchain update is a good moment to address this and move to a newer version. And possibly even remove isl15.

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

* Re: [PR PATCH] [Merged]: isl, isl15, cloog: remove bootstrap=yes
  2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
                   ` (11 preceding siblings ...)
  2021-10-12 19:05 ` ericonr
@ 2021-10-29 13:57 ` leahneukirchen
  12 siblings, 0 replies; 14+ messages in thread
From: leahneukirchen @ 2021-10-29 13:57 UTC (permalink / raw)
  To: ml

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

There's a merged pull request on the void-packages repository

isl, isl15, cloog: remove bootstrap=yes
https://github.com/void-linux/void-packages/pull/33332

Description:
It seems gforge.inria.fr is down.

Per README, the project repo is on repo.or.cz, but the original tarballs
are not available. The available tarballs need autotools to build.

Also removed 'bootstrap=yes'.

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

end of thread, other threads:[~2021-10-29 13:57 UTC | newest]

Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-05  2:49 [PR PATCH] isl, isl15: update homepage and distfile url tornaria
2021-10-05  7:27 ` dkwo
2021-10-05 10:36 ` tornaria
2021-10-07  2:32 ` ericonr
2021-10-07 13:22 ` [PR PATCH] [Updated] " tornaria
2021-10-07 13:32 ` tornaria
2021-10-07 19:35 ` Chocimier
2021-10-08 12:08 ` [PR PATCH] [Updated] " tornaria
2021-10-08 21:33 ` tornaria
2021-10-08 21:35 ` isl, isl15, cloog: remove bootstrap=yes tornaria
2021-10-09  1:27 ` [PR REVIEW] " ericonr
2021-10-10 14:38 ` tornaria
2021-10-12 19:05 ` ericonr
2021-10-29 13:57 ` [PR PATCH] [Merged]: " leahneukirchen

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).