From c07192f844e09d8cec10ab5cfe34f515661d939c Mon Sep 17 00:00:00 2001 From: Li-Wen Hsu Date: Wed, 12 Dec 2018 05:30:24 +0000 Subject: - Update to 2.7.1 - Add CVC4 support option and enabled by default - Unbreak on aarch64, sbrk is not used anymore - Remove build date to make the build reproducible - Pass maintainership to submitter - Pet `portlint -abct` PR: 231443 Submitted by: Greg V --- lang/maude/files/patch-src__Mixfix__modules.yy | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 lang/maude/files/patch-src__Mixfix__modules.yy (limited to 'lang/maude/files/patch-src__Mixfix__modules.yy') diff --git a/lang/maude/files/patch-src__Mixfix__modules.yy b/lang/maude/files/patch-src__Mixfix__modules.yy deleted file mode 100644 index 370f3194d30a..000000000000 --- a/lang/maude/files/patch-src__Mixfix__modules.yy +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/Mixfix/modules.yy.orig 2014-09-03 02:57:44.000000000 +0200 -+++ ./src/Mixfix/modules.yy 2014-09-03 02:58:03.000000000 +0200 -@@ -247,7 +247,7 @@ - // press on. - // - opDescription = lexerBubble; -- lexBubble(END_STATEMENT, 1) -+ lexBubble(END_STATEMENT, 1); - } - endBubble - { -- cgit v1.2.3