split in install-binaries and install-packages has been done in trunk.
'install' target depends on those 2 targets, therefore this restores
the way 'make install' worked before 2.1.2
-- Massimo
On 19-08-2013 22:36, Jeff Lawson wrote:
In a later email on July 3, you said:
A better approach would have been to preserve 'make install' as an
'install everything' target and split it into 2 depends on
'install-packages' and 'install-binaries' targets. I think we could
go
that way quite safely and I will get the blame for not having
thought of
it on time and for having gotten out a lame version of rivet.
Although Rivet 2.1.2 is already released with out that improvement,
what do you think about making that change for future versions? That
is, "make install" does "make install-packages install-binaries"
d
---------------------------------------------------------------------
To unsubscribe, e-mail: rivet-dev-unsubscr...@tcl.apache.org
For additional commands, e-mail: rivet-dev-h...@tcl.apache.org
