Bug 202136
| Summary: | [NEW PORT] math/z3 | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Gleb Popov <arrowd> | ||||
| Component: | Individual Port(s) | Assignee: | Mark Felder <feld> | ||||
| Status: | Closed FIXED | ||||||
| Severity: | Affects Only Me | CC: | feld | ||||
| Priority: | --- | ||||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
taking this... A commit references this bug: Author: feld Date: Tue Sep 22 15:43:20 UTC 2015 New revision: 397543 URL: https://svnweb.freebsd.org/changeset/ports/397543 Log: Z3 is a high-performance theorem prover developed at Microsoft Research. WWW: https://github.com/Z3Prover/z3 PR: 202136 Submitted by: 6yearold@gmail.com Changes: head/math/Makefile head/math/z3/ head/math/z3/Makefile head/math/z3/distinfo head/math/z3/files/ head/math/z3/files/patch-scripts_mk__util.py head/math/z3/pkg-descr head/math/z3/pkg-plist committed with minor changes I've also left the GMP plumbing in there while you work out the build issue |
Created attachment 159619 [details] Patch against /usr/ports Here is a port for Microsoft Z3 Solver. I had to disable GMP option because building z3 with GMP produces strange compilation errors.