Bug 202136 - [NEW PORT] math/z3
Summary: [NEW PORT] math/z3
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: Mark Felder
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-08-06 16:28 UTC by Gleb Popov
Modified: 2015-09-22 15:44 UTC (History)
1 user (show)

See Also:

Attachments
Patch against /usr/ports (7.01 KB, patch)
2015-08-06 16:28 UTC, Gleb Popov 		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 Gleb Popov freebsd_committer freebsd_triage 2015-08-06 16:28:48 UTC 
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.
Comment 1 Mark Felder freebsd_committer freebsd_triage 2015-09-22 14:56:09 UTC 
taking this...
Comment 2 commit-hook freebsd_committer freebsd_triage 2015-09-22 15:43:54 UTC 
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
Comment 3 Mark Felder freebsd_committer freebsd_triage 2015-09-22 15:44:04 UTC 
committed with minor changes

I've also left the GMP plumbing in there while you work out the build issue