Bug 229585

Summary: math/cvc4: switch to GMP by default to unbreak aarch64 and enable parallel mode
Product: Ports & Packages Reporter: Val Packett <val>
Component: Individual Port(s)Assignee: Steve Wills <swills>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: ---    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
cvc4gmp.patch none

Description Val Packett 2018-07-07 17:53:51 UTC 
Created attachment 194933 [details]
cvc4gmp.patch

Tested works on RPi3 :)
Comment 1 commit-hook freebsd_committer freebsd_triage 2018-07-08 15:29:46 UTC 
A commit references this bug:

Author: swills
Date: Sun Jul  8 15:29:19 UTC 2018
New revision: 474182
URL: https://svnweb.freebsd.org/changeset/ports/474182

Log:
  math/cvc4: switch to GMP by default

  This unbreaks aarch64 and enables parallel mode

  PR:		229585
  Submitted by:	Greg V <greg@unrelenting.technology> (maintainer)

Changes:
  head/math/cvc4/Makefile
Comment 2 Steve Wills freebsd_committer freebsd_triage 2018-07-08 15:37:45 UTC 
Committed, thanks!