Changeset 133579


Ignore:
Timestamp:
Mar 5, 2015, 9:03:52 PM (5 years ago)
Author:
mf2k@…
Message:

cvc4: Add java variant. (#45928)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/cvc4/Portfile

    r133572 r133579  
    4242}
    4343
     44variant java description {Build Java language bindings} {
     45    configure.args-append --enable-language-bindings=java \
     46        JAVA_CPPFLAGS=-I/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers
     47    depends_build-append port:swig-java port:swig-tcl
     48}
     49
    4450pre-configure {
    4551    system "MACHINE_TYPE=`${worksrcpath}/config/config.guess | cut -f1 -d-` ANTLR_CONFIGURE_ARGS=--disable-abiflags ${worksrcpath}/contrib/get-antlr-3.4"
Note: See TracChangeset for help on using the changeset viewer.