diff options
Diffstat (limited to 'java/jmp')
| -rw-r--r-- | java/jmp/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/java/jmp/Makefile b/java/jmp/Makefile index 4bb6875..27e7fe7 100644 --- a/java/jmp/Makefile +++ b/java/jmp/Makefile @@ -17,6 +17,7 @@ BUILD_DEPENDS= ${LOCALBASE}/bin/bison:${PORTSDIR}/devel/bison OPTIONS= X11 "Enable X11 support" on OPTIONS+= DEBUG "Enable extra debug output" off +OPTIONS+= OPTIMIZED_CFLAGS "Compile with -O3" off CONFIGURE_ARGS= --with-includes="${JAVA_HOME}/include ${LOCALBASE}/include" @@ -32,6 +33,10 @@ LIB_DEPENDS+= gtk-x11-2.0:${PORTSDIR}/x11-toolkits/gtk20 CFLAGS+= -DJMPDEBUG -g .endif +.if defined(WITH_OPTIMIZED_CFLAGS) +CFLAGS+= -O3 +.endif + USE_LIBTOOL_VER=15 USE_GMAKE= yes USE_JAVA= yes |
