Revision: 133579 https://trac.macports.org/changeset/133579 Author: mf2k@macports.org Date: 2015-03-05 13:03:52 -0800 (Thu, 05 Mar 2015) Log Message: ----------- cvc4: Add java variant. (#45928) Modified Paths: -------------- trunk/dports/math/cvc4/Portfile Modified: trunk/dports/math/cvc4/Portfile =================================================================== --- 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" }