#18710: Move some make targets to build/Makefile
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: build | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/move_some_make_targets_to_build_makefile|
755021600db6bb06415735cf10043b4351a2a86f
Dependencies: #18533, #18715, | Stopgaps:
#18716 |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:20 ncohen]:
> You concatenate in the same file the results of several commands, don't
you?
Yes indeed.
> How are we meant to know what is the result of what?
You cannot really know that. But if you need to know, just look at the
individual log files, which still exist.
> Wouldn't it be better to have a logfile whose name includes the date or
something?
> Also, 'install' is ill-chosen.
Well, I think that changing the name of that file is outside the scope of
this ticket. That should be done with caution, as this might have
consequences for the patchbot/buildbot for example.
> This filename is used whenever the rule that is being used does not
exist in the main makefile, and it can be anything
(install/docbuild/tests).
Well, this ticket is about integrating the build of the documentation into
the rest of the build system. So having one log file is consistent with
that.
> It also seems that calls to 'make' with a wrong rule will produce output
too.
True, but that's not really a major problem, is it?
--
Ticket URL: <http://trac.sagemath.org/ticket/18710#comment:21>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
