Opened 10 years ago

Closed 10 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@… 10 years ago.
Portfile with "variant java" block added.
Portfile.patch​ (731 bytes) - added by corwin.amber@… 10 years ago.
Portfile patch (diff -u)

Download all attachments as: .zip

Change History (6)

Changed 10 years ago by corwin.amber@…

Attachment: Portfile​ added

Portfile with "variant java" block added.

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

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

Changed 10 years ago by corwin.amber@…

Attachment: Portfile.patch​ added

Portfile patch (diff -u)

comment:2 Changed 10 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 10 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 10 years ago by mf2k (Frank Schima)

Resolution: → fixed
Status: new → closed

r133579. Thanks!

Note: See TracTickets for help on using tickets.