git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2572 from enolan/cabal-extra-files
88005d8Niklas Larsson
idris.cabal+30
compare with master
unifiedsplit
@@ -76,9 +76,23 @@ Data-files: idrisdoc/styles.css
76 rts/mini-gmp.h
76 rts/mini-gmp.h
77 rts/libtest.c
77 rts/libtest.c
78
78
79+Extra-doc-files:
80+ CHANGELOG
81+ CITATION.md
82+ CONTRIBUTING.md
83+ CONTRIBUTORS
84+ README.md
85+ idris-tutorial.pdf
86+ man/idris.1
87+ samples/effects/*.idr
88+ samples/misc/*.idr
89+ samples/misc/*.lidr
90+ samples/tutorial/*.idr
91+
79Extra-source-files:
92Extra-source-files:
80 Makefile
93 Makefile
81 config.mk
94 config.mk
95+ stack.yaml
82
96
83 rts/*.c
97 rts/*.c
84 rts/*.h
98 rts/*.h
@@ -718,6 +732,22 @@ Extra-source-files:
718 test/docs003/*.idr
732 test/docs003/*.idr
719 test/docs003/expected
733 test/docs003/expected
720
734
735+ benchmarks/ALL
736+ benchmarks/*.pl
737+ benchmarks/README
738+
739+ benchmarks/fasta/fasta.idr
740+ benchmarks/fasta/fasta.ipkg
741+
742+ benchmarks/pidigits/pidigits.idr
743+ benchmarks/pidigits/pidigits.ipkg
744+
745+ benchmarks/quasigroups/board
746+ benchmarks/quasigroups/*.idr
747+ benchmarks/quasigroups/qgsolve.ipkg
748+
749+ benchmarks/trivial/sortvec.idr
750+ benchmarks/trivial/sortvec.ipkg
721
751
722source-repository head
752source-repository head
723 type: git
753 type: git