Date: Wed, 12 Dec 2018 05:31:20 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 231443] lang/maude: update to 2.7.1, add CVC4 option Message-ID: <bug-231443-7788-NfAxtPNraU@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-231443-7788@https.bugs.freebsd.org/bugzilla/> References: <bug-231443-7788@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D231443 --- Comment #1 from commit-hook@freebsd.org --- 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 =20 head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext= .hh head/lang/maude/files/patch-src__Utility__ropeStuff.hh head/lang/maude/pkg-plist --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-231443-7788-NfAxtPNraU>