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: Mon, 6 Nov 2023 17:17:51 +0000

Module Name:    pkgsrc
Committed By:   pho
Date:           Mon Nov  6 17:17:51 UTC 2023

Added Files:
        pkgsrc/lang/idris2: DESCR Makefile PLIST distinfo
        pkgsrc/lang/idris2/patches: patch-Makefile patch-libs_base_Makefile
            patch-libs_contrib_Makefile patch-libs_linear_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: import idris2-0.6.0

Idris is a programming language designed to encourage Type-Driven
Development.

In type-driven development, types are tools for constructing programs. We
treat the type as the plan for a program, and use the compiler and type
checker as our assistant, guiding us to a complete program that satisfies
the type. The more expressive the type is that we give up front, the more
confidence we can have that the resulting program will be correct.

In Idris, types are first-class constructs in the langauge. This means
types can be passed as arguments to functions, and returned from functions
just like any other value, such as numbers, strings, or lists. This is a
small but powerful idea, enabling:

* relationships to be expressed between values; for example, that two lists
  have the same length.

* assumptions to be made explicit and checked by the compiler. For example,
  if you assume that a list is non-empty, Idris can ensure this assumption
  always holds before the program is run.

* if desired, properties of program behaviour to be formally stated and
  proven.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/idris2/DESCR pkgsrc/lang/idris2/Makefile \
    pkgsrc/lang/idris2/PLIST pkgsrc/lang/idris2/distinfo
cvs rdiff -u -r0 -r1.1 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_linear_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.

Added files:

Index: pkgsrc/lang/idris2/DESCR
diff -u /dev/null pkgsrc/lang/idris2/DESCR:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/DESCR    Mon Nov  6 17:17:50 2023
@@ -0,0 +1,23 @@
+Idris is a programming language designed to encourage Type-Driven
+Development.
+
+In type-driven development, types are tools for constructing programs. We
+treat the type as the plan for a program, and use the compiler and type
+checker as our assistant, guiding us to a complete program that satisfies
+the type. The more expressive the type is that we give up front, the more
+confidence we can have that the resulting program will be correct.
+
+In Idris, types are first-class constructs in the langauge. This means
+types can be passed as arguments to functions, and returned from functions
+just like any other value, such as numbers, strings, or lists. This is a
+small but powerful idea, enabling:
+
+* relationships to be expressed between values; for example, that two lists
+  have the same length.
+
+* assumptions to be made explicit and checked by the compiler. For example,
+  if you assume that a list is non-empty, Idris can ensure this assumption
+  always holds before the program is run.
+
+* if desired, properties of program behaviour to be formally stated and
+  proven.
Index: pkgsrc/lang/idris2/Makefile
diff -u /dev/null pkgsrc/lang/idris2/Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/Makefile Mon Nov  6 17:17:50 2023
@@ -0,0 +1,62 @@
+# $NetBSD: Makefile,v 1.1 2023/11/06 17:17:50 pho Exp $
+
+DISTNAME=      idris2-0.6.0
+CATEGORIES=    lang
+MASTER_SITES=  https://www.idris-lang.org/idris2-src/
+EXTRACT_SUFX=  .tgz
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://www.idris-lang.org/index.html
+COMMENT=       Functional Programming Language with Dependent Types
+LICENSE=       modified-bsd
+
+WRKSRC=                ${WRKDIR}/${DISTNAME:S/idris2/Idris2/}
+
+USE_TOOLS+=    gmake
+NO_CONFIGURE=  yes
+BUILD_TARGET=  bootstrap
+MAKE_FLAGS=    SCHEME=chezscheme
+TEST_TARGET=   test
+
+post-build:
+       ${WRKSRC}/build/exec/idris2 --bash-completion-script idris2 > ${WRKDIR}/idris2.bash
+       ( \
+               ${ECHO} '#compdef idris2'; \
+               ${ECHO} 'autoload -U +X bashcompinit && bashcompinit'; \
+               ${CAT} ${WRKDIR}/idris2.bash; \
+       ) > ${WRKDIR}/idris2.zsh
+
+# TODO: It would be nice to install API documentation too, but "make
+# install-api" currently doesn't work because it tries to read files from
+# the final installation path ${PREFIX} but not from ${DESTDIR}.
+INSTALLATION_DIRS+=    libexec
+INSTALLATION_DIRS+=    share/bash-completion/completions
+INSTALLATION_DIRS+=    share/zsh/site-functions
+post-install:
+       ${INSTALL_DATA} ${WRKDIR}/idris2.bash ${DESTDIR}${PREFIX}/share/bash-completion/completions/idris2
+       ${INSTALL_DATA} ${WRKDIR}/idris2.zsh ${DESTDIR}${PREFIX}/share/zsh/site-functions/_idris2
+
+# These files are not only unnecessary but also contain references to
+# ${WRKDIR}. Remove them all.
+       for f in compileChez idris2-boot.so idris2-boot.ss; do \
+               ${RM} -f ${DESTDIR}${PREFIX}/bin/idris2_app/$$f; \
+       done
+
+# bin/idris2 is a shell script to invoke an actual executable but the said
+# executable is at bin/idris2_app/idris2.so. We really don't want it to
+# create a subdirectory in bin because that confuses zsh. pkglint doesn't
+# like it also.
+       ${MV} ${DESTDIR}${PREFIX}/bin/idris2_app ${DESTDIR}${PREFIX}/libexec
+
+SUBST_CLASSES+=                app
+SUBST_STAGE.app=       post-install
+SUBST_FILES.app=       ${DESTDIR}${PREFIX}/bin/idris2
+SUBST_FILTER_CMD.app=  ${AWK} '/fi/    { print $$0; print "DIR=$$DIR/../libexec"; next } \
+                                       { print $$0 }'
+
+# It uses Chez Scheme at run time in order to compile Scheme source
+# (compiled from Idris 2) into native code.
+DEPENDS+=      chezscheme-[0-9]*:../../lang/chezscheme
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/lang/idris2/PLIST
diff -u /dev/null pkgsrc/lang/idris2/PLIST:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/PLIST    Mon Nov  6 17:17:50 2023
@@ -0,0 +1,570 @@
+@comment $NetBSD: PLIST,v 1.1 2023/11/06 17:17:50 pho Exp $
+bin/idris2
+${PKGNAME}/base-${PKGVERSION}/Control/App.so
+${PKGNAME}/base-${PKGVERSION}/Control/App.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/App/Console.so
+${PKGNAME}/base-${PKGVERSION}/Control/App/Console.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.so
+${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.so
+${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Function.so
+${PKGNAME}/base-${PKGVERSION}/Control/Function.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.so
+${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Either.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/State.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.so
+${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Ord.so
+${PKGNAME}/base-${PKGVERSION}/Control/Ord.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Order.so
+${PKGNAME}/base-${PKGVERSION}/Control/Order.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/Relation.so
+${PKGNAME}/base-${PKGVERSION}/Control/Relation.ttc
+${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.so
+${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.so
+${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Bits.so
+${PKGNAME}/base-${PKGVERSION}/Data/Bits.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Bool.so
+${PKGNAME}/base-${PKGVERSION}/Data/Bool.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.so
+${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Buffer.so
+${PKGNAME}/base-${PKGVERSION}/Data/Buffer.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Colist.so
+${PKGNAME}/base-${PKGVERSION}/Data/Colist.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Colist1.so
+${PKGNAME}/base-${PKGVERSION}/Data/Colist1.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.so
+${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/DPair.so
+${PKGNAME}/base-${PKGVERSION}/Data/DPair.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Either.so
+${PKGNAME}/base-${PKGVERSION}/Data/Either.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Fin.so
+${PKGNAME}/base-${PKGVERSION}/Data/Fin.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.so
+${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Fuel.so
+${PKGNAME}/base-${PKGVERSION}/Data/Fuel.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Fun.so
+${PKGNAME}/base-${PKGVERSION}/Data/Fun.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/IOArray.so
+${PKGNAME}/base-${PKGVERSION}/Data/IOArray.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.so
+${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/IORef.so
+${PKGNAME}/base-${PKGVERSION}/Data/IORef.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List.so
+${PKGNAME}/base-${PKGVERSION}/Data/List.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.so
+${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.so
+${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List/Views.so
+${PKGNAME}/base-${PKGVERSION}/Data/List/Views.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List1.so
+${PKGNAME}/base-${PKGVERSION}/Data/List1.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.so
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.so
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.so
+${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Maybe.so
+${PKGNAME}/base-${PKGVERSION}/Data/Maybe.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.so
+${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Nat.so
+${PKGNAME}/base-${PKGVERSION}/Data/Nat.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.so
+${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.so
+${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.so
+${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Ref.so
+${PKGNAME}/base-${PKGVERSION}/Data/Ref.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Rel.so
+${PKGNAME}/base-${PKGVERSION}/Data/Rel.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Singleton.so
+${PKGNAME}/base-${PKGVERSION}/Data/Singleton.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList.so
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.so
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.so
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.so
+${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/So.so
+${PKGNAME}/base-${PKGVERSION}/Data/So.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Stream.so
+${PKGNAME}/base-${PKGVERSION}/Data/Stream.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/String.so
+${PKGNAME}/base-${PKGVERSION}/Data/String.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/These.so
+${PKGNAME}/base-${PKGVERSION}/Data/These.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Vect.so
+${PKGNAME}/base-${PKGVERSION}/Data/Vect.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.so
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.so
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.so
+${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.ttc
+${PKGNAME}/base-${PKGVERSION}/Data/Zippable.so
+${PKGNAME}/base-${PKGVERSION}/Data/Zippable.ttc
+${PKGNAME}/base-${PKGVERSION}/Debug/Trace.so
+${PKGNAME}/base-${PKGVERSION}/Debug/Trace.ttc
+${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.so
+${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.ttc
+${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.so
+${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.ttc
+${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.so
+${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.ttc
+${PKGNAME}/base-${PKGVERSION}/Deriving/Common.so
+${PKGNAME}/base-${PKGVERSION}/Deriving/Common.ttc
+${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.so
+${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.ttc
+${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.so
+${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.ttc
+${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.so
+${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.ttc
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection.so
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection.ttc
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.so
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.ttc
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.so
+${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.ttc
+${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.so
+${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.ttc
+${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.so
+${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.ttc
+${PKGNAME}/base-${PKGVERSION}/System.so
+${PKGNAME}/base-${PKGVERSION}/System.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Clock.so
+${PKGNAME}/base-${PKGVERSION}/System/Clock.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Concurrency.so
+${PKGNAME}/base-${PKGVERSION}/System/Concurrency.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Directory.so
+${PKGNAME}/base-${PKGVERSION}/System/Directory.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Errno.so
+${PKGNAME}/base-${PKGVERSION}/System/Errno.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Escape.so
+${PKGNAME}/base-${PKGVERSION}/System/Escape.ttc
+${PKGNAME}/base-${PKGVERSION}/System/FFI.so
+${PKGNAME}/base-${PKGVERSION}/System/FFI.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File.so
+${PKGNAME}/base-${PKGVERSION}/System/File.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Error.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Error.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Handle.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Handle.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Meta.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Meta.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Mode.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Mode.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Process.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Process.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.so
+${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Support.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Support.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Types.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Types.ttc
+${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.so
+${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Info.so
+${PKGNAME}/base-${PKGVERSION}/System/Info.ttc
+${PKGNAME}/base-${PKGVERSION}/System/REPL.so
+${PKGNAME}/base-${PKGVERSION}/System/REPL.ttc
+${PKGNAME}/base-${PKGVERSION}/System/Signal.so
+${PKGNAME}/base-${PKGVERSION}/System/Signal.ttc
+${PKGNAME}/base-${PKGVERSION}/base.ipkg
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Category.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Category.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.so
+${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Late.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Late.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Order.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Order.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Path.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Path.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Data/Void.so
+${PKGNAME}/contrib-${PKGVERSION}/Data/Void.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.so
+${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.so
+${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.so
+${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.so
+${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.so
+${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.ttc
+${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.so
+${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.ttc
+${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.so
+${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.ttc
+${PKGNAME}/contrib-${PKGVERSION}/System/Future.so
+${PKGNAME}/contrib-${PKGVERSION}/System/Future.ttc
+${PKGNAME}/contrib-${PKGVERSION}/System/Path.so
+${PKGNAME}/contrib-${PKGVERSION}/System/Path.ttc
+${PKGNAME}/contrib-${PKGVERSION}/System/Random.so
+${PKGNAME}/contrib-${PKGVERSION}/System/Random.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.ttc
+${PKGNAME}/contrib-${PKGVERSION}/Text/Token.so
+${PKGNAME}/contrib-${PKGVERSION}/Text/Token.ttc
+${PKGNAME}/contrib-${PKGVERSION}/contrib.ipkg
+${PKGNAME}/lib/libidris2_support.a
+${PKGNAME}/lib/libidris2_support.so
+${PKGNAME}/linear-0.5.1/Control/Linear/LIO.so
+${PKGNAME}/linear-0.5.1/Control/Linear/LIO.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.so
+${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/Copies.so
+${PKGNAME}/linear-0.5.1/Data/Linear/Copies.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/Interface.so
+${PKGNAME}/linear-0.5.1/Data/Linear/Interface.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/LEither.so
+${PKGNAME}/linear-0.5.1/Data/Linear/LEither.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/LList.so
+${PKGNAME}/linear-0.5.1/Data/Linear/LList.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.so
+${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/LNat.so
+${PKGNAME}/linear-0.5.1/Data/Linear/LNat.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/LVect.so
+${PKGNAME}/linear-0.5.1/Data/Linear/LVect.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.so
+${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.ttc
+${PKGNAME}/linear-0.5.1/Data/Linear/Notation.so
+${PKGNAME}/linear-0.5.1/Data/Linear/Notation.ttc
+${PKGNAME}/linear-0.5.1/linear.ipkg
+${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.so
+${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.ttc
+${PKGNAME}/network-${PKGVERSION}/Network/FFI.so
+${PKGNAME}/network-${PKGVERSION}/Network/FFI.ttc
+${PKGNAME}/network-${PKGVERSION}/Network/Socket.so
+${PKGNAME}/network-${PKGVERSION}/Network/Socket.ttc
+${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.so
+${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.ttc
+${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.so
+${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.ttc
+${PKGNAME}/network-${PKGVERSION}/network.ipkg
+${PKGNAME}/prelude-${PKGVERSION}/Builtin.so
+${PKGNAME}/prelude-${PKGVERSION}/Builtin.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Ops.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.ttc
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.so
+${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.ttc
+${PKGNAME}/prelude-${PKGVERSION}/PrimIO.so
+${PKGNAME}/prelude-${PKGVERSION}/PrimIO.ttc
+${PKGNAME}/prelude-${PKGVERSION}/prelude.ipkg
+${PKGNAME}/support/c/getline.h
+${PKGNAME}/support/c/idris_directory.h
+${PKGNAME}/support/c/idris_file.h
+${PKGNAME}/support/c/idris_memory.h
+${PKGNAME}/support/c/idris_net.h
+${PKGNAME}/support/c/idris_signal.h
+${PKGNAME}/support/c/idris_support.h
+${PKGNAME}/support/c/idris_system.h
+${PKGNAME}/support/c/idris_term.h
+${PKGNAME}/support/c/idris_util.h
+${PKGNAME}/support/chez/ct-support.ss
+${PKGNAME}/support/chez/support-sep.ss
+${PKGNAME}/support/chez/support.ss
+${PKGNAME}/support/docs/alternative.css
+${PKGNAME}/support/docs/blackandwhite.css
+${PKGNAME}/support/docs/default.css
+${PKGNAME}/support/gambit/foreign.scm
+${PKGNAME}/support/gambit/support.scm
+${PKGNAME}/support/js/support.js
+${PKGNAME}/support/js/support_system.js
+${PKGNAME}/support/js/support_system_directory.js
+${PKGNAME}/support/js/support_system_file.js
+${PKGNAME}/support/js/support_system_signal.js
+${PKGNAME}/support/racket/ct-support.rkt
+${PKGNAME}/support/racket/support.rkt
+${PKGNAME}/support/refc/_datatypes.h
+${PKGNAME}/support/refc/buffer.h
+${PKGNAME}/support/refc/cBackend.h
+${PKGNAME}/support/refc/casts.h
+${PKGNAME}/support/refc/clock.h
+${PKGNAME}/support/refc/conCaseHelper.h
+${PKGNAME}/support/refc/libidris2_refc.a
+${PKGNAME}/support/refc/mathFunctions.h
+${PKGNAME}/support/refc/memoryManagement.h
+${PKGNAME}/support/refc/prim.h
+${PKGNAME}/support/refc/refc_util.h
+${PKGNAME}/support/refc/runtime.h
+${PKGNAME}/support/refc/stringOps.h
+${PKGNAME}/support/refc/threads.h
+${PKGNAME}/test-${PKGVERSION}/Test/Golden.so
+${PKGNAME}/test-${PKGVERSION}/Test/Golden.ttc
+${PKGNAME}/test-${PKGVERSION}/test.ipkg
+lib/libidris2_support.so
+libexec/idris2_app/idris2.so
+libexec/idris2_app/idris2.ss
+libexec/idris2_app/libidris2_support.so
+share/bash-completion/completions/idris2
+share/zsh/site-functions/_idris2
Index: pkgsrc/lang/idris2/distinfo
diff -u /dev/null pkgsrc/lang/idris2/distinfo:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/distinfo Mon Nov  6 17:17:50 2023
@@ -0,0 +1,20 @@
+$NetBSD: distinfo,v 1.1 2023/11/06 17:17:50 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-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

Index: pkgsrc/lang/idris2/patches/patch-Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-Makefile   Mon Nov  6 17:17:51 2023
@@ -0,0 +1,91 @@
+$NetBSD: patch-Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Don't try to use modules from base until it's built.
+
+TODO: Upstream this.
+
+--- Makefile.orig      2022-10-27 15:43:33.000000000 +0000
++++ Makefile
+@@ -86,7 +86,7 @@ contrib: base
+ test-lib: contrib
+       ${MAKE} -C libs/test IDRIS2=${TARGET} IDRIS2_INC_CGS=${IDRIS2_CG} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
+ 
+-linear: prelude
++linear: prelude base
+       ${MAKE} -C libs/linear IDRIS2=${TARGET} IDRIS2_INC_CGS=${IDRIS2_CG} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
+ 
+ papers: contrib linear
+@@ -192,25 +192,25 @@ install-with-src-api: src/IdrisPaths.idr
+       ${IDRIS2_BOOT} --install-with-src ${IDRIS2_LIB_IPKG}
+ 
+ install-idris2:
+-      mkdir -p ${PREFIX}/bin/
+-      install ${TARGET} ${PREFIX}/bin
++      mkdir -p ${DESTDIR}${PREFIX}/bin/
++      install ${TARGET} ${DESTDIR}${PREFIX}/bin
+ ifeq ($(OS), windows)
+-      -install ${TARGET}.cmd ${PREFIX}/bin
++      -install ${TARGET}.cmd ${DESTDIR}${PREFIX}/bin
+ endif
+-      mkdir -p ${PREFIX}/lib/
+-      install support/c/${IDRIS2_SUPPORT} ${PREFIX}/lib
+-      mkdir -p ${PREFIX}/bin/${NAME}_app
+-      install ${TARGETDIR}/${NAME}_app/* ${PREFIX}/bin/${NAME}_app
++      mkdir -p ${DESTDIR}${PREFIX}/lib/
++      install support/c/${IDRIS2_SUPPORT} ${DESTDIR}${PREFIX}/lib
++      mkdir -p ${DESTDIR}${PREFIX}/bin/${NAME}_app
++      install ${TARGETDIR}/${NAME}_app/* ${DESTDIR}${PREFIX}/bin/${NAME}_app
+ 
+ install-support:
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/support/docs
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/support/racket
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/support/gambit
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/support/js
+-      install -m 644 support/docs/*.css ${PREFIX}/${NAME_VERSION}/support/docs
+-      install -m 644 support/racket/* ${PREFIX}/${NAME_VERSION}/support/racket
+-      install -m 644 support/gambit/* ${PREFIX}/${NAME_VERSION}/support/gambit
+-      install -m 644 support/js/* ${PREFIX}/${NAME_VERSION}/support/js
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/docs
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/racket
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/gambit
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/js
++      install -m 644 support/docs/*.css ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/docs
++      install -m 644 support/racket/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/racket
++      install -m 644 support/gambit/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/gambit
++      install -m 644 support/js/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/support/js
+       @${MAKE} -C support/c install
+       @${MAKE} -C support/refc install
+       @${MAKE} -C support/chez install
+@@ -234,19 +234,19 @@ install-with-src-libs:
+       ${MAKE} -C libs/linear install-with-src    IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH} IDRIS2_INC_CGS=${IDRIS2_CG}
+ 
+ install-libdocs: libdocs
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/prelude
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/base
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/contrib
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/network
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/test
+-      mkdir -p ${PREFIX}/${NAME_VERSION}/docs/linear
+-      cp -r libs/prelude/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/prelude
+-      cp -r libs/base/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/base
+-      cp -r libs/contrib/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/contrib
+-      cp -r libs/network/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/network
+-      cp -r libs/test/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/test
+-      cp -r libs/test/build/docs/* ${PREFIX}/${NAME_VERSION}/docs/linear
+-      install -m 644 support/docs/* ${PREFIX}/${NAME_VERSION}/docs
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/prelude
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/base
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/contrib
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/network
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/test
++      mkdir -p ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/linear
++      cp -r libs/prelude/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/prelude
++      cp -r libs/base/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/base
++      cp -r libs/contrib/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/contrib
++      cp -r libs/network/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/network
++      cp -r libs/test/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/test
++      cp -r libs/test/build/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs/linear
++      install -m 644 support/docs/* ${DESTDIR}${PREFIX}/${NAME_VERSION}/docs
+ 
+ 
+ .PHONY: bootstrap bootstrap-build bootstrap-racket bootstrap-racket-build bootstrap-test bootstrap-clean
Index: pkgsrc/lang/idris2/patches/patch-libs_base_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_base_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_base_Makefile Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$NetBSD: patch-libs_base_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- libs/base/Makefile.orig    2023-11-04 11:43:10.853911229 +0000
++++ libs/base/Makefile
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build base.ipkg
+ 
+ install:
+-      ${IDRIS2} --install base.ipkg
++      ${IDRIS2} --install base.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src base.ipkg
++      ${IDRIS2} --install-with-src base.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc base.ipkg
Index: pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$NetBSD: patch-libs_contrib_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- libs/contrib/Makefile.orig 2023-11-04 11:43:51.980988534 +0000
++++ libs/contrib/Makefile
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build contrib.ipkg
+ 
+ install:
+-      ${IDRIS2} --install contrib.ipkg
++      ${IDRIS2} --install contrib.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src contrib.ipkg
++      ${IDRIS2} --install-with-src contrib.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc contrib.ipkg
Index: pkgsrc/lang/idris2/patches/patch-libs_linear_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_linear_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_linear_Makefile       Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$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
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build linear.ipkg
+ 
+ install:
+-      ${IDRIS2} --install linear.ipkg
++      ${IDRIS2} --install linear.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src linear.ipkg
++      ${IDRIS2} --install-with-src linear.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc linear.ipkg
Index: pkgsrc/lang/idris2/patches/patch-libs_network_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_network_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_network_Makefile      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$NetBSD: patch-libs_network_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- libs/network/Makefile.orig 2023-11-04 11:43:26.625498660 +0000
++++ libs/network/Makefile
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build network.ipkg
+ 
+ install:
+-      ${IDRIS2} --install network.ipkg
++      ${IDRIS2} --install network.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src network.ipkg
++      ${IDRIS2} --install-with-src network.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc network.ipkg
Index: pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$NetBSD: patch-libs_prelude_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- libs/prelude/Makefile.orig 2023-11-04 11:42:21.918959859 +0000
++++ libs/prelude/Makefile
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build prelude.ipkg
+ 
+ install:
+-      ${IDRIS2} --install prelude.ipkg
++      ${IDRIS2} --install prelude.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src prelude.ipkg
++      ${IDRIS2} --install-with-src prelude.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc prelude.ipkg
Index: pkgsrc/lang/idris2/patches/patch-libs_test_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-libs_test_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-libs_test_Makefile Mon Nov  6 17:17:51 2023
@@ -0,0 +1,21 @@
+$NetBSD: patch-libs_test_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- libs/test/Makefile.orig    2023-11-04 11:44:01.986154623 +0000
++++ libs/test/Makefile
+@@ -2,10 +2,10 @@ all:
+       ${IDRIS2} --build test.ipkg
+ 
+ install:
+-      ${IDRIS2} --install test.ipkg
++      ${IDRIS2} --install test.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ install-with-src:
+-      ${IDRIS2} --install-with-src test.ipkg
++      ${IDRIS2} --install-with-src test.ipkg $(if $(DESTDIR),--stage-dir "$(DESTDIR)")
+ 
+ docs:
+       ${IDRIS2} --mkdoc test.ipkg
Index: pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr       Mon Nov  6 17:17:51 2023
@@ -0,0 +1,19 @@
+$NetBSD: patch-src_Core_Context.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- src/Core/Context.idr.orig  2022-10-27 15:43:33.000000000 +0000
++++ src/Core/Context.idr
+@@ -2112,6 +2112,10 @@ setOutputDir : {auto c : Ref Ctxt Defs} 
+ setOutputDir dir = update Ctxt { options->dirs->output_dir := dir }
+ 
+ export
++setStageDir : {auto c : Ref Ctxt Defs} -> Maybe String -> Core ()
++setStageDir dir = update Ctxt { options->dirs->stage_dir := dir }
++
++export
+ setSourceDir : {auto c : Ref Ctxt Defs} -> Maybe String -> Core ()
+ setSourceDir mdir = update Ctxt { options->dirs->source_dir := mdir }
+ 
Index: pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr       Mon Nov  6 17:17:51 2023
@@ -0,0 +1,41 @@
+$NetBSD: patch-src_Core_Options.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Hunk #0, #1, #2:
+  Add DESTDIR support.
+
+  TODO: Upstream this
+
+--- src/Core/Options.idr.orig  2022-10-27 15:43:33.000000000 +0000
++++ src/Core/Options.idr
+@@ -22,6 +22,7 @@ record Dirs where
+   build_dir : String -- build directory, relative to working directory
+   depends_dir : String -- local dependencies directory, relative to working directory
+   output_dir : Maybe String -- output directory, relative to working directory
++  stage_dir : Maybe String -- staged installation directory
+   prefix_dir : String -- installation prefix, for finding data files (e.g. run time support)
+   extra_dirs : List String -- places to look for import files
+   package_dirs : List String -- places to look for packages
+@@ -38,12 +39,13 @@ outputDirWithDefault d = fromMaybe (buil
+ 
+ public export
+ toString : Dirs -> String
+-toString d@(MkDirs wdir sdir bdir ldir odir dfix edirs pdirs ldirs ddirs) = """
++toString d@(MkDirs wdir sdir bdir ldir odir ddir dfix edirs pdirs ldirs ddirs) = """
+   + Working Directory      :: \{ show wdir }
+   + Source Directory       :: \{ show sdir }
+   + Build Directory        :: \{ show bdir }
+   + Local Depend Directory :: \{ show ldir }
+   + Output Directory       :: \{ show $ outputDirWithDefault d }
++  + Stage Directory        :: \{ show ddir }
+   + Installation Prefix    :: \{ show dfix }
+   + Extra Directories      :: \{ show edirs }
+   + Package Directories    :: \{ show pdirs }
+@@ -210,7 +212,7 @@ getCG o cg = lookup (toLower cg) (availa
+ 
+ defaultDirs : Dirs
+ defaultDirs = MkDirs "." Nothing "build" "depends" Nothing
+-                     "/usr/local" ["."] [] [] []
++                     Nothing "/usr/local" ["."] [] [] []
+ 
+ defaultPPrint : PPrinter
+ defaultPPrint = MkPPOpts False False True False
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr  Mon Nov  6 17:17:51 2023
@@ -0,0 +1,26 @@
+$NetBSD: patch-src_Idris_CommandLine.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- src/Idris/CommandLine.idr.orig     2022-10-27 15:43:33.000000000 +0000
++++ src/Idris/CommandLine.idr
+@@ -84,6 +84,8 @@ data CLOpt
+   BuildDir String |
+    ||| Set output directory
+   OutputDir String |
++   ||| Set staged installation directory
++  StageDir String |
+    ||| Generate profile data when compiling (backend dependent)
+   Profile |
+    ||| Display Idris version
+@@ -240,6 +242,8 @@ options = [MkOpt ["--check", "-c"] [] [C
+               (Just $ "Set build directory"),
+            MkOpt ["--output-dir"] [Required "dir"] (\d => [OutputDir d])
+               (Just $ "Set output directory"),
++           MkOpt ["--stage-dir"] [Required "dir"] (\d => [StageDir d])
++              (Just $ "Set staged installation directory"),
+            MkOpt ["--profile"] [] [Profile]
+               (Just "Generate profile data when compiling, if supported"),
+ 
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,34 @@
+$NetBSD: patch-src_Idris_Package.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- src/Idris/Package.idr.orig 2022-10-27 15:43:33.000000000 +0000
++++ src/Idris/Package.idr
+@@ -582,7 +582,8 @@ install pkg opts installSrc -- not used 
+                                (mainmod pkg)
+          wdir <- getWorkingDir
+          -- Make the package installation directory
+-         let targetDir = prefix_dir (dirs (options defs)) </>
++         let stageDir = fromMaybe "" (stage_dir (dirs (options defs)))
++         let targetDir = stageDir ++ prefix_dir (dirs (options defs)) </>
+                              "idris2-" ++ showVersion False version </>
+                              installDir pkg
+          Right _ <- coreLift $ mkdirAll targetDir
+@@ -934,6 +935,7 @@ partitionOpts opts = foldr pOptUpdate (M
+     optType (Directive d)          = POpt
+     optType (BuildDir f)           = POpt
+     optType (OutputDir f)          = POpt
++    optType (StageDir f)           = POpt
+     optType WarningsAsErrors       = POpt
+     optType HashesInsteadOfModTime = POpt
+     optType Profile                = POpt
+@@ -966,6 +968,7 @@ errorMsg = unlines
+   , "    --directive <directive>"
+   , "    --build-dir <dir>"
+   , "    --output-dir <dir>"
++  , "    --stage-dir <dir>"
+   ]
+ 
+ export
Index: pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr   Mon Nov  6 17:17:51 2023
@@ -0,0 +1,18 @@
+$NetBSD: patch-src_Idris_SetOptions.idr,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- src/Idris/SetOptions.idr.orig      2022-10-27 15:43:33.000000000 +0000
++++ src/Idris/SetOptions.idr
+@@ -362,6 +362,9 @@ preOptions (BuildDir d :: opts)
+ preOptions (OutputDir d :: opts)
+     = do setOutputDir (Just d)
+          preOptions opts
++preOptions (StageDir d :: opts)
++    = do setStageDir (Just d)
++         preOptions opts
+ preOptions (Directory d :: opts)
+     = do defs <- get Ctxt
+          dirOption (dirs (options defs)) d
Index: pkgsrc/lang/idris2/patches/patch-support_c_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-support_c_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_c_Makefile Mon Nov  6 17:17:51 2023
@@ -0,0 +1,22 @@
+$NetBSD: patch-support_c_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- support/c/Makefile.orig    2023-11-04 13:09:21.513363755 +0000
++++ support/c/Makefile
+@@ -53,8 +53,8 @@ cleandep: clean
+ .PHONY: install
+ 
+ install: build
+-      mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
+-      mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/support/c
+-      install -m 755 $(DYLIBTARGET) ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
+-      install -m 644 $(LIBTARGET)   ${PREFIX}/idris2-${IDRIS2_VERSION}/lib
+-      install -m 644 *.h            ${PREFIX}/idris2-${IDRIS2_VERSION}/support/c
++      mkdir -p ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/lib
++      mkdir -p ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/c
++      install -m 755 $(DYLIBTARGET) ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/lib
++      install -m 644 $(LIBTARGET)   ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/lib
++      install -m 644 *.h            ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/c
Index: pkgsrc/lang/idris2/patches/patch-support_chez_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-support_chez_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_chez_Makefile      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,19 @@
+$NetBSD: patch-support_chez_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- support/chez/Makefile.orig 2023-11-04 13:10:25.634724475 +0000
++++ support/chez/Makefile
+@@ -10,8 +10,8 @@ clean:
+ build: support-sep.ss
+ 
+ install: build
+-      mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/support/chez
+-      install -m 644 *.ss ${PREFIX}/idris2-${IDRIS2_VERSION}/support/chez
++      mkdir -p ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/chez
++      install -m 644 *.ss ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/chez
+ 
+ support-sep.ss: support.ss
+       # start library header
Index: pkgsrc/lang/idris2/patches/patch-support_refc_Makefile
diff -u /dev/null pkgsrc/lang/idris2/patches/patch-support_refc_Makefile:1.1
--- /dev/null   Mon Nov  6 17:17:51 2023
+++ pkgsrc/lang/idris2/patches/patch-support_refc_Makefile      Mon Nov  6 17:17:51 2023
@@ -0,0 +1,16 @@
+$NetBSD: patch-support_refc_Makefile,v 1.1 2023/11/06 17:17:51 pho Exp $
+
+Add DESTDIR support.
+
+TODO: Upstream this
+
+--- support/refc/Makefile.orig 2023-11-04 13:10:04.366066212 +0000
++++ support/refc/Makefile
+@@ -43,5 +43,5 @@ cleandep: clean
+ .PHONY: install
+ 
+ install: build
+-      mkdir -p ${PREFIX}/idris2-${IDRIS2_VERSION}/support/refc
+-      install -m 644 $(LIBTARGET) *.h ${PREFIX}/idris2-${IDRIS2_VERSION}/support/refc
++      mkdir -p ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/refc
++      install -m 644 $(LIBTARGET) *.h ${DESTDIR}${PREFIX}/idris2-${IDRIS2_VERSION}/support/refc

Prev by Date: CVS commit: pkgsrc/lang
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/lang
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index