diff options
author | Akim Demaille <demaille@gostai.com> | 2009-08-12 14:47:08 +0200 |
---|---|---|
committer | Akim Demaille <demaille@gostai.com> | 2009-08-12 16:30:48 +0200 |
commit | 9f14e187368df7680c4c5313bd25e7f04de07ef0 (patch) | |
tree | 9554ffb6a537b6dfc5de17f956acadd6531fa2cb /build-aux/local.mk | |
parent | d1b55e811584638c9ebb7046e4017bba167bb072 (diff) | |
download | bison-9f14e187368df7680c4c5313bd25e7f04de07ef0.tar.gz |
build: fix the generation of the documentation.
Some of our targets use "bison --help", but they can't depend on
"bison" itself (to avoid additional requirements on the user), so
they used to call "make src/bison" in the commands. Then
concurrent builds may fail: one make might be aiming one of its
jobs at compiling src/bison, and another job at generating the man
page. If the latter is faster than the former, then we have two
makes that concurrently try to compile src/bison.
This might also be a more convincing explanation for the failure
described in the patch "build: fix paths".
* Makefile.am (SUFFIXES): Initialize.
* build-aux/move-if-change: New, symlink to gnulib's.
* build-aux/local.mk: Ship it.
* doc/common.x: Remove, merged into...
* doc/bison.x: here.
* doc/local.mk (doc/bison.help): New.
($(CROSS_OPTIONS_TEXI)): Depend on it.
Use src/bison.
(.x.1): Replace with...
(doc/bison.1): this explicit, simpler, target.
(common_dep): Remove, inlined where appropriate.
(SUFFIXES, PREPATH): Remove, unused.
Diffstat (limited to 'build-aux/local.mk')
-rw-r--r-- | build-aux/local.mk | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/build-aux/local.mk b/build-aux/local.mk index c914172e..141081e7 100644 --- a/build-aux/local.mk +++ b/build-aux/local.mk @@ -1,4 +1,5 @@ EXTRA_DIST += \ -build-aux/update-b4-copyright \ -build-aux/prev-version.txt \ -build-aux/cross-options.pl + build-aux/cross-options.pl \ + build-aux/move-if-change \ + build-aux/prev-version.txt \ + build-aux/update-b4-copyright |