Opened 5 years ago

Closed 5 years ago

#45928 closed enhancement (fixed)

cvc4 @1.4 Adding Java variant - updated Portfile

Reported by: corwin.amber@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc:
Port: cvc4

Description

Since CVC4 offers a Java library, which is not build by default but requires ./configure --enable-language-bindings=java, I added a variant (+java) so the user can request the jarfile and JNI code to be built. This requires an installation of a JDK in /System/Library/Frameworks.

Attachments (2)

Portfile (3.1 KB) - added by corwin.amber@… 5 years ago.
Portfile with "variant java" block added.
Portfile.patch (731 bytes) - added by corwin.amber@… 5 years ago.
Portfile patch (diff -u)

Download all attachments as: .zip

Change History (6)

Changed 5 years ago by corwin.amber@…

Attachment: Portfile added

Portfile with "variant java" block added.

comment:1 Changed 5 years ago by ryandesign (Ryan Schmidt)

Please attach a unified diff of your changes, instead of a complete portfile.

Changed 5 years ago by corwin.amber@…

Attachment: Portfile.patch added

Portfile patch (diff -u)

comment:2 Changed 5 years ago by mf2k (Frank Schima)

Cc: mdeters@… removed
Keywords: haspatch added; java removed
Owner: changed from macports-tickets@… to mdeters@…
Version: 2.3.2

comment:3 Changed 5 years ago by mf2k (Frank Schima)

Owner: changed from mdeters@… to macports-tickets@…

This port no longer has a maintainer. See #46356.

comment:4 Changed 5 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed

r133579. Thanks!

Note: See TracTickets for help on using tickets.