1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Description: Fix parallel build failure
In parallel builds this "bison && mv" ran twice in parallel,
FTBFS if this resulted in the following sequence:
bison -t -o gecode/flatzinc/parser.tab.cpp -d gecode/flatzinc/parser.yxx
bison -t -o gecode/flatzinc/parser.tab.cpp -d gecode/flatzinc/parser.yxx
mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
Running it only once fixes the problem.
Author: Adrian Bunk <bunk@debian.org>
Bug-Debian: https://bugs.debian.org/863936
--- a/Makefile.in
+++ b/Makefile.in
@@ -1493,7 +1493,9 @@
flex -ogecode/flatzinc/lexer.yy.cpp \
$(top_srcdir)/gecode/flatzinc/lexer.lxx
-gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.cpp: \
+gecode/flatzinc/parser.tab.hpp: gecode/flatzinc/parser.tab.cpp
+
+gecode/flatzinc/parser.tab.cpp: \
$(top_srcdir)/gecode/flatzinc/parser.yxx
bison -t -o gecode/flatzinc/parser.tab.cpp -d $<
else
|
