diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2008-04-19 17:56:05 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2008-04-19 17:56:05 +0000 |
| commit | 3e4ed01146cfe2bdca465bd0e4d199341f62a0b6 (patch) | |
| tree | d573ea09b2bf6be67cb497df199932da9e2707c4 /games/gturing | |
| parent | 40049f4af2200d0dcf33596508688623fc75f764 (diff) | |
Notes
Diffstat (limited to 'games/gturing')
| -rw-r--r-- | games/gturing/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/games/gturing/Makefile b/games/gturing/Makefile index ed65b75fd5e6..3ec905972543 100644 --- a/games/gturing/Makefile +++ b/games/gturing/Makefile @@ -7,14 +7,13 @@ PORTNAME= gturing PORTVERSION= 0.1.1 -PORTREVISION= 11 +PORTREVISION= 12 CATEGORIES= games gnome MASTER_SITES= ftp://ftp.gnome.org/pub/gnome/sources/gturing/0.1/ MAINTAINER= ports@FreeBSD.org COMMENT= A simple turing machine simulator for GNOME 2 -USE_X_PREFIX= yes USE_GNOME= gnomeprefix gnomehack libgnomeui USE_GMAKE= yes USE_AUTOTOOLS= libtool:15 |