[133579] trunk/dports/math/cvc4/Portfile
mf2k at macports.org
mf2k at macports.org
Thu Mar 5 13:03:52 PST 2015
Revision: 133579
https://trac.macports.org/changeset/133579
Author: mf2k at 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"
}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150305/2992c4b3/attachment.html>
More information about the macports-changes
mailing list