=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for idris-1.3.4.tar.gz => Checksum SHA512 OK for idris-1.3.4.tar.gz ===> Installing dependencies for idris-1.3.4nb5 ========================================================================== The supported build options for idris are: gmp idris-ffi The currently selected options are: gmp idris-ffi You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.idris (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, idris-1.3.4nb5. Their current value is shown below: * CURSES_DEFAULT = curses * HASKELL_ENABLE_HADDOCK_DOCUMENTATION = yes * HASKELL_ENABLE_LIBRARY_PROFILING = no * HASKELL_ENABLE_SHARED_LIBRARY = no Based on these variables, the following variables have been set: * CURSES_TYPE = curses You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency gmake>=3.81: found gmake-4.3nb4 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Full dependency hs-optparse-applicative>=0.17.0.0nb2: found hs-optparse-applicative-0.17.0.0nb2 => Full dependency hs-ansi-wl-pprint>=0.6.9nb4: found hs-ansi-wl-pprint-0.6.9nb4 => Full dependency hs-ansi-terminal>=0.11.1nb2: found hs-ansi-terminal-0.11.1nb2 => Full dependency hs-libffi>=0.1nb6: found hs-libffi-0.1nb6 => Full dependency gmp>=5.0.1: found gmp-6.2.1nb3 => Full dependency hs-aeson>=2.1.0.0nb1: found hs-aeson-2.1.0.0nb1 => Full dependency hs-unordered-containers>=0.2.16.0nb2: found hs-unordered-containers-0.2.19.1 => Full dependency hs-vector>=0.13.0.0: found hs-vector-0.13.0.0 => Full dependency hs-annotated-wl-pprint>=0.7.0nb4: found hs-annotated-wl-pprint-0.7.0nb4 => Full dependency hs-async>=2.2.4nb2: found hs-async-2.2.4nb2 => Full dependency hs-base64-bytestring>=1.2.1.0nb2: found hs-base64-bytestring-1.2.1.0nb2 => Full dependency hs-blaze-html>=0.9.1.2nb4: found hs-blaze-html-0.9.1.2nb4 => Full dependency hs-blaze-markup>=0.8.2.8nb4: found hs-blaze-markup-0.8.2.8nb4 => Full dependency hs-cheapskate>=0.1.1.2nb4: found hs-cheapskate-0.1.1.2nb4 => Full dependency hs-uniplate>=1.6.13nb4: found hs-uniplate-1.6.13nb4 => Full dependency hs-utf8-string>=1.0.2nb4: found hs-utf8-string-1.0.2nb4 => Full dependency hs-code-page>=0.2.1nb4: found hs-code-page-0.2.1nb4 => Full dependency hs-fingertree>=0.1.5.0nb4: found hs-fingertree-0.1.5.0nb4 => Full dependency hs-fsnotify>=0.3.0.1nb5: found hs-fsnotify-0.3.0.1nb5 => Full dependency hs-ieee754>=0.8.0nb4: found hs-ieee754-0.8.0nb4 => Full dependency hs-megaparsec>=9.2.0nb2: found hs-megaparsec-9.2.0nb2 => Full dependency hs-parser-combinators>=1.3.0nb4: found hs-parser-combinators-1.3.0nb4 => Full dependency hs-network>=3.1.2.7nb2: found hs-network-3.1.2.7nb2 => Full dependency hs-regex-tdfa>=1.3.1.1nb2: found hs-regex-tdfa-1.3.2 => Full dependency hs-safe>=0.3.19nb4: found hs-safe-0.3.19nb4 => Full dependency hs-split>=0.2.3.4nb4: found hs-split-0.2.3.4nb4 => Full dependency hs-terminal-size>=0.3.2.1nb4: found hs-terminal-size-0.3.2.1nb4 => Full dependency hs-vector-binary-instances>=0.2.5.2nb5: found hs-vector-binary-instances-0.2.5.2nb5 => Full dependency hs-zip-archive>=0.4.1nb4: found hs-zip-archive-0.4.1nb4 => Full dependency ghc>=9.2.1: found ghc-9.2.1nb3 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Overriding tools for idris-1.3.4nb5 ===> Extracting for idris-1.3.4nb5 ===> Patching for idris-1.3.4nb5 => Applying pkgsrc patches for idris-1.3.4nb5 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-Setup.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-Setup.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Setup.hs,v 1.4 2022/02/26 08:07:37 pho Exp $ | |* Don't hard-code the gmake command (pkgsrc specific). | |* Set LD_LIBRARY_PATH while building its standard libraries. This is | needed when idris is linked dynamically. | |* Don't try to invoke git. Cabal packages don't come with .git | directory. | |* Fix build with GHC 8.8 | |* Install man pages under PKGMANDIR. It's unfortunate that ./Setup has | no options for changing the directory. The module | Distribution.Simple.InstallDirs (which provides the function | "mandir") is a part of GHC, and we also don't want to change its | default mandir because GHC isn't meant to be used solely within | pkgsrc. | |Be careful not to modify this patch after running "bmake |configure". It will break the patch. | |--- Setup.hs.orig 2020-03-18 21:55:00.000000000 +0000 |+++ Setup.hs -------------------------- Patching file Setup.hs using Plan A... Hunk #1 succeeded at 42. Hunk #2 succeeded at 118. Hunk #3 succeeded at 286. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-idris.cabal => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-idris.cabal Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-idris.cabal,v 1.3 2022/02/12 07:13:35 pho Exp $ | |Fix build with recent libraries. | |--- idris.cabal.orig 2001-09-09 01:46:40.000000000 +0000 |+++ idris.cabal -------------------------- Patching file idris.cabal using Plan A... Hunk #1 succeeded at 319. Hunk #2 succeeded at 328. Hunk #3 succeeded at 340. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-rts_Makefile => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-rts_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-rts_Makefile,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Don't set executable bit on non-executables. | |--- rts/Makefile.orig 2020-01-20 16:54:53.742728926 +0000 |+++ rts/Makefile -------------------------- Patching file rts/Makefile using Plan A... Hunk #1 succeeded at 31. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-rts_idris__net.c => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-rts_idris__net.c Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-rts_idris__net.c,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Fix build on NetBSD where byteorder(3) functions don't become |available just by including . | |--- rts/idris_net.c.orig 2020-01-20 15:18:01.972754256 +0000 |+++ rts/idris_net.c -------------------------- Patching file rts/idris_net.c using Plan A... Hunk #1 succeeded at 1. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_IRTS_System.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_IRTS_System.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_IRTS_System.hs,v 1.1 2020/01/20 23:32:38 pho Exp $ | |These are pkgsrc-specific paths that need to be substituted. | |--- src/IRTS/System.hs.orig 2019-07-22 10:47:26.000000000 +0000 |+++ src/IRTS/System.hs -------------------------- Patching file src/IRTS/System.hs using Plan A... Hunk #1 succeeded at 62 (offset -1 lines). done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Package_Parser.hs,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Fix build with GHC 8.8 | |--- src/Idris/Package/Parser.hs.orig 2020-01-20 13:57:35.633471081 +0000 |+++ src/Idris/Package/Parser.hs -------------------------- Patching file src/Idris/Package/Parser.hs using Plan A... Hunk #1 succeeded at 64. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Data.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Data.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Parser_Data.hs,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Fix build with GHC 8.8 | |--- src/Idris/Parser/Data.hs.orig 2020-01-20 13:54:48.815991101 +0000 |+++ src/Idris/Parser/Data.hs -------------------------- Patching file src/Idris/Parser/Data.hs using Plan A... Hunk #1 succeeded at 90 (offset -1 lines). done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Helpers.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Helpers.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Parser_Helpers.hs,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Fix build with GHC 8.8 | |--- src/Idris/Parser/Helpers.hs.orig 2020-01-20 13:35:28.654072395 +0000 |+++ src/Idris/Parser/Helpers.hs -------------------------- Patching file src/Idris/Parser/Helpers.hs using Plan A... Hunk #1 succeeded at 512. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Ops.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Ops.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Parser_Ops.hs,v 1.1 2020/01/20 23:32:38 pho Exp $ | |Fix build with GHC 8.8 | |--- src/Idris/Parser/Ops.hs.orig 2020-01-20 13:37:19.852674734 +0000 |+++ src/Idris/Parser/Ops.hs -------------------------- Patching file src/Idris/Parser/Ops.hs using Plan A... Hunk #1 succeeded at 104. Hunk #2 succeeded at 116. Hunk #3 succeeded at 131. Hunk #4 succeeded at 141. Hunk #5 succeeded at 235. done ===> Creating toolchain wrappers for idris-1.3.4nb5 ===> Configuring for idris-1.3.4nb5 => Substituting "runtime" in src/IRTS/System.hs => Substituting "tools" in Setup.hs => Checking for portability problems in extracted files [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... Configuring idris-1.3.4... Setup: Encountered missing or private dependencies: vector <0.13 *** Error code 1 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris