diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2004-05-04 20:18:56 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2004-05-04 20:18:56 +0000 |
| commit | deca6eaada179f89cc797c2d92214b7073604d30 (patch) | |
| tree | 98e20aae1a7203b59fbf54194094a8e50905b4ed /games | |
| parent | 183ab1ee113941574a7d018595a9804a51fc3349 (diff) | |
| download | ports-deca6eaada179f89cc797c2d92214b7073604d30.tar.gz ports-deca6eaada179f89cc797c2d92214b7073604d30.zip | |
Notes
Diffstat (limited to 'games')
| -rw-r--r-- | games/grhino/Makefile | 2 | ||||
| -rw-r--r-- | games/grhino/distinfo | 4 | ||||
| -rw-r--r-- | games/grhino/files/patch-alphabeta.cc | 11 | ||||
| -rw-r--r-- | games/grhino/pkg-plist | 12 |
4 files changed, 22 insertions, 7 deletions
diff --git a/games/grhino/Makefile b/games/grhino/Makefile index a3ff15c34635..3c794d24201d 100644 --- a/games/grhino/Makefile +++ b/games/grhino/Makefile @@ -6,7 +6,7 @@ # PORTNAME= grhino -PORTVERSION= 0.11.0 +PORTVERSION= 0.12.0 CATEGORIES= games gnome MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= rhino diff --git a/games/grhino/distinfo b/games/grhino/distinfo index cae1971c3bd5..452e472a3932 100644 --- a/games/grhino/distinfo +++ b/games/grhino/distinfo @@ -1,2 +1,2 @@ -MD5 (grhino-0.11.0.tar.gz) = c4d5aa20f13e344d0320a002f3dffdec -SIZE (grhino-0.11.0.tar.gz) = 904794 +MD5 (grhino-0.12.0.tar.gz) = 1dda78d51a02d9cdefc9765f03c93242 +SIZE (grhino-0.12.0.tar.gz) = 890606 diff --git a/games/grhino/files/patch-alphabeta.cc b/games/grhino/files/patch-alphabeta.cc new file mode 100644 index 000000000000..de991ed45c78 --- /dev/null +++ b/games/grhino/files/patch-alphabeta.cc @@ -0,0 +1,11 @@ +--- alphabeta.cc.orig Mon May 3 15:05:35 2004 ++++ alphabeta.cc Wed May 5 04:07:31 2004 +@@ -18,6 +18,8 @@ + Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + */ + ++#include <string> ++#include <iostream> + #include "boardio.h" + #include "hash.h" + #include "alphabeta.h" diff --git a/games/grhino/pkg-plist b/games/grhino/pkg-plist index 107c7586a675..ff8e6e32c914 100644 --- a/games/grhino/pkg-plist +++ b/games/grhino/pkg-plist @@ -19,14 +19,18 @@ share/gnome/grhino-%%VERSION%%/theme/small/left.xpm share/gnome/grhino-%%VERSION%%/theme/small/right.xpm share/gnome/grhino-%%VERSION%%/theme/small/top.xpm share/gnome/grhino-%%VERSION%%/theme/small/white.xpm -share/gnome/help/grhino/C/topic.dat -share/gnome/help/grhino/C/preferences-0.html -share/gnome/help/grhino/C/preferences-1.html -share/gnome/help/grhino/C/preferences-2.html share/gnome/help/grhino/C/grhino-C.omf +share/gnome/help/grhino/C/legal.xml +share/gnome/help/grhino/C/figures/history.png +share/gnome/help/grhino/C/figures/mainwindow.png +share/gnome/help/grhino/C/figures/pattern.png +share/gnome/help/grhino/C/figures/prefs-ai.png +share/gnome/help/grhino/C/figures/prefs-board.png +share/gnome/help/grhino/C/figures/prefs-theme.png @exec scrollkeeper-install -q %D/share/gnome/help/grhino/C/grhino-C.omf 2>/dev/null || /usr/bin/true @unexec scrollkeeper-uninstall -q %D/share/gnome/help/grhino/C/grhino-C.omf 2>/dev/null || /usr/bin/true share/gnome/help/grhino/C/grhino.xml +@dirrm share/gnome/help/grhino/C/figures @dirrm share/gnome/help/grhino/C @dirrm share/gnome/help/grhino @dirrm share/gnome/grhino-%%VERSION%%/theme/small |