fix generated makefile dependencies to work when a file is deleted

This commit is contained in:
Matthew Flatt 2018-04-30 19:57:22 -06:00
parent ff588f93eb
commit 53c1b5b1db
2 changed files with 6 additions and 2 deletions

View File

@ -347,4 +347,6 @@
(fprintf o "~a:" (quote-if-space makefile-dependencies-target)) (fprintf o "~a:" (quote-if-space makefile-dependencies-target))
(for ([dep (in-hash-keys dependencies)]) (for ([dep (in-hash-keys dependencies)])
(fprintf o " \\\n ~a" (quote-if-space dep))) (fprintf o " \\\n ~a" (quote-if-space dep)))
(newline o)))) (newline o)
(for ([dep (in-hash-keys dependencies)])
(fprintf o "\n~a:\n" (quote-if-space dep))))))

View File

@ -102,7 +102,9 @@
(quote-if-space target-file))) (quote-if-space target-file)))
(for ([dep (in-list deps)]) (for ([dep (in-list deps)])
(fprintf o " \\\n ~a" (quote-if-space dep))) (fprintf o " \\\n ~a" (quote-if-space dep)))
(newline o))) (newline o)
(for ([dep (in-list deps)])
(fprintf o "\n~a:\n" (quote-if-space dep)))))
;; Now that the lock is released, instantiate: ;; Now that the lock is released, instantiate:
(dynamic-require mod-file #f)))) (dynamic-require mod-file #f))))