diff options
| author | Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2021-01-26 13:59:25 +0000 |
|---|---|---|
| committer | Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2021-01-26 13:59:25 +0000 |
| commit | becaac537e3b0b9adb629868791db4bd22cdbf59 (patch) | |
| tree | cd5714fafbc188aa7dd52153a4b6e9861807f43a /math/cvc3 | |
| parent | d058df382b09b3f9d007466d720d4e2985d83f53 (diff) | |
| download | ports-becaac537e3b0b9adb629868791db4bd22cdbf59.tar.gz ports-becaac537e3b0b9adb629868791db4bd22cdbf59.zip | |
Fix build with bison 3.7.4
PR: 248911
Exp-run by: antoine
Notes
Notes:
svn path=/head/; revision=562665
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/files/patch-src-parser-Makefile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/math/cvc3/files/patch-src-parser-Makefile b/math/cvc3/files/patch-src-parser-Makefile new file mode 100644 index 000000000000..913580694114 --- /dev/null +++ b/math/cvc3/files/patch-src-parser-Makefile @@ -0,0 +1,35 @@ +--- src/parser/Makefile.orig 2010-06-16 17:55:52 UTC ++++ src/parser/Makefile +@@ -38,7 +38,7 @@ parsePL_defs.h: parsePL.cpp + parsePL.cpp: PL.y + $(YACC) $(YFLAGS) -o parsePL.cpp -p PL --debug -v PL.y + @if [ -f parsePL.cpp.h ]; then mv parsePL.cpp.h parsePL.hpp; fi +- @mv parsePL.hpp parsePL_defs.h ++ @cp parsePL.hpp parsePL_defs.h + + lexLisp.cpp: Lisp.lex parseLisp_defs.h + $(LEX) $(LFLAGS) -I -PLisp -olexLisp.cpp Lisp.lex +@@ -48,7 +48,7 @@ parseLisp_defs.h: parseLisp.cpp + parseLisp.cpp: Lisp.y + $(YACC) $(YFLAGS) -o parseLisp.cpp -p Lisp --debug -v Lisp.y + @if [ -f parseLisp.cpp.h ]; then mv parseLisp.cpp.h parseLisp.hpp; fi +- @mv parseLisp.hpp parseLisp_defs.h ++ @cp parseLisp.hpp parseLisp_defs.h + + lexsmtlib.cpp: smtlib.lex parsesmtlib_defs.h + $(LEX) $(LFLAGS) -I -Psmtlib -olexsmtlib.cpp smtlib.lex +@@ -58,7 +58,7 @@ parsesmtlib_defs.h: parsesmtlib.cpp + parsesmtlib.cpp: smtlib.y + $(YACC) $(YFLAGS) -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y + @if [ -f parsesmtlib.cpp.h ]; then mv parsesmtlib.cpp.h parsesmtlib.hpp; fi +- @mv parsesmtlib.hpp parsesmtlib_defs.h ++ @cp parsesmtlib.hpp parsesmtlib_defs.h + + lexsmtlib2.cpp: smtlib2.lex parsesmtlib2_defs.h + $(LEX) $(LFLAGS) -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex +@@ -68,4 +68,4 @@ parsesmtlib2_defs.h: parsesmtlib2.cpp + parsesmtlib2.cpp: smtlib2.y + $(YACC) $(YFLAGS) -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y + @if [ -f parsesmtlib2.cpp.h ]; then mv parsesmtlib2.cpp.h parsesmtlib2.hpp; fi +- @mv parsesmtlib2.hpp parsesmtlib2_defs.h ++ @cp parsesmtlib2.hpp parsesmtlib2_defs.h |