Page MenuHomeFreeBSD
Differential D13542

math/z3: Fix python bindings
ClosedPublic
Actions

Authored by arrowd on Dec 19 2017, 8:56 AM.
Tags
None
Referenced Files
F139452094: D13542.id36964.diff
Fri, Dec 12, 6:21 AM
F139439996: D13542.id36960.diff
Fri, Dec 12, 2:56 AM
F139439766: D13542.id36964.diff
Fri, Dec 12, 2:52 AM
F139439760: D13542.id36758.diff
Fri, Dec 12, 2:51 AM
Unknown Object (File)
Fri, Nov 28, 2:04 PM
Unknown Object (File)
Wed, Nov 19, 10:38 AM
Unknown Object (File)
Tue, Nov 18, 11:13 PM
Unknown Object (File)
Mon, Nov 17, 9:25 PM
View All Files
Subscribers
mat
Contributor Reviewers (ports)

Details

Reviewers
None
Group Reviewers
Contributor Reviewers (ports)
Commits
rP457155: math/z3: Add missing dependency on devel/py-setuptools
Summary

As reported by Conrad Meyer in https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=224438 importing z3 module now fails due to missing setuptools package. Add RUN_DEPENDS on it.

Test Plan

Running import z3 in python interpreter shell now works.

Diff Detail

Repository
rP FreeBSD ports repository
Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 13660
Build 13880: arc lint + arc unit

Event Timeline

arrowd created this revision.Dec 19 2017, 8:56 AM
Herald added subscribers: Contributor Reviewers (ports), mat. · View Herald TranscriptDec 19 2017, 8:56 AM
Harbormaster completed remote builds in B13660: Diff 36758.Dec 19 2017, 8:56 AM
arrowd added a reviewer: Contributor Reviewers (ports).Dec 24 2017, 7:56 AM
mat added inline comments.Dec 24 2017, 8:22 AM
math/z3/Makefile
33

Why +=?

arrowd updated this revision to Diff 36960.Dec 24 2017, 8:51 AM
arrowd marked an inline comment as done.

Fix typo.

Harbormaster completed remote builds in B13766: Diff 36960.Dec 24 2017, 8:52 AM
arrowd added inline comments.Dec 24 2017, 8:52 AM
math/z3/Makefile
33

Typo. Fixed now.

This revision was not accepted when it landed; it landed in state Needs Review.Dec 24 2017, 1:01 PM
Closed by commit rP457155: math/z3: Add missing dependency on devel/py-setuptools (authored by jrm). · Explain Why
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
math/
z3/
3 lines

Diff 36758

View Options

math/z3/Makefile

Loading...