diff options
Diffstat (limited to 'testsuite/tests/driver/recomp018/Makefile')
-rw-r--r-- | testsuite/tests/driver/recomp018/Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/tests/driver/recomp018/Makefile b/testsuite/tests/driver/recomp018/Makefile new file mode 100644 index 0000000000..fa18a54fe1 --- /dev/null +++ b/testsuite/tests/driver/recomp018/Makefile @@ -0,0 +1,30 @@ +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +# Recompilation tests for .hie files + +clean: + rm -f *.o *.hi *.hie + +recomp018: clean + echo 'first run' + '$(TEST_HC)' $(TEST_HC_OPTS) --make -fwrite-ide-info A.hs + sleep 1 + + # Check the .hie files have been created + test -f A.hie + test -f B.hie + test -f C.hie + + # Remove some of those files + rm A.hie B.hie + + # Recompile + echo 'second run' + '$(TEST_HC)' $(TEST_HC_OPTS) --make -fwrite-ide-info A.hs + + # Check the .hie files have been created + test -f A.hie + test -f B.hie + test -f C.hie |