[reset timestamp on executables so make realizes they are older than files edited while ghc was running. add a script to continually run make every time a source file changes
John Meacham <john@repetae.net>**20051007051659] hunk ./Makefile 3
-all:   jhc
+all: jhc jhcp
hunk ./Makefile 27
-	$(HC) $(GHCOPTS) $(EXTRAOPTS) $(GHCPROFOPTS) --make Main.hs -o $@
+	date '+%y%m%d%H%M.%S' > /tmp/$@.date.tmp
+	$(HC) $(GHCOPTS) $(EXTRAOPTS) $(GHCPROFOPTS) --make $(MAIN) -o $@
+	touch -t `cat /tmp/$@.date.tmp` $@
hunk ./Makefile 32
-	$(HC) $(GHCOPTS) $(EXTRAOPTS) --make Main.hs -o $@
+	date '+%y%m%d%H%M.%S' > /tmp/$@.date.tmp
+	$(HC) $(GHCOPTS) $(EXTRAOPTS) --make $(MAIN) -o $@
+	touch -t `cat /tmp/$@.date.tmp` $@
addfile ./compileloop.zsh
hunk ./compileloop.zsh 1
+#!/bin/zsh
+set +x
+TIMES=`ls -lt $(cat depend.make | sed -e 's/^HSFILES=//')`
+while true; do
+    TTIMES=`ls -lt $(cat depend.make | sed -e 's/^HSFILES=//')`
+    if [[ "$TIMES" !=  "$TTIMES" ]] { TIMES=$TTIMES; echo "changed"; { date ; make $* }|& tee -a compile.log }
+    sleep 1
+done
+