Merge pull request #2154 from melted/cabal_tweak
Add folding001 test to cabal
commit1f459e076b95e8656e799568ef48500d81617a10
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 17 Apr 2015, 07:52 (12 years ago)
parent0175345d2e8625
idris.cabal+4
@@ -421,6 +421,10 @@ Extra-source-files:
421421 test/ffi006/run
422422 test/ffi006/expected
423423
424+ test/folding001/*.idr
425+ test/folding001/run
426+ test/folding001/expected
427+
424428 test/idrisdoc001/run
425429 test/idrisdoc001/expected
426430 test/idrisdoc001/*.idr