On Wed, 2012-01-04 at 16:24 +0100, Warlich, Christof wrote:
> Hi,
> 
> using rsync, it is rather simple to synchronize two directories:
> 
> $ rsync -r -t --del sourcedir/ destdir
> 
> In this example, if a file is deleted fron sourcedir, it also gets deleted 
> from destdir.
> Any other files are updated as needed.
> 
> I want to accomplish almost the same with Make, but instead of just copying, 
> I need
> to process any source file (each in the same way) to become the corresponding
> destination file (which is why rsync cannot be used).
> 
> The difficulty arises when a file is deleted from sourcedir: An ordinary 
> Makefile
> would just leave the corresponding (now obsolete) file being there from a 
> previous
> run of Make in destdir.
> 
> As this problem does not seem too special to me, I wonder if anyone knows a
> good generic solution?

It seems pretty unusual to me (for make).

The only way I can think to do it is have a phony target that always
runs, where the recipe is a small script that compares the elements in
the source with the ones in the target and deletes anything in the
target that doesn't exist in the source.

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <psm...@gnu.org>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.net
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist


_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to