Page MenuHomeFreeBSD

math/z3: Fix python bindings
ClosedPublic

Authored by arrowd on Dec 19 2017, 8:56 AM.
Tags
None
Referenced Files
F118707514: D13542.id36964.diff
Sun, Jun 1, 1:21 AM
Unknown Object (File)
Tue, May 27, 5:53 PM
Unknown Object (File)
Mon, May 26, 6:02 AM
Unknown Object (File)
Sun, May 25, 9:16 AM
Unknown Object (File)
Fri, May 16, 8:33 PM
Unknown Object (File)
Apr 30 2025, 8:05 PM
Unknown Object (File)
Apr 3 2025, 3:21 PM
Unknown Object (File)
Apr 1 2025, 7:15 PM

Details

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
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

math/z3/Makefile
33 ↗(On Diff #36758)

Why +=?

arrowd marked an inline comment as done.

Fix typo.

math/z3/Makefile
33 ↗(On Diff #36758)

Typo. Fixed now.

This revision was not accepted when it landed; it landed in state Needs Review.Dec 24 2017, 1:01 PM
This revision was automatically updated to reflect the committed changes.