Bug 231443 - lang/maude: update to 2.7.1, add CVC4 option
Summary: lang/maude: update to 2.7.1, add CVC4 option
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Li-Wen Hsu
URL:
Keywords:
Depends on:
Blocks: 201763
  Show dependency treegraph
 
Reported: 2018-09-18 10:30 UTC by Greg V
Modified: 2018-12-12 08:37 UTC (History)
2 users (show)

See Also:


Attachments
maude-2.7.1.patch (16.54 KB, patch)
2018-09-18 10:30 UTC, Greg V
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Greg V 2018-09-18 10:30:12 UTC
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 :)
Comment 1 commit-hook freebsd_committer 2018-12-12 05:31:20 UTC
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
Comment 2 Kubilay Kocak freebsd_committer freebsd_triage 2018-12-12 08:37:48 UTC
Assign to committer that resolved