diff options
Diffstat (limited to 'games/gnocatan/Makefile')
| -rw-r--r-- | games/gnocatan/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/games/gnocatan/Makefile b/games/gnocatan/Makefile index 9f2dbf5..9a4de50 100644 --- a/games/gnocatan/Makefile +++ b/games/gnocatan/Makefile @@ -6,8 +6,7 @@ # PORTNAME= gnocatan -PORTVERSION= 0.8.1.30 -PORTREVISION= 1 +PORTVERSION= 0.8.1.45 CATEGORIES= games gnome MASTER_SITES= ${MASTER_SITE_SOURCEFORGE_EXTENDED} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -19,6 +18,7 @@ USE_X_PREFIX= yes USE_GMAKE= yes USE_GNOME= gnomehack gnomeprefix gtk20 libgnomeui USE_LIBTOOL_VER=13 +INSTALLS_OMF= yes CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include" \ LIBS="-L${LOCALBASE}/lib" |
