diff options
| author | glewis <glewis@FreeBSD.org> | 2004-06-25 21:54:29 +0800 |
|---|---|---|
| committer | glewis <glewis@FreeBSD.org> | 2004-06-25 21:54:29 +0800 |
| commit | bc48d03ff718ad790eceed1333268214481cab96 (patch) | |
| tree | 8e56d1519c7882fff58d9ae0b28cd090ccf9351a /java | |
| parent | 6e907eb8c2dce50cd189e1a3992ca3ed7fc04bf8 (diff) | |
| download | freebsd-ports-gnome-bc48d03ff718ad790eceed1333268214481cab96.tar.gz freebsd-ports-gnome-bc48d03ff718ad790eceed1333268214481cab96.tar.zst freebsd-ports-gnome-bc48d03ff718ad790eceed1333268214481cab96.zip | |
. Add an OPTION to compile with high optimisation.
PR: 66965
Submitted by: Ronald Klop <ronald@cs.vu.nl> (maintainer)
Diffstat (limited to 'java')
| -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 |