FS#76813 - [z3] Add Java bindings as split package
Attached to Project:
Community Packages
Opened by David Ryskalczyk (david_rysk) - Tuesday, 13 December 2022, 06:58 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:09 GMT
Opened by David Ryskalczyk (david_rysk) - Tuesday, 13 December 2022, 06:58 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:09 GMT
|
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. |
This task depends upon
Closed by Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:09 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/z3/issues/1
Saturday, 25 November 2023, 20:09 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/z3/issues/1