Sat Feb 26 08:07:37 2022 UTC ()
lang/idris: Link idris with static Haskell libraries

Also generate shell completion scripts with optparse-applicative.


(pho)
diff -r1.10 -r1.11 pkgsrc/lang/idris/Makefile
diff -r1.2 -r1.3 pkgsrc/lang/idris/PLIST
diff -r1.6 -r0 pkgsrc/lang/idris/buildlink3.mk
diff -r1.6 -r1.7 pkgsrc/lang/idris/distinfo
diff -r1.3 -r1.4 pkgsrc/lang/idris/patches/patch-Setup.hs
cvs diff -r1.10 -r1.11 pkgsrc/lang/idris/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/idris/Makefile 2022/02/26 03:58:15 1.10
+++ pkgsrc/lang/idris/Makefile 2022/02/26 08:07:37 1.11
@@ -1,18 +1,18 @@ @@ -1,18 +1,18 @@
1# $NetBSD: Makefile,v 1.10 2022/02/26 03:58:15 pho Exp $ 1# $NetBSD: Makefile,v 1.11 2022/02/26 08:07:37 pho Exp $
2 2
3DISTNAME= idris-1.3.4 3DISTNAME= idris-1.3.4
4PKGNAME= ${DISTNAME} 4PKGNAME= ${DISTNAME}
5PKGREVISION= 2 5PKGREVISION= 3
6CATEGORIES= lang 6CATEGORIES= lang
7 7
8MAINTAINER= pho@cielonegro.org 8MAINTAINER= pho@cielonegro.org
9COMMENT= Functional Programming Language with Dependent Types 9COMMENT= Functional Programming Language with Dependent Types
10LICENSE= modified-bsd 10LICENSE= modified-bsd
11 11
12CONFIGURE_ARGS+= -f release 12CONFIGURE_ARGS+= -f release
13 13
14# ${WRKSRC}/Setup.hs has a postBuild hook that invokes gmake to build 14# ${WRKSRC}/Setup.hs has a postBuild hook that invokes gmake to build
15# its standard libraries. 15# its standard libraries.
16USE_TOOLS+= gmake 16USE_TOOLS+= gmake
17SUBST_CLASSES+= tools 17SUBST_CLASSES+= tools
18SUBST_STAGE.tools= pre-configure 18SUBST_STAGE.tools= pre-configure
@@ -22,44 +22,58 @@ SUBST_VARS.tools= GMAKE PKGMANDIR PKGSRC @@ -22,44 +22,58 @@ SUBST_VARS.tools= GMAKE PKGMANDIR PKGSRC
22# ${WRKSRC}/src/IRTS/System.hs has several hardcoded paths to be used at 22# ${WRKSRC}/src/IRTS/System.hs has several hardcoded paths to be used at
23# run time. 23# run time.
24SUBST_CLASSES+= runtime 24SUBST_CLASSES+= runtime
25SUBST_STAGE.runtime= pre-configure 25SUBST_STAGE.runtime= pre-configure
26SUBST_FILES.runtime= src/IRTS/System.hs 26SUBST_FILES.runtime= src/IRTS/System.hs
27SUBST_VARS.runtime= CC PREFIX COMPILER_RPATH_FLAG 27SUBST_VARS.runtime= CC PREFIX COMPILER_RPATH_FLAG
28 28
29# When -O2 is in effect, GHC uses whopping 4 GiB of memory (what?) to 29# When -O2 is in effect, GHC uses whopping 4 GiB of memory (what?) to
30# compile src/Idris/IBC.hs for some unknown reason, possibly related to 30# compile src/Idris/IBC.hs for some unknown reason, possibly related to
31# https://gitlab.haskell.org/ghc/ghc/issues/5642 or 31# https://gitlab.haskell.org/ghc/ghc/issues/5642 or
32# https://gitlab.haskell.org/ghc/ghc/issues/13535 32# https://gitlab.haskell.org/ghc/ghc/issues/13535
33HASKELL_OPTIMIZATION_LEVEL= 1 33HASKELL_OPTIMIZATION_LEVEL= 1
34 34
 35# If idris is to be linked dynamically, it will depend on more than 110
 36# shared objects and the dynamic linker will spend nearly a second to
 37# resolve symbols on startup. This is unacceptable because idris tends to
 38# be launched very frequently by build systems. This wastes storage, but
 39# time is more expensive than disks.
 40HASKELL_ENABLE_SHARED_LIBRARY= no
 41
 42# It makes no sense to build the profiling library because this package
 43# isn't meant to be used as a library.
 44HASKELL_ENABLE_LIBRARY_PROFILING= no
 45
 46# idris is built with optparse-applicative, and can generate shell
 47# completion scripts automatically.
 48.include "../../devel/hs-optparse-applicative/application.mk"
 49
35.include "options.mk" 50.include "options.mk"
36 51
37.include "../../converters/hs-aeson/buildlink3.mk" 52.include "../../converters/hs-aeson/buildlink3.mk"
38.include "../../textproc/hs-annotated-wl-pprint/buildlink3.mk" 53.include "../../textproc/hs-annotated-wl-pprint/buildlink3.mk"
39.include "../../devel/hs-ansi-terminal/buildlink3.mk" 54.include "../../devel/hs-ansi-terminal/buildlink3.mk"
40.include "../../textproc/hs-ansi-wl-pprint/buildlink3.mk" 55.include "../../textproc/hs-ansi-wl-pprint/buildlink3.mk"
41.include "../../devel/hs-async/buildlink3.mk" 56.include "../../devel/hs-async/buildlink3.mk"
42.include "../../converters/hs-base64-bytestring/buildlink3.mk" 57.include "../../converters/hs-base64-bytestring/buildlink3.mk"
43.include "../../textproc/hs-blaze-html/buildlink3.mk" 58.include "../../textproc/hs-blaze-html/buildlink3.mk"
44.include "../../textproc/hs-blaze-markup/buildlink3.mk" 59.include "../../textproc/hs-blaze-markup/buildlink3.mk"
45.include "../../textproc/hs-cheapskate/buildlink3.mk" 60.include "../../textproc/hs-cheapskate/buildlink3.mk"
46.include "../../devel/hs-code-page/buildlink3.mk" 61.include "../../devel/hs-code-page/buildlink3.mk"
47.include "../../devel/hs-fingertree/buildlink3.mk" 62.include "../../devel/hs-fingertree/buildlink3.mk"
48.include "../../devel/hs-fsnotify/buildlink3.mk" 63.include "../../devel/hs-fsnotify/buildlink3.mk"
49.include "../../math/hs-ieee754/buildlink3.mk" 64.include "../../math/hs-ieee754/buildlink3.mk"
50.include "../../textproc/hs-megaparsec/buildlink3.mk" 65.include "../../textproc/hs-megaparsec/buildlink3.mk"
51.include "../../net/hs-network/buildlink3.mk" 66.include "../../net/hs-network/buildlink3.mk"
52.include "../../devel/hs-optparse-applicative/buildlink3.mk" 
53.include "../../devel/hs-parser-combinators/buildlink3.mk" 67.include "../../devel/hs-parser-combinators/buildlink3.mk"
54.include "../../textproc/hs-regex-tdfa/buildlink3.mk" 68.include "../../textproc/hs-regex-tdfa/buildlink3.mk"
55.include "../../devel/hs-safe/buildlink3.mk" 69.include "../../devel/hs-safe/buildlink3.mk"
56.include "../../devel/hs-split/buildlink3.mk" 70.include "../../devel/hs-split/buildlink3.mk"
57.include "../../devel/hs-terminal-size/buildlink3.mk" 71.include "../../devel/hs-terminal-size/buildlink3.mk"
58.include "../../devel/hs-uniplate/buildlink3.mk" 72.include "../../devel/hs-uniplate/buildlink3.mk"
59.include "../../devel/hs-unordered-containers/buildlink3.mk" 73.include "../../devel/hs-unordered-containers/buildlink3.mk"
60.include "../../devel/hs-utf8-string/buildlink3.mk" 74.include "../../devel/hs-utf8-string/buildlink3.mk"
61.include "../../devel/hs-vector/buildlink3.mk" 75.include "../../devel/hs-vector/buildlink3.mk"
62.include "../../devel/hs-vector-binary-instances/buildlink3.mk" 76.include "../../devel/hs-vector-binary-instances/buildlink3.mk"
63.include "../../archivers/hs-zip-archive/buildlink3.mk" 77.include "../../archivers/hs-zip-archive/buildlink3.mk"
64.include "../../mk/haskell.mk" 78.include "../../mk/haskell.mk"
65.include "../../mk/bsd.pkg.mk" 79.include "../../mk/bsd.pkg.mk"
cvs diff -r1.2 -r1.3 pkgsrc/lang/idris/PLIST (expand / switch to unified diff)

--- pkgsrc/lang/idris/PLIST 2021/04/25 11:39:03 1.2
+++ pkgsrc/lang/idris/PLIST 2022/02/26 08:07:37 1.3
@@ -1,368 +1,136 @@ @@ -1,368 +1,136 @@
1@comment $NetBSD: PLIST,v 1.2 2021/04/25 11:39:03 pho Exp $ 1@comment $NetBSD: PLIST,v 1.3 2022/02/26 08:07:37 pho Exp $
2bin/idris 2bin/idris
3bin/idris-codegen-c 3bin/idris-codegen-c
4bin/idris-codegen-javascript 4bin/idris-codegen-javascript
5bin/idris-codegen-node 5bin/idris-codegen-node
6lib/${PKGNAME}/${HS_VERSION}/package-description 6lib/${PKGNAME}/${HS_VERSION}/package-description
7lib/${PKGNAME}/${HS_VERSION}/package-id 7lib/${PKGNAME}/${HS_VERSION}/package-id
8lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.dyn_hi 
9lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi 8lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi
10lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.p_hi 
11lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.dyn_hi 
12lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi 9lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi
13lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.p_hi 
14lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.dyn_hi 
15lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi 10lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi
16lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.p_hi 
17lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.dyn_hi 
18lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi 11lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi
19lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.p_hi 
20lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.dyn_hi 
21lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi 12lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi
22lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.p_hi 
23lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.dyn_hi 
24lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi 13lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi
25lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.p_hi 
26lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.dyn_hi 
27lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi 14lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi
28lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.p_hi 
29lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.dyn_hi 
30lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi 15lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi
31lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.p_hi 
32lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.dyn_hi 
33lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi 16lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi
34lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.p_hi 
35lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.dyn_hi 
36lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi 17lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi
37lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.p_hi 
38lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.dyn_hi 
39lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi 18lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi
40lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.p_hi 
41lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.dyn_hi 
42lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi 19lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi
43lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.p_hi 
44lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.dyn_hi 
45lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi 20lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi
46lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.p_hi 
47lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.dyn_hi 
48lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi 21lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi
49lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.p_hi 
50lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.dyn_hi 
51lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi 22lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi
52lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.p_hi 
53lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.dyn_hi 
54lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi 23lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi
55lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.p_hi 
56lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.dyn_hi 
57lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi 24lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi
58lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.p_hi 
59lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.dyn_hi 
60lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi 25lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi
61lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.p_hi 
62lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.dyn_hi 
63lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi 26lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi
64lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.p_hi 
65lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.dyn_hi 
66lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi 27lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi
67lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.p_hi 
68lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.dyn_hi 
69lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi 28lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi
70lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.p_hi 
71lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.dyn_hi 
72lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi 29lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi
73lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.p_hi 
74lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.dyn_hi 
75lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi 30lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi
76lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.p_hi 
77lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.dyn_hi 
78lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi 31lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi
79lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.p_hi 
80lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.dyn_hi 
81lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi 32lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi
82lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.p_hi 
83lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.dyn_hi 
84lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi 33lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi
85lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.p_hi 
86lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.dyn_hi 
87lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi 34lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi
88lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.p_hi 
89lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.dyn_hi 
90lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi 35lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi
91lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.p_hi 
92lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.dyn_hi 
93lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi 36lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi
94lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.p_hi 
95lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.dyn_hi 
96lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi 37lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi
97lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.p_hi 
98lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.dyn_hi 
99lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi 38lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi
100lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.p_hi 
101lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.dyn_hi 
102lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi 39lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi
103lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.p_hi 
104lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.dyn_hi 
105lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi 40lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi
106lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.p_hi 
107lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.dyn_hi 
108lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi 41lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi
109lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.p_hi 
110lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.dyn_hi 
111lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi 42lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi
112lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.p_hi 
113lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.dyn_hi 
114lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi 43lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi
115lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.p_hi 
116lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.dyn_hi 
117lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi 44lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi
118lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.p_hi 
119lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.dyn_hi 
120lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi 45lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi
121lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.p_hi 
122lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.dyn_hi 
123lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi 46lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi
124lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.p_hi 
125lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.dyn_hi 
126lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi 47lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi
127lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.p_hi 
128lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.dyn_hi 
129lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi 48lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi
130lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.p_hi 
131lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.dyn_hi 
132lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi 49lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi
133lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.p_hi 
134lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.dyn_hi 
135lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi 50lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi
136lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.p_hi 
137lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.dyn_hi 
138lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi 51lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi
139lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.p_hi 
140lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.dyn_hi 
141lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi 52lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi
142lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.p_hi 
143lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.dyn_hi 
144lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi 53lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi
145lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.p_hi 
146lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.dyn_hi 
147lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi 54lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi
148lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.p_hi 
149lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.dyn_hi 
150lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi 55lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi
151lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.p_hi 
152lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.dyn_hi 
153lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi 56lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi
154lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.p_hi 
155lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.dyn_hi 
156lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi 57lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi
157lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.p_hi 
158lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.dyn_hi 
159lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi 58lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi
160lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.p_hi 
161lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.dyn_hi 
162lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi 59lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi
163lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.p_hi 
164lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.dyn_hi 
165lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi 60lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi
166lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.p_hi 
167lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.dyn_hi 
168lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi 61lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi
169lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.p_hi 
170lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.dyn_hi 
171lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi 62lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi
172lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.p_hi 
173lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.dyn_hi 
174lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi 63lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi
175lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.p_hi 
176lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.dyn_hi 
177lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi 64lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi
178lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.p_hi 
179lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.dyn_hi 
180lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi 65lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi
181lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.p_hi 
182lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.dyn_hi 
183lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi 66lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi
184lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.p_hi 
185lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.dyn_hi 
186lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi 67lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi
187lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.p_hi 
188lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.dyn_hi 
189lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi 68lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi
190lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.p_hi 
191lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.dyn_hi 
192lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi 69lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi
193lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.p_hi 
194lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.dyn_hi 
195lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi 70lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi
196lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.p_hi 
197lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.dyn_hi 
198lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi 71lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi
199lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.p_hi 
200lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.dyn_hi 
201lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi 72lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi
202lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.p_hi 
203lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.dyn_hi 
204lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi 73lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi
205lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.p_hi 
206lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.dyn_hi 
207lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi 74lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi
208lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.p_hi 
209lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.dyn_hi 
210lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi 75lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi
211lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.p_hi 
212lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.dyn_hi 
213lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi 76lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi
214lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.p_hi 
215lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.dyn_hi 
216lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi 77lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi
217lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.p_hi 
218lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.dyn_hi 
219lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi 78lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi
220lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.p_hi 
221lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.dyn_hi 
222lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi 79lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi
223lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.p_hi 
224lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.dyn_hi 
225lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi 80lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi
226lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.p_hi 
227lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.dyn_hi 
228lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi 81lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi
229lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.p_hi 
230lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.dyn_hi 
231lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi 82lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi
232lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.p_hi 
233lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.dyn_hi 
234lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi 83lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi
235lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.p_hi 
236lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.dyn_hi 
237lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi 84lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi
238lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.p_hi 
239lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.dyn_hi 
240lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi 85lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi
241lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.p_hi 
242lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.dyn_hi 
243lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi 86lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi
244lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.p_hi 
245lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.dyn_hi 
246lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi 87lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi
247lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.p_hi 
248lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.dyn_hi 
249lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi 88lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi
250lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.p_hi 
251lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.dyn_hi 
252lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.hi 89lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.hi
253lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.p_hi 
254lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.dyn_hi 
255lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.hi 90lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.hi
256lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.p_hi 
257lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.dyn_hi 
258lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.hi 91lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.hi
259lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.p_hi 
260lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.dyn_hi 
261lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.hi 92lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.hi
262lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.p_hi 
263lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.dyn_hi 
264lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.hi 93lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.hi
265lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.p_hi 
266lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.dyn_hi 
267lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.hi 94lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.hi
268lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.p_hi 
269lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.dyn_hi 
270lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.hi 95lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.hi
271lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.p_hi 
272lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.dyn_hi 
273lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.hi 96lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.hi
274lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.p_hi 
275lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.dyn_hi 
276lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.hi 97lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.hi
277lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.p_hi 
278lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.dyn_hi 
279lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.hi 98lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.hi
280lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.p_hi 
281lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.dyn_hi 
282lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.hi 99lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.hi
283lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.p_hi 
284lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.dyn_hi 
285lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.hi 100lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.hi
286lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.p_hi 
287lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.dyn_hi 
288lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.hi 101lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.hi
289lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.p_hi 
290lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.dyn_hi 
291lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.hi 102lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.hi
292lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.p_hi 
293lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.dyn_hi 
294lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.hi 103lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.hi
295lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.p_hi 
296lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.dyn_hi 
297lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.hi 104lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.hi
298lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.p_hi 
299lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.dyn_hi 
300lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.hi 105lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.hi
301lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.p_hi 
302lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.dyn_hi 
303lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.hi 106lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.hi
304lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.p_hi 
305lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.dyn_hi 
306lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.hi 107lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.hi
307lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.p_hi 
308lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.dyn_hi 
309lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.hi 108lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.hi
310lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.p_hi 
311lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.dyn_hi 
312lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.hi 109lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.hi
313lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.p_hi 
314lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.dyn_hi 
315lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.hi 110lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.hi
316lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.p_hi 
317lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.dyn_hi 
318lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.hi 111lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.hi
319lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.p_hi 
320lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.dyn_hi 
321lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.hi 112lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.hi
322lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.p_hi 
323lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.dyn_hi 
324lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.hi 113lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.hi
325lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.p_hi 
326lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.dyn_hi 
327lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.hi 114lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.hi
328lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.p_hi 
329lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.dyn_hi 
330lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.hi 115lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.hi
331lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.p_hi 
332lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.dyn_hi 
333lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.hi 116lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.hi
334lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.p_hi 
335lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.dyn_hi 
336lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.hi 117lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.hi
337lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.p_hi 
338lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.dyn_hi 
339lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.hi 118lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.hi
340lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.p_hi 
341lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.dyn_hi 
342lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.hi 119lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.hi
343lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.p_hi 
344lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.dyn_hi 
345lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.hi 120lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.hi
346lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.p_hi 
347lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.dyn_hi 
348lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.hi 121lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.hi
349lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.p_hi 
350lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.dyn_hi 
351lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.hi 122lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.hi
352lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.p_hi 
353lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a 123lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
354lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a 
355lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so 
356man/man1/idris.1 124man/man1/idris.1
357share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE 125share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE
358share/doc/${HS_PLATFORM}/${PKGNAME}/html/CHANGELOG.md 126share/doc/${HS_PLATFORM}/${PKGNAME}/html/CHANGELOG.md
359share/doc/${HS_PLATFORM}/${PKGNAME}/html/CITATION.md 127share/doc/${HS_PLATFORM}/${PKGNAME}/html/CITATION.md
360share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTING.md 128share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTING.md
361share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTORS 129share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTORS
362share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Bytecode.html 130share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Bytecode.html
363share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenC.html 131share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenC.html
364share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenCommon.html 132share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenCommon.html
365share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenJavaScript.html 133share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenJavaScript.html
366share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Compiler.html 134share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Compiler.html
367share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Defunctionalise.html 135share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Defunctionalise.html
368share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-DumpBC.html 136share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-DumpBC.html
File Deleted: pkgsrc/lang/idris/Attic/buildlink3.mk
cvs diff -r1.6 -r1.7 pkgsrc/lang/idris/distinfo (expand / switch to unified diff)

--- pkgsrc/lang/idris/distinfo 2022/02/12 07:13:35 1.6
+++ pkgsrc/lang/idris/distinfo 2022/02/26 08:07:37 1.7
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1$NetBSD: distinfo,v 1.6 2022/02/12 07:13:35 pho Exp $ 1$NetBSD: distinfo,v 1.7 2022/02/26 08:07:37 pho Exp $
2 2
3BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95 3BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95
4SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c 4SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c
5Size (idris-1.3.4.tar.gz) = 1720240 bytes 5Size (idris-1.3.4.tar.gz) = 1720240 bytes
6SHA1 (patch-Setup.hs) = 26b0fe5486434aa5056703abd8041778ff73f385 6SHA1 (patch-Setup.hs) = 61ce92edfa6bbb8812c7888ce12fde979e85439b
7SHA1 (patch-idris.cabal) = ca4ee9a7d02a5bef2ba36c3edf317bb49718ae70 7SHA1 (patch-idris.cabal) = ca4ee9a7d02a5bef2ba36c3edf317bb49718ae70
8SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e 8SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
9SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8 9SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8
10SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d 10SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d
11SHA1 (patch-src_Idris_Package_Parser.hs) = 3394ec6fbf1323f4331d614426b48377815b7347 11SHA1 (patch-src_Idris_Package_Parser.hs) = 3394ec6fbf1323f4331d614426b48377815b7347
12SHA1 (patch-src_Idris_Parser_Data.hs) = 5b6d2d3944233fba22e93d631f92de49e64b35a8 12SHA1 (patch-src_Idris_Parser_Data.hs) = 5b6d2d3944233fba22e93d631f92de49e64b35a8
13SHA1 (patch-src_Idris_Parser_Helpers.hs) = bfd9b16dafa0581147c6b22e5d4e43ae2b701f96 13SHA1 (patch-src_Idris_Parser_Helpers.hs) = bfd9b16dafa0581147c6b22e5d4e43ae2b701f96
14SHA1 (patch-src_Idris_Parser_Ops.hs) = 2ebc3ffc1c909362c4945e556056d5428a8d0a25 14SHA1 (patch-src_Idris_Parser_Ops.hs) = 2ebc3ffc1c909362c4945e556056d5428a8d0a25
cvs diff -r1.3 -r1.4 pkgsrc/lang/idris/patches/patch-Setup.hs (expand / switch to unified diff)

--- pkgsrc/lang/idris/patches/patch-Setup.hs 2021/04/25 11:39:03 1.3
+++ pkgsrc/lang/idris/patches/patch-Setup.hs 2022/02/26 08:07:37 1.4
@@ -1,19 +1,19 @@ @@ -1,19 +1,19 @@
1$NetBSD: patch-Setup.hs,v 1.3 2021/04/25 11:39:03 pho Exp $ 1$NetBSD: patch-Setup.hs,v 1.4 2022/02/26 08:07:37 pho Exp $
2 2
3* Don't hard-code the gmake command (pkgsrc specific). 3* Don't hard-code the gmake command (pkgsrc specific).
4 4
5* Set LD_LIBRARY_PATH while building its standard libraries. This is 5* Set LD_LIBRARY_PATH while building its standard libraries. This is
6 needed because we link idris dynamically. 6 needed when idris is linked dynamically.
7 7
8* Don't try to invoke git. Cabal packages don't come with .git 8* Don't try to invoke git. Cabal packages don't come with .git
9 directory. 9 directory.
10 10
11* Fix build with GHC 8.8 11* Fix build with GHC 8.8
12 12
13* Install man pages under PKGMANDIR. It's unfortunate that ./Setup has 13* Install man pages under PKGMANDIR. It's unfortunate that ./Setup has
14 no options for changing the directory. The module 14 no options for changing the directory. The module
15 Distribution.Simple.InstallDirs (which provides the function 15 Distribution.Simple.InstallDirs (which provides the function
16 "mandir") is a part of GHC, and we also don't want to change its 16 "mandir") is a part of GHC, and we also don't want to change its
17 default mandir because GHC isn't meant to be used solely within 17 default mandir because GHC isn't meant to be used solely within
18 pkgsrc. 18 pkgsrc.
19 19