Re: ghc --make and make

2005-12-08 Thread Frederik Eaton
Shouldn't it work to pass -M --make? Or, hmm, maybe -M isn't generating enough dependencies - like, it seems that it should generate a dependency for the final output file specified with -o but it isn't... Frederik On Wed, Dec 07, 2005 at 11:34:55AM -, Simon Marlow wrote: On 04 December

RE: ghc --make and make

2005-12-07 Thread Simon Marlow
On 04 December 2005 00:51, John Meacham wrote: I was thinking it would be nice if ghc --make could touch the output file with the timestamp of the most recently modified source file. As it is, if you edit a file in between when ghc --make starts and it finishes (a substantial amount of time