#45928: cvc4 @1.4 Adding Java variant - updated Portfile ----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.2 Keywords: java | Port: cvc4 ----------------------------+-------------------------------- 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. -- Ticket URL: <https://trac.macports.org/ticket/45928> MacPorts <https://www.macports.org/> Ports system for OS X