Created attachment 197187 [details] maude-2.7.1.patch - updated to 2.7.1 - added CVC4 support option and enabled by default - removed old patches that don't apply anymore - unbroken on aarch64, sbrk is not used anymore - removed build date to make the build reproducible - I can become the maintainer :)
A commit references this bug: Author: lwhsu Date: Wed Dec 12 05:30:25 UTC 2018 New revision: 487278 URL: https://svnweb.freebsd.org/changeset/ports/487278 Log: - 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 <greg@unrelenting.technology> Changes: head/lang/maude/Makefile head/lang/maude/distinfo head/lang/maude/files/patch-Mixfix-lexerAux head/lang/maude/files/patch-src_Core_dagNodeSet.hh head/lang/maude/files/patch-src_Core_termSet.hh head/lang/maude/files/patch-src_Meta_metaMatch.cc head/lang/maude/files/patch-src_Mixfix_banner.cc head/lang/maude/files/patch-src_Mixfix_variableGenerator.cc head/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc head/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc head/lang/maude/files/patch-src__Mixfix__bottom.yy head/lang/maude/files/patch-src__Mixfix__commands.yy head/lang/maude/files/patch-src__Mixfix__interact.cc head/lang/maude/files/patch-src__Mixfix__modules.yy head/lang/maude/files/patch-src__Mixfix__token.cc head/lang/maude/files/patch-src__Mixfix__top.yy head/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh head/lang/maude/files/patch-src__ObjectSystem__objectMap.cc head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh head/lang/maude/files/patch-src__Utility__ropeStuff.hh head/lang/maude/pkg-plist
Assign to committer that resolved