]> granicus.if.org Git - python/commit
bpo-28643: Record profile-opt build progress with stamp files (#4223)
authorNeil Schemenauer <nas-github@arctrix.com>
Thu, 2 Nov 2017 17:46:02 +0000 (10:46 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2017 17:46:02 +0000 (10:46 -0700)
commit4e38d71a2b7b606fb1b0078c2d7014fc24044dac
tree088faec4d92e5ef80e849d055a903793c819ddd3
parent0d2c645d41eee4ec7549c86ccc23970b692a48b0
bpo-28643: Record profile-opt build progress with stamp files (#4223)

* bpo-28643: Record profile-opt build progress with stamp files

The profile-opt makefile target is expensive to build. Since the
makefile does not contain complete dependency information for this
target, much extra work can get done if the build is interrupted and
re-started.  Even running "make" a second time will result in a huge
amount of redundant work.

As a minimal fix (rather than removing recursive "make" and adding a
proper dependency graph), split the profile-opt target into parts:

- ensure tree is clean (profile-clean-stamp)
- build with profile generation enabled (profile-gen-stamp)
- run task to generate profile information (profile-run-stamp)
- build optimized Python using above information (profile-opt)

We use "stamp" files to record completion of the steps.  Running
"make clean" will not remove the profile-run-stamp file.

Other minor changes:

- remove the "build_all_use_profile" target.  I don't expect callers
  of the makefile to use this target so that should be safe.

- remove execution of "profile-removal" at end of "profile-opt".  I
  don't see any reason to not to keep the profile information, given
  the cost to generate it.  Removing the "profile-run-stamp" file
  will force re-generation of it.
Makefile.pre.in
Misc/NEWS.d/next/Build/2017-11-01-14-16-27.bpo-28643.9iPKJy.rst [new file with mode: 0644]