On Sun, Nov 17, 2019 at 06:15:15PM +0100, Matthew Flatt wrote:
> Yes, I think you're arriving at the right conclusions here.
>
> If I remember correctly, "external" means "from a different run of
> `render`", which normally means different documents --- but not if you
> give multiple documents to `render` at once. Since you want to be able
> to render blog posts separately, different blog posts should be
> `render`ed separately, and they'll count as external to each other.
>
> Making mutual references work is the job of info-in and info-out files.
> Document A's info-out file is the info-in file for any document that
> needs to reference document A. Yes, you have to run to a fixed point
> where none of the info-out/info-in files change. That requires a fancy
> `make` rule, indeed. :)
One thing I've used in the past is a conditional copy command.
condcopy from to
first compares the from and to files to see if they are the same.
If so, it does nothing. In particular, it does not chamge the timestamp
on 'to' that make uses.
If they are different, it copies 'from' to 'to'.
So if changes were made to the input of a ommand that venerates 'from'
that don't make a difference (except for changing from's modified timestamp,
no copy will take place and the timestamp on 'to' will not change.
I used this to avoid unnecessary recompilation of generated code.
But I imagine it would be useful in approximating a cirular makefile.
-- hendrik
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/20191117191640.jd5zgvxr5ahjvir2%40topoi.pooq.com.
