on master help sign in
Add docs, stack.yaml and benchmarks to idris.cabal

Added the text and Markdown documentation to sdists and installations with the extra-doc-files cabal field. This misses all the Sphinx docs - the effect of that field is just to copy the files as is and we really want the outputted HTML. I'm sure it's possible to generate the HTML with Sphinx at the same time as Haddock, I just didn't bother figuring out how. I'll add an issue. Added stack.yaml and the benchmarks to extra-source-files. This just copies them in sdists.

commite4f92e05664dab5be585a9a10edf76d1e3e035c6 authorEcho Nolan <echo@echonolan.net> dateWed 2 Sep 2015, 12:34 (11 years ago) parent4932d1c
1 file changed+30
idris.cabal+30
idris.cabal+30
@@ -76,9 +76,23 @@ Data-files: idrisdoc/styles.css
7676 rts/mini-gmp.h
7777 rts/libtest.c
7878
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+
7992Extra-source-files:
8093 Makefile
8194 config.mk
95+ stack.yaml
8296
8397 rts/*.c
8498 rts/*.h
@@ -745,6 +759,22 @@ Extra-source-files:
745759 test/docs003/*.idr
746760 test/docs003/expected
747761
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
748778
749779source-repository head
750780 type: git