diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2004-06-03 03:51:06 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2004-06-03 03:51:06 +0000 |
| commit | 7015a898740320d6543d6bf525c05f49e748f362 (patch) | |
| tree | c69785b129d1f58eacf9da9dfe275487c94a98b9 /games/gretools | |
| parent | 11193cb53235db2dfe6754f3b1919ba809274c47 (diff) | |
| download | ports-7015a898740320d6543d6bf525c05f49e748f362.tar.gz ports-7015a898740320d6543d6bf525c05f49e748f362.zip | |
Notes
Diffstat (limited to 'games/gretools')
| -rw-r--r-- | games/gretools/Makefile | 4 | ||||
| -rw-r--r-- | games/gretools/distinfo | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/games/gretools/Makefile b/games/gretools/Makefile index 21dc520bb48b..4c3af01871fd 100644 --- a/games/gretools/Makefile +++ b/games/gretools/Makefile @@ -6,8 +6,7 @@ # PORTNAME= gretools -PORTVERSION= 1.2.1 -PORTREVISION= 2 +PORTVERSION= 1.2.2 CATEGORIES= games MASTER_SITES= http://theory.cs.iitm.ernet.in/~arvindn/gretools/${PORTVERSION:R}/ @@ -19,6 +18,7 @@ USE_PYTHON= yes USE_GNOME= gnomehack gnometarget gnomeprefix pygnome2 GNU_CONFIGURE= yes USE_REINPLACE= yes +USE_GMAKE= yes post-patch: @${REINPLACE_CMD} -e "s|/usr/bin/python|${PYTHON_CMD}|" \ diff --git a/games/gretools/distinfo b/games/gretools/distinfo index 2266a9979457..c484f7b7e5f7 100644 --- a/games/gretools/distinfo +++ b/games/gretools/distinfo @@ -1,2 +1,2 @@ -MD5 (gretools-1.2.1.tar.gz) = 1008ff59e910b1b50778a136fb9d0a6a -SIZE (gretools-1.2.1.tar.gz) = 241973 +MD5 (gretools-1.2.2.tar.gz) = 04920070cdabbab895f87d4a2ec938d0 +SIZE (gretools-1.2.2.tar.gz) = 282474 |