Page MenuHomeFreeBSD
Differential D18305

math/z3: Update to 4.8.3.
ClosedPublic
Actions

Authored by arrowd on Nov 23 2018, 11:07 AM.
Tags
None
Referenced Files
F132475932: D18305.id51039.diff
Fri, Oct 17, 6:03 AM
Unknown Object (File)
Fri, Oct 10, 2:47 AM
Unknown Object (File)
Tue, Sep 30, 8:09 AM
Unknown Object (File)
Mon, Sep 29, 4:56 PM
Unknown Object (File)
Mon, Sep 29, 1:52 AM
Unknown Object (File)
Sun, Sep 28, 4:17 AM
Unknown Object (File)
Thu, Sep 25, 2:24 AM
Unknown Object (File)
Sep 12 2025, 9:58 PM
View All 97 Files
Subscribers
None

Details

Reviewers
tcberner
Commits
rP485759: math/z3: Update to 4.8.3

Diff Detail

Repository
rP FreeBSD ports repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

arrowd created this revision.Nov 23 2018, 11:07 AM
Harbormaster completed remote builds in B21170: Diff 50978.Nov 23 2018, 11:07 AM
tcberner added inline comments.Nov 23 2018, 10:01 PM
math/z3/Makefile
30 ↗(On Diff #50978)

^this could be GMP_USES=localbase

arrowd updated this revision to Diff 51038.Nov 24 2018, 8:25 AM
  • Use localbase.
Harbormaster completed remote builds in B21188: Diff 51038.Nov 24 2018, 8:26 AM
arrowd marked an inline comment as done.Nov 24 2018, 8:27 AM
tcberner added inline comments.Nov 24 2018, 8:37 AM
math/z3/Makefile
35 ↗(On Diff #50978)

^these three should appear earlier, before the options.

https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/porting-order-variables.html

arrowd updated this revision to Diff 51039.Nov 24 2018, 9:28 AM
arrowd marked an inline comment as done.
  • Address comments.
Harbormaster completed remote builds in B21189: Diff 51039.Nov 24 2018, 9:28 AM
tcberner accepted this revision.Nov 24 2018, 11:32 AM

Looks good to me.

This revision is now accepted and ready to land.Nov 24 2018, 11:32 AM
Closed by commit rP485759: math/z3: Update to 4.8.3 (authored by arrowd). · Explain WhyNov 24 2018, 11:44 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
head/
math/
z3/
13 lines
6 lines
2 lines

Diff 51042

View Options

head/math/z3/Makefile

Loading...
View Options

head/math/z3/distinfo

Loading...
View Options

head/math/z3/pkg-plist

Loading...