pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/lang/idris

Module Name:    pkgsrc
Committed By:   pho
Date:           Sat Feb 26 08:07:37 UTC 2022

Modified Files:
        pkgsrc/lang/idris: Makefile PLIST distinfo
        pkgsrc/lang/idris/patches: patch-Setup.hs
Removed Files:
        pkgsrc/lang/idris: buildlink3.mk

Log Message:
lang/idris: Link idris with static Haskell libraries

Also generate shell completion scripts with optparse-applicative.


To generate a diff of this commit:
cvs rdiff -u -r1.10 -r1.11 pkgsrc/lang/idris/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/idris/PLIST
cvs rdiff -u -r1.6 -r0 pkgsrc/lang/idris/buildlink3.mk
cvs rdiff -u -r1.6 -r1.7 pkgsrc/lang/idris/distinfo
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/idris/patches/patch-Setup.hs

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


Modified files:

Index: pkgsrc/lang/idris/Makefile
diff -u pkgsrc/lang/idris/Makefile:1.10 pkgsrc/lang/idris/Makefile:1.11
--- pkgsrc/lang/idris/Makefile:1.10     Sat Feb 26 03:58:15 2022
+++ pkgsrc/lang/idris/Makefile  Sat Feb 26 08:07:37 2022
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.10 2022/02/26 03:58:15 pho Exp $
+# $NetBSD: Makefile,v 1.11 2022/02/26 08:07:37 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
-PKGREVISION=   2
+PKGREVISION=   3
 CATEGORIES=    lang
 
 MAINTAINER=    pho%cielonegro.org@localhost
@@ -32,6 +32,21 @@ SUBST_VARS.runtime=  CC PREFIX COMPILER_R
 # https://gitlab.haskell.org/ghc/ghc/issues/13535
 HASKELL_OPTIMIZATION_LEVEL=    1
 
+# If idris is to be linked dynamically, it will depend on more than 110
+# shared objects and the dynamic linker will spend nearly a second to
+# resolve symbols on startup. This is unacceptable because idris tends to
+# be launched very frequently by build systems. This wastes storage, but
+# time is more expensive than disks.
+HASKELL_ENABLE_SHARED_LIBRARY= no
+
+# It makes no sense to build the profiling library because this package
+# isn't meant to be used as a library.
+HASKELL_ENABLE_LIBRARY_PROFILING=      no
+
+# idris is built with optparse-applicative, and can generate shell
+# completion scripts automatically.
+.include "../../devel/hs-optparse-applicative/application.mk"
+
 .include "options.mk"
 
 .include "../../converters/hs-aeson/buildlink3.mk"
@@ -49,7 +64,6 @@ HASKELL_OPTIMIZATION_LEVEL=   1
 .include "../../math/hs-ieee754/buildlink3.mk"
 .include "../../textproc/hs-megaparsec/buildlink3.mk"
 .include "../../net/hs-network/buildlink3.mk"
-.include "../../devel/hs-optparse-applicative/buildlink3.mk"
 .include "../../devel/hs-parser-combinators/buildlink3.mk"
 .include "../../textproc/hs-regex-tdfa/buildlink3.mk"
 .include "../../devel/hs-safe/buildlink3.mk"

Index: pkgsrc/lang/idris/PLIST
diff -u pkgsrc/lang/idris/PLIST:1.2 pkgsrc/lang/idris/PLIST:1.3
--- pkgsrc/lang/idris/PLIST:1.2 Sun Apr 25 11:39:03 2021
+++ pkgsrc/lang/idris/PLIST     Sat Feb 26 08:07:37 2022
@@ -1,358 +1,126 @@
-@comment $NetBSD: PLIST,v 1.2 2021/04/25 11:39:03 pho Exp $
+@comment $NetBSD: PLIST,v 1.3 2022/02/26 08:07:37 pho Exp $
 bin/idris
 bin/idris-codegen-c
 bin/idris-codegen-javascript
 bin/idris-codegen-node
 lib/${PKGNAME}/${HS_VERSION}/package-description
 lib/${PKGNAME}/${HS_VERSION}/package-id
-lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.p_hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.dyn_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.hi
-lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.p_hi
 lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
-lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
-lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
 man/man1/idris.1
 share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE
 share/doc/${HS_PLATFORM}/${PKGNAME}/html/CHANGELOG.md

Index: pkgsrc/lang/idris/distinfo
diff -u pkgsrc/lang/idris/distinfo:1.6 pkgsrc/lang/idris/distinfo:1.7
--- pkgsrc/lang/idris/distinfo:1.6      Sat Feb 12 07:13:35 2022
+++ pkgsrc/lang/idris/distinfo  Sat Feb 26 08:07:37 2022
@@ -1,9 +1,9 @@
-$NetBSD: distinfo,v 1.6 2022/02/12 07:13:35 pho Exp $
+$NetBSD: distinfo,v 1.7 2022/02/26 08:07:37 pho Exp $
 
 BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95
 SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c
 Size (idris-1.3.4.tar.gz) = 1720240 bytes
-SHA1 (patch-Setup.hs) = 26b0fe5486434aa5056703abd8041778ff73f385
+SHA1 (patch-Setup.hs) = 61ce92edfa6bbb8812c7888ce12fde979e85439b
 SHA1 (patch-idris.cabal) = ca4ee9a7d02a5bef2ba36c3edf317bb49718ae70
 SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
 SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8

Index: pkgsrc/lang/idris/patches/patch-Setup.hs
diff -u pkgsrc/lang/idris/patches/patch-Setup.hs:1.3 pkgsrc/lang/idris/patches/patch-Setup.hs:1.4
--- pkgsrc/lang/idris/patches/patch-Setup.hs:1.3        Sun Apr 25 11:39:03 2021
+++ pkgsrc/lang/idris/patches/patch-Setup.hs    Sat Feb 26 08:07:37 2022
@@ -1,9 +1,9 @@
-$NetBSD: patch-Setup.hs,v 1.3 2021/04/25 11:39:03 pho Exp $
+$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 because we link idris dynamically.
+  needed when idris is linked dynamically.
 
 * Don't try to invoke git. Cabal packages don't come with .git
   directory.
Home | Main Index | Thread Index | Old Index