Add test sources to `idris.cabal` extra-source-files.
commitf73cb16d7e148f3e7c81e164a6d32887aa274e92
authorSteven Shaw <steven@steshaw.org>
dateThu 21 Jul 2016, 21:38 (10 years ago)
parenta936a59
idris.cabal+4
@@ -598,6 +598,10 @@ Extra-source-files:
598598 test/io003/*.idr
599599 test/io003/expected
600600
601+ test/layout001/expected
602+ test/layout001/*.idr
603+ test/layout001/run
604+
601605 test/literate001/run
602606 test/literate001/*.lidr
603607 test/literate001/expected