Add Java bindings as split package
Task Info (Flyspray) | |
---|---|
Opened By | David Ryskalczyk (david_rysk) |
Task ID | 76813 |
Type | Feature Request |
Project | Community Packages |
Category | Packages |
Version | None |
OS | All |
Opened | 2022-12-13 06:58:21 UTC |
Status | Assigned |
Assignee | Felix Yan (felixonmars) |
Assignee | Levente Polyak (anthraxx) |
Details
Description:
The attached patch adds the Java bindings to the build, producing a separate z3-java package. This obsoletes the unmaintained z3-java AUR package, which no longer properly builds z3.