CVS commit: pkgsrc/lang/idris2

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/lang/idris2
From: "Masatake Daimon" <pho%netbsd.org@localhost>
Date: Tue, 7 Nov 2023 03:40:19 +0000

Module Name:    pkgsrc
Committed By:   pho
Date:           Tue Nov  7 03:40:19 UTC 2023

Modified Files:
        pkgsrc/lang/idris2: distinfo
        pkgsrc/lang/idris2/patches: patch-Makefile patch-libs_base_Makefile
            patch-libs_contrib_Makefile patch-libs_network_Makefile
            patch-libs_prelude_Makefile patch-libs_test_Makefile
            patch-src_Core_Context.idr patch-src_Core_Options.idr
            patch-src_Idris_CommandLine.idr patch-src_Idris_Package.idr
            patch-src_Idris_SetOptions.idr patch-support_c_Makefile
            patch-support_chez_Makefile patch-support_refc_Makefile

Log Message:
lang/idris2: Add upstream URLs to patches


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris2/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris2/patches/patch-Makefile \
    pkgsrc/lang/idris2/patches/patch-libs_base_Makefile \
    pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile \
    pkgsrc/lang/idris2/patches/patch-libs_network_Makefile \
    pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile \
    pkgsrc/lang/idris2/patches/patch-libs_test_Makefile \
    pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr \
    pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr \
    pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr \
    pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr \
    pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr \
    pkgsrc/lang/idris2/patches/patch-support_c_Makefile \
    pkgsrc/lang/idris2/patches/patch-support_chez_Makefile \
    pkgsrc/lang/idris2/patches/patch-support_refc_Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/idris2/distinfo
diff -u pkgsrc/lang/idris2/distinfo:1.1 pkgsrc/lang/idris2/distinfo:1.2
--- pkgsrc/lang/idris2/distinfo:1.1     Mon Nov  6 17:17:50 2023
+++ pkgsrc/lang/idris2/distinfo Tue Nov  7 03:40:19 2023
@@ -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

Index: pkgsrc/lang/idris2/patches/patch-Makefile
diff -u pkgsrc/lang/idris2/patches/patch-Makefile:1.1 pkgsrc/lang/idris2/patches/patch-Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-Makefile:1.1       Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-Makefile   Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-libs_base_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-libs_base_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-libs_base_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-libs_base_Makefile:1.1     Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_base_Makefile Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile      Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-libs_network_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-libs_network_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-libs_network_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-libs_network_Makefile:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_network_Makefile      Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile      Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-libs_test_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-libs_test_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-libs_test_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-libs_test_Makefile:1.1     Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_test_Makefile Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr
diff -u pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr:1.1 pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr:1.2
--- pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr:1.1   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr       Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr
diff -u pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr:1.1 pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr:1.2
--- pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr:1.1   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr       Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr
diff -u pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr:1.1 pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr:1.2
--- pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr:1.1      Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr  Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr
diff -u pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr:1.1 pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr:1.2
--- pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr      Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr
diff -u pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr:1.1 pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr:1.2
--- pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr:1.1       Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr   Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-support_c_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-support_c_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-support_c_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-support_c_Makefile:1.1     Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_c_Makefile Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-support_chez_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-support_chez_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-support_chez_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-support_chez_Makefile:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_chez_Makefile      Tue Nov  7 03:40:19 2023
@@ -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
Index: pkgsrc/lang/idris2/patches/patch-support_refc_Makefile
diff -u pkgsrc/lang/idris2/patches/patch-support_refc_Makefile:1.1 pkgsrc/lang/idris2/patches/patch-support_refc_Makefile:1.2
--- pkgsrc/lang/idris2/patches/patch-support_refc_Makefile:1.1  Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_refc_Makefile      Tue Nov  7 03:40:19 2023
@@ -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

Prev by Date: CVS commit: pkgsrc/security/openssh
Next by Date: CVS commit: pkgsrc/shells/oh-my-posh
Previous by Thread: CVS commit: pkgsrc/security/openssh
Next by Thread: CVS commit: pkgsrc/shells/oh-my-posh
Indexes:

Home | Main Index | Thread Index | Old Index