diff options
Diffstat (limited to 'dev-lang/maude/files/maude-3.1-prll.patch')
-rw-r--r-- | dev-lang/maude/files/maude-3.1-prll.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-lang/maude/files/maude-3.1-prll.patch b/dev-lang/maude/files/maude-3.1-prll.patch new file mode 100644 index 000000000000..22af2889913f --- /dev/null +++ b/dev-lang/maude/files/maude-3.1-prll.patch @@ -0,0 +1,22 @@ +--- a/src/Mixfix/Makefile.am ++++ b/src/Mixfix/Makefile.am +@@ -82,7 +82,7 @@ + EXTRA_libmixfix_a_SOURCES = \ + compiler.cc + +-BUILT_SOURCES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc ++BUILT_SOURCES = surface.cc lexer.cc tokenizer.cc + CLEANFILES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc + + surface.yy: \ +@@ -97,7 +97,9 @@ + $(srcdir)/bottom.yy \ + > surface.yy + +-surface.cc surface.h: surface.yy ++surface.h: surface.yy ++ ++surface.cc: surface.h + $(BISON) -dv surface.yy -o surface.c + mv surface.c surface.cc + |