Add test files to `idris.cabal` extra-source-files.
commitdf40a0afe1c3748914e661495d1136e651f4a690
authorSteven Shaw <steven@steshaw.org>
dateThu 21 Jul 2016, 21:31 (10 years ago)
parent1479cb6
idris.cabal+4
@@ -615,6 +615,10 @@ Extra-source-files:
615615 test/meta004/*.idr
616616 test/meta004/expected
617617
618+ test/prelude001/expected
619+ test/prelude001/prelude001.idr
620+ test/prelude001/run
621+
618622 test/primitives001/run
619623 test/primitives001/*.idr
620624 test/primitives001/expected