diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2003-09-28 13:12:08 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2003-09-28 13:12:08 +0000 |
commit | e384ea5c38c95c05118cf61f1b792910a8525a69 (patch) | |
tree | 50ece00359f815f34357517eb5874c55a6c4d078 /games/gnmm | |
parent | Reset maintainer already: (diff) |
New port: games/gnmm (GNOME Nine mens' morris)
This is a port for a "nine men's morris" implementation for
the GNOME Desktop. It is supposed to be GNOMENG conform.
PR: ports/47220
Submitted by: Simon Barner <barner@in.tum.de>
Notes
Notes:
svn path=/head/; revision=89672
Diffstat (limited to 'games/gnmm')
-rw-r--r-- | games/gnmm/Makefile | 27 | ||||
-rw-r--r-- | games/gnmm/distinfo | 1 | ||||
-rw-r--r-- | games/gnmm/files/patch-Makefile.in | 11 | ||||
-rw-r--r-- | games/gnmm/pkg-descr | 8 | ||||
-rw-r--r-- | games/gnmm/pkg-plist | 9 |
5 files changed, 56 insertions, 0 deletions
diff --git a/games/gnmm/Makefile b/games/gnmm/Makefile new file mode 100644 index 000000000000..561d3c2c5631 --- /dev/null +++ b/games/gnmm/Makefile @@ -0,0 +1,27 @@ +# New ports collection makefile for: gnmm +# Date created: 19 January 2003 +# Whom: Simon Barner <barner@gmx.de> +# +# $FreeBSD$ +# + +PORTNAME= gnmm +PORTVERSION= 0.1.2 +CATEGORIES= games gnome +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= ${PORTNAME} +DISTNAME= ${PORTNAME}-${PORTVERSION} +DIST_SUBDIR= gnome + +MAINTAINER= barner@gmx.de +COMMENT= A "nine mens' morris" implementation for the GNOME Desktop Environment + +USE_X_PREFIX= yes +USE_GMAKE= yes +USE_GNOMENG= yes +USE_GNOME= gnomeprefix gnomehack gnomelibs gdkpixbuf + +GNU_CONFIGURE= yes +CONFIGURE_ARGS= --with-included-gettext + +.include <bsd.port.mk> diff --git a/games/gnmm/distinfo b/games/gnmm/distinfo new file mode 100644 index 000000000000..c6de9b6e14b2 --- /dev/null +++ b/games/gnmm/distinfo @@ -0,0 +1 @@ +MD5 (gnome/gnmm-0.1.2.tar.gz) = 59a9a9cb63ad49905c9ba8d1db4652b8 diff --git a/games/gnmm/files/patch-Makefile.in b/games/gnmm/files/patch-Makefile.in new file mode 100644 index 000000000000..c9e71c9bde47 --- /dev/null +++ b/games/gnmm/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig Sun Jan 19 17:53:32 2003 ++++ Makefile.in Sun Jan 19 17:53:40 2003 +@@ -119,7 +119,7 @@ + cflags_set = @cflags_set@ + cxxflags_set = @cxxflags_set@ + +-SUBDIRS = src intl po macros pixmaps ++SUBDIRS = intl src po macros pixmaps + + EXTRA_DIST = \ + gnmm.desktop diff --git a/games/gnmm/pkg-descr b/games/gnmm/pkg-descr new file mode 100644 index 000000000000..2ec88a61de5e --- /dev/null +++ b/games/gnmm/pkg-descr @@ -0,0 +1,8 @@ +A "nine mens' morris" implementation for the GNOME Desktop Environment + +Features: + * a strong computer player, + * move takeback, + * localization. + +WWW: http://gnmm.sourceforge.net/ diff --git a/games/gnmm/pkg-plist b/games/gnmm/pkg-plist new file mode 100644 index 000000000000..5c4c7d0e298b --- /dev/null +++ b/games/gnmm/pkg-plist @@ -0,0 +1,9 @@ +bin/gnmm +share/locale/de/LC_MESSAGES/gnmm.mo +share/locale/locale.alias +share/gnome/pixmaps/gnmm-logo.png +share/gnome/pixmaps/gnmm/board.png +share/gnome/pixmaps/gnmm/pieces.png +share/gnome/apps/Games/gnmm.desktop +lib/charset.alias +@dirrm share/gnome/pixmaps/gnmm |