+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris2-0.6.0/work.log + su pbulk -c '"$@"' make /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris2-0.6.0/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for idris2-0.6.0.tgz => Checksum SHA512 OK for idris2-0.6.0.tgz ===> Installing dependencies for idris2-0.6.0 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency nbpatch-[0-9]*: found nbpatch-20151107 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Full dependency chezscheme-[0-9]*: found chezscheme-9.9.9alpha2023.11.03 => Full dependency gmp>=5.0.1: found gmp-6.3.0 ===> Overriding tools for idris2-0.6.0 ===> Extracting for idris2-0.6.0 ===> Patching for idris2-0.6.0 => Applying pkgsrc patches for idris2-0.6.0 => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_base_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_base_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_base_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- libs/base/Makefile.orig 2023-11-04 11:43:10.853911229 +0000 |+++ libs/base/Makefile -------------------------- Patching file libs/base/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_contrib_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_contrib_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_contrib_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- libs/contrib/Makefile.orig 2023-11-04 11:43:51.980988534 +0000 |+++ libs/contrib/Makefile -------------------------- Patching file libs/contrib/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_linear_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_linear_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_linear_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $ | |Add DESTDIR support. | |TODO: Upstream this | |--- libs/linear/Makefile.orig 2023-11-04 11:43:18.340668414 +0000 |+++ libs/linear/Makefile -------------------------- Patching file libs/linear/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_network_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_network_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_network_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- libs/network/Makefile.orig 2023-11-04 11:43:26.625498660 +0000 |+++ libs/network/Makefile -------------------------- Patching file libs/network/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_prelude_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_prelude_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_prelude_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- libs/prelude/Makefile.orig 2023-11-04 11:42:21.918959859 +0000 |+++ libs/prelude/Makefile -------------------------- Patching file libs/prelude/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_test_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-libs_test_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-libs_test_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- libs/test/Makefile.orig 2023-11-04 11:44:01.986154623 +0000 |+++ libs/test/Makefile -------------------------- Patching file libs/test/Makefile using Plan A... Hunk #1 succeeded at 2. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Hunk #0: | Don't try to use modules from base until it's built. | https://github.com/idris-lang/Idris2/pull/3135 | |Hunk #1-#2: | Support DESTDIR. Already done in upstream Git HEAD. | |--- Makefile.orig 2022-10-27 15:43:33.000000000 +0000 |+++ Makefile -------------------------- Patching file Makefile using Plan A... Hunk #1 succeeded at 86. Hunk #2 succeeded at 192. Hunk #3 succeeded at 234. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Core_Context.idr => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Core_Context.idr Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Core_Context.idr,v 1.2 2023/11/07 03:40:19 pho Exp $ | |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 -------------------------- Patching file src/Core/Context.idr using Plan A... Hunk #1 succeeded at 2112. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Core_Options.idr => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Core_Options.idr Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Core_Options.idr,v 1.2 2023/11/07 03:40:19 pho Exp $ | |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 -------------------------- Patching file src/Core/Options.idr using Plan A... Hunk #1 succeeded at 22. Hunk #2 succeeded at 39. Hunk #3 succeeded at 212. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_CommandLine.idr => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_CommandLine.idr Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_CommandLine.idr,v 1.2 2023/11/07 03:40:19 pho Exp $ | |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 -------------------------- Patching file src/Idris/CommandLine.idr using Plan A... Hunk #1 succeeded at 84. Hunk #2 succeeded at 242. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_Package.idr => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_Package.idr Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Package.idr,v 1.2 2023/11/07 03:40:19 pho Exp $ | |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 -------------------------- Patching file src/Idris/Package.idr using Plan A... Hunk #1 succeeded at 582. Hunk #2 succeeded at 935. Hunk #3 succeeded at 968. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_SetOptions.idr => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-src_Idris_SetOptions.idr Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_SetOptions.idr,v 1.2 2023/11/07 03:40:19 pho Exp $ | |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 -------------------------- Patching file src/Idris/SetOptions.idr using Plan A... Hunk #1 succeeded at 362. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_chez_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_chez_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-support_chez_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- support/chez/Makefile.orig 2023-11-04 13:10:25.634724475 +0000 |+++ support/chez/Makefile -------------------------- Patching file support/chez/Makefile using Plan A... Hunk #1 succeeded at 10. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_c_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_c_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-support_c_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- support/c/Makefile.orig 2023-11-04 13:09:21.513363755 +0000 |+++ support/c/Makefile -------------------------- Patching file support/c/Makefile using Plan A... Hunk #1 succeeded at 53. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_refc_Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/lang/idris2/patches/patch-support_refc_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-support_refc_Makefile,v 1.2 2023/11/07 03:40:19 pho Exp $ | |Add DESTDIR support. Already done in upstream Git HEAD. | |--- support/refc/Makefile.orig 2023-11-04 13:10:04.366066212 +0000 |+++ support/refc/Makefile -------------------------- Patching file support/refc/Makefile using Plan A... Hunk #1 succeeded at 43. done ===> Creating toolchain wrappers for idris2-0.6.0