kpriv
/
pkgsrc
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lang/idris2: Add upstream URLs to patches

This commit is contained in:
pho 2023-11-07 03:40:19 +00:00
parent b33440f5c2
commit 43aa3e9748
15 changed files with 47 additions and 71 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
lang/idris2/distinfo
View File

@ -1,20 +1,20 @@
$NetBSD: distinfo,v 1.1 2023/11/06 17:17:50 pho Exp $
$NetBSD: distinfo,v 1.2 2023/11/07 03:40:19 pho Exp $
BLAKE2s (idris2-0.6.0.tgz) = fcf40270e9a4bcceeeeb1eb78c4d9087c5640046ca10efcd16afabcebf6833aa
SHA512 (idris2-0.6.0.tgz) = 97dfdb4a8c115e7f2ed676649ee718f0e8ab257083b1d862a3da63bae92d6bc436cd2d3a9fb25942fc4ce7d69f7431418a3699955fe2dd41d137ac65e6e35755
Size (idris2-0.6.0.tgz) = 3669129 bytes
SHA1 (patch-Makefile) = 7c92742bf4923c04b1ccf636f1c8a4b6487305ad
SHA1 (patch-libs_base_Makefile) = 49f1e858921fe1e5802fe5012f24034bbb25e83a
SHA1 (patch-libs_contrib_Makefile) = 4faac24d8997291e9c61bf39ff3b5f3031412019
SHA1 (patch-Makefile) = 963b7472155e5d6d3b496fa7e79c8510d5d1cae7
SHA1 (patch-libs_base_Makefile) = 6328faf1b0b94193f79d7090193b608655f99a9e
SHA1 (patch-libs_contrib_Makefile) = 66b4178aa3a6ff510e7e78dffcfec67c7ab981a4
SHA1 (patch-libs_linear_Makefile) = 910e8e8ccae3dd56692eb4494d14e1c643f7a1ed
SHA1 (patch-libs_network_Makefile) = 34fe6c8869f238b8cbad3298fbe3504eff2b9fee
SHA1 (patch-libs_prelude_Makefile) = 6d7e3e6d89b051ef34aa50ca93a9f1027373ec12
SHA1 (patch-libs_test_Makefile) = 2a9e2b0fa3ed44afa03d49a24587362d4f2587c8
SHA1 (patch-src_Core_Context.idr) = a1bb82b1f69ad08eea6c71640826fd08cf427dea
SHA1 (patch-src_Core_Options.idr) = 2ff71d86f0f7213bfbcaebf32077dc2e286b061c
SHA1 (patch-src_Idris_CommandLine.idr) = 3a613427843eb1e06eaef002b2c7c7243ed7824c
SHA1 (patch-src_Idris_Package.idr) = b8e2e540cad084f63a70a534899b99d4e37c1c5c
SHA1 (patch-src_Idris_SetOptions.idr) = b049b27a490741ab6994d55bdd4290b804b5acd0
SHA1 (patch-support_c_Makefile) = ade742b02beac3675c08765c9cb3ea696004cd57
SHA1 (patch-support_chez_Makefile) = 4797882ee4251b40e41d27eb9200b16b57d83ac5
SHA1 (patch-support_refc_Makefile) = b7bc02e30e94d239ec0f766cd7405206eef80b62
SHA1 (patch-libs_network_Makefile) = ae9c697d05d90222649f3e4fe878d055e74775d8
SHA1 (patch-libs_prelude_Makefile) = df9125e1123ac1ff01867b0ac242b203804598e6
SHA1 (patch-libs_test_Makefile) = 5b8a0fc26b746400c281e3a82a40eb90125f1e5a
SHA1 (patch-src_Core_Context.idr) = 5b797ef07a73efa12d05be39bb5adaf8145121b9
SHA1 (patch-src_Core_Options.idr) = 49c04bf4a5f8cf55c2338762801756d7fab98f10
SHA1 (patch-src_Idris_CommandLine.idr) = 38c72ece61d17dd11db2e72d663e4f2603ccebd5
SHA1 (patch-src_Idris_Package.idr) = 0af0a15e35b67a41482d349a3f38e4e5de39caa2
SHA1 (patch-src_Idris_SetOptions.idr) = 491cd71c928cbe562c190044feddc31f43d84e1b
SHA1 (patch-support_c_Makefile) = 27b22b6fb07f151dd35cd62a92e557cf6a747830
SHA1 (patch-support_chez_Makefile) = 95e2f15bdffcea28d8974e9e88467c6ed82be980
SHA1 (patch-support_refc_Makefile) = c1571f21c3dad42ece0bd64a02ca32c7e64e6328

9
lang/idris2/patches/patch-Makefile
View File

@ -1,8 +1,11 @@
$NetBSD: patch-Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Don't try to use modules from base until it's built.
Hunk #0:
Don't try to use modules from base until it's built.
https://github.com/idris-lang/Idris2/pull/3135
TODO: Upstream this.
Hunk #1-#2:
Support DESTDIR. Already done in upstream Git HEAD.
--- Makefile.orig 2022-10-27 15:43:33.000000000 +0000
+++ Makefile

6
lang/idris2/patches/patch-libs_base_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-libs_base_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-libs_base_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- libs/base/Makefile.orig 2023-11-04 11:43:10.853911229 +0000
+++ libs/base/Makefile

6
lang/idris2/patches/patch-libs_contrib_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-libs_contrib_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-libs_contrib_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- libs/contrib/Makefile.orig 2023-11-04 11:43:51.980988534 +0000
+++ libs/contrib/Makefile

6
lang/idris2/patches/patch-libs_network_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-libs_network_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-libs_network_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- libs/network/Makefile.orig 2023-11-04 11:43:26.625498660 +0000
+++ libs/network/Makefile

6
lang/idris2/patches/patch-libs_prelude_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-libs_prelude_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-libs_prelude_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- libs/prelude/Makefile.orig 2023-11-04 11:42:21.918959859 +0000
+++ libs/prelude/Makefile

6
lang/idris2/patches/patch-libs_test_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-libs_test_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-libs_test_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- libs/test/Makefile.orig 2023-11-04 11:44:01.986154623 +0000
+++ libs/test/Makefile

6
lang/idris2/patches/patch-src_Core_Context.idr
View File

@ -1,8 +1,6 @@
$NetBSD: patch-src_Core_Context.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-src_Core_Context.idr,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- src/Core/Context.idr.orig 2022-10-27 15:43:33.000000000 +0000
+++ src/Core/Context.idr

7
lang/idris2/patches/patch-src_Core_Options.idr
View File

@ -1,9 +1,6 @@
$NetBSD: patch-src_Core_Options.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-src_Core_Options.idr,v 1.2 2023/11/07 03:40:19 pho Exp $
Hunk #0, #1, #2:
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- src/Core/Options.idr.orig 2022-10-27 15:43:33.000000000 +0000
+++ src/Core/Options.idr

6
lang/idris2/patches/patch-src_Idris_CommandLine.idr
View File

@ -1,8 +1,6 @@
$NetBSD: patch-src_Idris_CommandLine.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-src_Idris_CommandLine.idr,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- src/Idris/CommandLine.idr.orig 2022-10-27 15:43:33.000000000 +0000
+++ src/Idris/CommandLine.idr

6
lang/idris2/patches/patch-src_Idris_Package.idr
View File

@ -1,8 +1,6 @@
$NetBSD: patch-src_Idris_Package.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-src_Idris_Package.idr,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- src/Idris/Package.idr.orig 2022-10-27 15:43:33.000000000 +0000
+++ src/Idris/Package.idr

6
lang/idris2/patches/patch-src_Idris_SetOptions.idr
View File

@ -1,8 +1,6 @@
$NetBSD: patch-src_Idris_SetOptions.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-src_Idris_SetOptions.idr,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- src/Idris/SetOptions.idr.orig 2022-10-27 15:43:33.000000000 +0000
+++ src/Idris/SetOptions.idr

6
lang/idris2/patches/patch-support_c_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-support_c_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-support_c_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- support/c/Makefile.orig 2023-11-04 13:09:21.513363755 +0000
+++ support/c/Makefile

6
lang/idris2/patches/patch-support_chez_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-support_chez_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-support_chez_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- support/chez/Makefile.orig 2023-11-04 13:10:25.634724475 +0000
+++ support/chez/Makefile

6
lang/idris2/patches/patch-support_refc_Makefile
View File

@ -1,8 +1,6 @@
$NetBSD: patch-support_refc_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
$NetBSD: patch-support_refc_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $
Add DESTDIR support.
TODO: Upstream this
Add DESTDIR support. Already done in upstream Git HEAD.
--- support/refc/Makefile.orig 2023-11-04 13:10:04.366066212 +0000
+++ support/refc/Makefile