diff options
| author | Greg Lewis <glewis@FreeBSD.org> | 2004-06-25 13:54:29 +0000 |
|---|---|---|
| committer | Greg Lewis <glewis@FreeBSD.org> | 2004-06-25 13:54:29 +0000 |
| commit | db2c514e2c1b4edf76803952066e594d973966fe (patch) | |
| tree | 46200590981cda63316b3af684b9495bbd5d60a2 /java/jmp | |
| parent | Upgrade to 2.7. (diff) | |
. Add an OPTION to compile with high optimisation.
PR: 66965
Submitted by: Ronald Klop <ronald@cs.vu.nl> (maintainer)
Notes
Notes:
svn path=/head/; revision=112243
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 4bb6875b79fe..27e7fe7baf37 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 |