Page MenuHomeFreeBSD
Differential D13637

math/z3: Update to 4.6.0
ClosedPublic
Actions

Authored by arrowd on Dec 26 2017, 1:34 PM.
Tags
None
Referenced Files
F87536477: D13637.id37047.diff
Thu, Jul 4, 4:06 PM
Unknown Object (File)
Sun, Jun 30, 5:47 AM
Unknown Object (File)
Wed, Jun 26, 9:10 AM
Unknown Object (File)
Wed, Jun 26, 8:31 AM
Unknown Object (File)
Tue, Jun 25, 9:06 PM
Unknown Object (File)
Thu, Jun 6, 2:23 AM
Unknown Object (File)
May 10 2024, 6:16 AM
Unknown Object (File)
May 10 2024, 1:06 AM
View All 50 Files
Subscribers
mat

Details

Reviewers
None
Group Reviewers
Contributor Reviewers (ports)
Commits
rP459750: Update to 4.6.0 release and create shared lib symlink.
Summary

Update z3 to the latest release and install a symlink for SONAME to work.

Test Plan

poudriere testport on 11.1-RELEASE

Diff Detail

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

Event Timeline

arrowd created this revision.Dec 26 2017, 1:34 PM
Herald added a subscriber: mat. · View Herald TranscriptDec 26 2017, 1:34 PM
Harbormaster completed remote builds in B13834: Diff 37047.Dec 26 2017, 1:34 PM
arrowd updated this revision to Diff 38274.Jan 21 2018, 1:41 PM

Add patch to fix build on FreeBSD 10.

This revision was not accepted when it landed; it landed in state Needs Review.Jan 23 2018, 1:55 PM
Closed by commit rP459750: Update to 4.6.0 release and create shared lib symlink. (authored by ale). · Explain Why
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
head/
math/
z3/
4 lines
6 lines
files/
8 lines
11 lines
2 lines

Diff 38350

View Options

head/math/z3/Makefile

Loading...
View Options

head/math/z3/distinfo

Loading...
View Options

head/math/z3/files/patch-scripts_mk__util.py

Loading...
View Options

head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp

Loading...
View Options

head/math/z3/pkg-plist

Loading...