git.iko.soy/Idris-dev
on master help sign in
Add docs, stack.yaml and benchmarks to idris.cabal
e4f92e0Echo Nolan
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
@@ -745,6 +759,22 @@ Extra-source-files:
745 test/docs003/*.idr
759 test/docs003/*.idr
746 test/docs003/expected
760 test/docs003/expected
747
761
762+ benchmarks/ALL
763+ benchmarks/*.pl
764+ benchmarks/README
765+
766+ benchmarks/fasta/fasta.idr
767+ benchmarks/fasta/fasta.ipkg
768+
769+ benchmarks/pidigits/pidigits.idr
770+ benchmarks/pidigits/pidigits.ipkg
771+
772+ benchmarks/quasigroups/board
773+ benchmarks/quasigroups/*.idr
774+ benchmarks/quasigroups/qgsolve.ipkg
775+
776+ benchmarks/trivial/sortvec.idr
777+ benchmarks/trivial/sortvec.ipkg
748
778
749source-repository head
779source-repository head
750 type: git
780 type: git