diff options
Diffstat (limited to '')
| -rw-r--r-- | games/gturing/Makefile | 4 | ||||
| -rw-r--r-- | games/gturing/pkg-comment | 1 |
2 files changed, 2 insertions, 3 deletions
diff --git a/games/gturing/Makefile b/games/gturing/Makefile index 5437ea61074d..001daca68ed8 100644 --- a/games/gturing/Makefile +++ b/games/gturing/Makefile @@ -12,11 +12,11 @@ CATEGORIES= games gnome MASTER_SITES= ftp://ftp.gnome.org/pub/gnome/sources/gturing/0.1/ MAINTAINER= rael@vectorstar.net +COMMENT= A simple turing machine simulator for gnome 2 LIB_DEPENDS= gnomeui-2.200:${PORTSDIR}/x11-toolkits/libgnomeui \ - gnomeprintui-2-2.0:${PORTSDIR}/x11-toolkits/libgnomeprintui + gnomeprintui-2.0:${PORTSDIR}/x11-toolkits/libgnomeprintui -BROKEN= "Requires update to work with libgnomeprint-2-2" USE_X_PREFIX= yes USE_REINPLACE= yes USE_GMAKE= yes diff --git a/games/gturing/pkg-comment b/games/gturing/pkg-comment deleted file mode 100644 index 90aab86312bd..000000000000 --- a/games/gturing/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -A simple turing machine simulator for gnome 2 |