[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