=> Bootstrap dependency digest>=20010302: found digest-20190127 => Checksum SHA1 OK for idris-1.3.3.tar.gz => Checksum RMD160 OK for idris-1.3.3.tar.gz => Checksum SHA512 OK for idris-1.3.3.tar.gz ===> Installing dependencies for idris-1.3.3 ========================================================================== 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.3. Their current value is shown below: * CURSES_DEFAULT = curses * HASKELL_ENABLE_HADDOCK_DOCUMENTATION = yes * HASKELL_ENABLE_LIBRARY_PROFILING = yes * HASKELL_ENABLE_SHARED_LIBRARY = yes 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 gmake>=3.81: found gmake-4.2.1nb1 => Tool dependency pkgconf-[0-9]*: found pkgconf-1.7.4 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency cwrappers>=20150314: found cwrappers-20180325 => Full dependency hs-libffi>=0.1nb1: found hs-libffi-0.1nb1 => Full dependency gmp>=5.0.1: found gmp-6.2.1 => Full dependency hs-aeson>=1.5.6.0: found hs-aeson-1.5.6.0 => Full dependency hs-unordered-containers>=0.2.13.0: found hs-unordered-containers-0.2.13.0 => Full dependency hs-vector>=0.12.0.3: found hs-vector-0.12.0.3 => Full dependency hs-annotated-wl-pprint>=0.7.0: found hs-annotated-wl-pprint-0.7.0 => Full dependency hs-ansi-terminal>=0.11: found hs-ansi-terminal-0.11 => Full dependency hs-ansi-wl-pprint>=0.6.9: found hs-ansi-wl-pprint-0.6.9 => Full dependency hs-async>=2.2.3: found hs-async-2.2.3 => Full dependency hs-base64-bytestring>=1.2.0.1: found hs-base64-bytestring-1.2.0.1 => Full dependency hs-blaze-html>=0.9.1.2: found hs-blaze-html-0.9.1.2 => Full dependency hs-blaze-markup>=0.8.2.8: found hs-blaze-markup-0.8.2.8 => Full dependency hs-cheapskate>=0.1.1.1: found hs-cheapskate-0.1.1.2 => Full dependency hs-uniplate>=1.6.13: found hs-uniplate-1.6.13 => Full dependency hs-utf8-string>=1.0.2: found hs-utf8-string-1.0.2 => Full dependency hs-code-page>=0.2.1: found hs-code-page-0.2.1 => Full dependency hs-fingertree>=0.0.1.0: found hs-fingertree-0.1.4.2 => Full dependency hs-fsnotify>=0.3.0.1: found hs-fsnotify-0.3.0.1 => Full dependency hs-ieee754>=0.8.0: found hs-ieee754-0.8.0 => Full dependency hs-megaparsec>=9.0.1: found hs-megaparsec-9.0.1 => Full dependency hs-parser-combinators>=1.3.0: found hs-parser-combinators-1.3.0 => Full dependency hs-network>=3.1.2.1: found hs-network-3.1.2.1 => Full dependency hs-optparse-applicative>=0.16.1.0: found hs-optparse-applicative-0.16.1.0 => Full dependency hs-regex-tdfa>=1.3.1.0: found hs-regex-tdfa-1.3.1.0 => Full dependency hs-safe>=0.3.19: found hs-safe-0.3.19 => Full dependency hs-split>=0.2.3.4: found hs-split-0.2.3.4 => Full dependency hs-terminal-size>=0.3.2.1: found hs-terminal-size-0.3.2.1 => Full dependency hs-vector-binary-instances>=0.2.5.2: found hs-vector-binary-instances-0.2.5.2 => Full dependency hs-zip-archive>=0.4.1: found hs-zip-archive-0.4.1 => Full dependency ghc>=8.8.1nb2<8.9: found ghc-8.8.4nb1 ===> 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.3 ===> Extracting for idris-1.3.3 ===> Patching for idris-1.3.3 => Applying pkgsrc patches for idris-1.3.3 => 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.3 2021/04/25 11:39:03 pho Exp $ | |* Don't hard-code the gmake command (pkgsrc specific). | |* Set LD_LIBRARY_PATH while building its standard libraries. This is | needed because we link idris 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.2 2021/04/25 11:39:03 pho Exp $ | |Fix build with recent libraries. | |--- idris.cabal.orig 2020-05-23 21:22:15.000000000 +0000 |+++ idris.cabal -------------------------- Patching file idris.cabal using Plan A... Hunk #1 succeeded at 319. Hunk #2 succeeded at 334. 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 63. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Output.hs,v 1.1 2021/04/25 11:39:03 pho Exp $ | |Fix build with haskeline-0.8.*. Not sure this is the right way to fix |it though (probably not), and it's not clear if the upstream is going |to fix this properly given that Idris 2 is going to supersede this |implementation. | |--- src/Idris/Output.hs.orig 2021-04-25 10:27:19.932751280 +0000 |+++ src/Idris/Output.hs -------------------------- Patching file src/Idris/Output.hs using Plan A... Hunk #1 succeeded at 37. 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 91. 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 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_Parser_Stack.hs,v 1.2 2021/04/25 11:39:03 pho Exp $ | |Fix build with megaparsec-9.0.*. | |--- src/Idris/Parser/Stack.hs.orig 2021-04-25 10:29:33.784393017 +0000 |+++ src/Idris/Parser/Stack.hs -------------------------- Patching file src/Idris/Parser/Stack.hs using Plan A... Hunk #1 succeeded at 84. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Idris_REPL.hs,v 1.1 2021/04/25 11:39:03 pho Exp $ | |Fix build with haskeline-0.8.*. | |--- src/Idris/REPL.hs.orig 2021-04-25 10:35:54.491750352 +0000 |+++ src/Idris/REPL.hs -------------------------- Patching file src/Idris/REPL.hs using Plan A... Hunk #1 succeeded at 25. Hunk #2 succeeded at 123. Hunk #3 succeeded at 137. done ===> Creating toolchain wrappers for idris-1.3.3 ===> Configuring for idris-1.3.3 => 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.3... Setup: Encountered missing or private dependencies: exceptions ==0.10.* *** 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