Re: [sage-support] What do the different `make ****clean` targets do?
On 02/11/2018 08:57 PM, rickhg12hs wrote: > I've built from source to get a performance boost (I hope) and I'd like > to know when I should use the different levels of `make clean`. In > the top-level make file I see, "misc-clean, bdist-clean, clean, > distclean, build-clean, bootstrap-clean, maintainer-clean, > sagelib-clean" as either targets or dependencies of targets. I can only partially answer your question; some of those are standard targets that come from autotools: https://www.gnu.org/prep/standards/html_node/Standard-Targets.html -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
[sage-support] What do the different `make ****clean` targets do?
I've built from source to get a performance boost (I hope) and I'd like to know when I should use the different levels of `make clean`. In the top-level make file I see, "misc-clean, bdist-clean, clean, distclean, build-clean, bootstrap-clean, maintainer-clean, sagelib-clean" as either targets or dependencies of targets. For example, on a drive-space challenged system, which `clean` target will ... 1) delete everything but leave sage fully functionally? ...or perhaps, ... 2) delete everything but leave enough for a "fairly quick" re-build if desired? Is there a "make clean guide" for those who don't know the entire sage build tree/process/etc.? -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.