Bug 229585 - math/cvc4: switch to GMP by default to unbreak aarch64 and enable parallel mode
Summary: math/cvc4: switch to GMP by default to unbreak aarch64 and enable parallel mode
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: Steve Wills
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-07-07 17:53 UTC by Val Packett
Modified: 2018-07-08 15:37 UTC (History)
0 users

See Also:

Attachments
cvc4gmp.patch (454 bytes, patch)
2018-07-07 17:53 UTC, Val Packett 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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!