id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 45928,cvc4 @1.4 Adding Java variant - updated Portfile,corwin.amber@…,macports-tickets@…,"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.",enhancement,closed,Normal,,ports,,fixed,haspatch,,cvc4