@@ -734,6 +734,10 @@ Extra-source-files:
734734 test/tutorial006/run
735735 test/tutorial006/*.idr
736736 test/tutorial006/expected
737+ test/tutorial007/run
738+ test/tutorial007/*.idr
739+ test/tutorial007/*.c
740+ test/tutorial007/expected
737741
738742 test/unique001/run
739743 test/unique001/*.idr