git.iko.soy/Idris-dev
on master help sign in
Add missing test files in idris.cabal
181dddbgpyh
idris.cabal+21−2
compare with master
unifiedsplit
@@ -146,7 +146,7 @@ Extra-source-files:
146 libs/effects/Makefile
146 libs/effects/Makefile
147 libs/effects/effects.ipkg
147 libs/effects/effects.ipkg
148 libs/effects/Effect/*.idr
148 libs/effects/Effect/*.idr
149− libs/effects/Effect/Logging/*.idr
149+ libs/effects/Effect/Logging/*.idr
150 libs/effects/*.idr
150 libs/effects/*.idr
151
151
152 libs/pruviloj/Makefile
152 libs/pruviloj/Makefile
@@ -356,6 +356,10 @@ Extra-source-files:
356 test/bignum002/*.idr
356 test/bignum002/*.idr
357 test/bignum002/expected
357 test/bignum002/expected
358
358
359+ test/bounded001/run
360+ test/bounded001/*.idr
361+ test/bounded001/expected
362+
359 test/corecords001/*.idr
363 test/corecords001/*.idr
360 test/corecords001/run
364 test/corecords001/run
361 test/corecords001/expected
365 test/corecords001/expected
@@ -604,6 +608,9 @@ Extra-source-files:
604 test/meta002/run
608 test/meta002/run
605 test/meta002/*.idr
609 test/meta002/*.idr
606 test/meta002/expected
610 test/meta002/expected
611+ test/meta003/run
612+ test/meta003/*.idr
613+ test/meta003/expected
607 test/meta004/run
614 test/meta004/run
608 test/meta004/*.idr
615 test/meta004/*.idr
609 test/meta004/expected
616 test/meta004/expected
@@ -630,9 +637,21 @@ Extra-source-files:
630 test/primitives006/expected
637 test/primitives006/expected
631
638
632 test/pkg001/run
639 test/pkg001/run
633− test/pkg001/test-pkg.ipkg
634 test/pkg001/*.idr
640 test/pkg001/*.idr
635 test/pkg001/expected
641 test/pkg001/expected
642+ test/pkg001/*.ipkg
643+ test/pkg002/run
644+ test/pkg002/*.idr
645+ test/pkg002/expected
646+ test/pkg002/*.ipkg
647+ test/pkg003/run
648+ test/pkg003/*.idr
649+ test/pkg003/expected
650+ test/pkg003/*.ipkg
651+ test/pkg004/run
652+ test/pkg004/*.idr
653+ test/pkg004/expected
654+ test/pkg004/*.ipkg
636
655
637 test/proof001/run
656 test/proof001/run
638 test/proof001/*.idr
657 test/proof001/*.idr