1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
Index: gecode-6.2.0/Makefile.in
===================================================================
--- gecode-6.2.0.orig/Makefile.in 2020-08-08 17:21:43.000000000 +0300
+++ gecode-6.2.0/Makefile.in 2020-08-08 17:38:38.608012604 +0300
@@ -242,7 +242,7 @@
kernel/data kernel/propagator kernel/branch kernel/memory kernel/trace
ifeq "@enable_flatzinc@" "yes"
-EXTRA_HEADERS = gecode/support/config.hpp gecode/flatzinc/parser.tab.hh
+EXTRA_HEADERS = gecode/support/config.hpp gecode/flatzinc/parser.tab.hpp
else
EXTRA_HEADERS = gecode/support/config.hpp
endif
@@ -1458,20 +1458,19 @@
ifeq "@HAVE_FLEXBISON@" "yes"
gecode/flatzinc/lexer.yy.cpp: \
$(top_srcdir)/gecode/flatzinc/lexer.lxx \
- $(top_srcdir)/gecode/flatzinc/parser.tab.hh
+ $(top_srcdir)/gecode/flatzinc/parser.tab.hpp
flex -ogecode/flatzinc/lexer.yy.cpp \
$(top_srcdir)/gecode/flatzinc/lexer.lxx
-gecode/flatzinc/parser.tab.hh: 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 $<
- mv gecode/flatzinc/parser.tab.hpp gecode/flatzinc/parser.tab.hh
else
ifneq "$(top_srcdir)" "."
gecode/flatzinc/lexer.yy.cpp: $(top_srcdir)/gecode/flatzinc/lexer.yy.cpp
cp $(@:%=$(top_srcdir)/%) $@
-gecode/flatzinc/parser.tab.hh: $(top_srcdir)/gecode/flatzinc/parser.tab.hh
+gecode/flatzinc/parser.tab.hpp: $(top_srcdir)/gecode/flatzinc/parser.tab.hpp
cp $(@:%=$(top_srcdir)/%) $@
gecode/flatzinc/parser.tab.cpp: $(top_srcdir)/gecode/flatzinc/parser.tab.cpp
cp $(@:%=$(top_srcdir)/%) $@
@@ -2104,7 +2103,7 @@
$(RMF) config.log config.status Makefile.dep
depend: mkcompiledirs
- @$(MAKE) $(VARIMP) gecode/flatzinc/parser.tab.hh
+ @$(MAKE) $(VARIMP) gecode/flatzinc/parser.tab.hpp
perl $(top_srcdir)/misc/makedepend.perl \
$(top_srcdir) \
$(ALLSRC) \
Index: gecode-6.2.0/gecode/flatzinc/parser.hh
===================================================================
--- gecode-6.2.0.orig/gecode/flatzinc/parser.hh 2020-08-08 18:28:28.051988000 +0300
+++ gecode-6.2.0/gecode/flatzinc/parser.hh 2020-08-08 18:28:50.675291525 +0300
@@ -61,7 +61,7 @@
#include <gecode/flatzinc/varspec.hh>
#include <gecode/flatzinc/conexpr.hh>
#include <gecode/flatzinc/ast.hh>
-#include <gecode/flatzinc/parser.tab.hh>
+#include <gecode/flatzinc/parser.tab.hpp>
#include <gecode/flatzinc/symboltable.hh>
namespace Gecode { namespace FlatZinc {
|
