Modified: trunk/dports/math/cvc4/Portfile (133578 => 133579)

--- trunk/dports/math/cvc4/Portfile	2015-03-05 20:35:59 UTC (rev 133578)
+++ trunk/dports/math/cvc4/Portfile	2015-03-05 21:03:52 UTC (rev 133579)
@@ -41,6 +41,12 @@
     configure.args-replace --with-build=production --with-build=debug
 }
 
+variant java description {Build Java language bindings} {
+    configure.args-append --enable-language-bindings=java \
+        JAVA_CPPFLAGS=-I/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers
+    depends_build-append port:swig-java port:swig-tcl
+}
+
 pre-configure {
     system "MACHINE_TYPE=`${worksrcpath}/config/config.guess | cut -f1 -d-` ANTLR_CONFIGURE_ARGS=--disable-abiflags ${worksrcpath}/contrib/get-antlr-3.4"
 }