[Bug 231443] lang/maude: update to 2.7.1, add CVC4 option

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=231443

--- Comment #1 from commit-hook at 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 at 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

-- 
You are receiving this mail because:
You are the assignee for the bug.