diff options
author | rh <rh@pkgsrc.org> | 2002-11-04 07:40:37 +0000 |
---|---|---|
committer | rh <rh@pkgsrc.org> | 2002-11-04 07:40:37 +0000 |
commit | a4eb6807580ab3cdadbb326d24a7585f2a3c0a79 (patch) | |
tree | eaac387fffc27e594aaedca073f90355249f85ca /games/gturing | |
parent | d54f4985a862bd72a53aa2359a9e4f0630dfb4c5 (diff) | |
download | pkgsrc-a4eb6807580ab3cdadbb326d24a7585f2a3c0a79.tar.gz |
Initial import of gturing-0.1.1, a GNOME2 turing machine emulator.
Diffstat (limited to 'games/gturing')
-rw-r--r-- | games/gturing/DESCR | 15 | ||||
-rw-r--r-- | games/gturing/Makefile | 26 | ||||
-rw-r--r-- | games/gturing/PLIST | 50 | ||||
-rw-r--r-- | games/gturing/distinfo | 5 | ||||
-rw-r--r-- | games/gturing/patches/patch-aa | 12 |
5 files changed, 108 insertions, 0 deletions
diff --git a/games/gturing/DESCR b/games/gturing/DESCR new file mode 100644 index 00000000000..90ab1e60e81 --- /dev/null +++ b/games/gturing/DESCR @@ -0,0 +1,15 @@ + Gturing is a very simple turing machine simulator that takes a simple +ASCII file as its input: + + Any empty line or any line beginning with a hash (#) is ignored. In other +case, five tokens, each separated by a space, are expected. These are the +state number, the expected symbol, the symbol to write, the direction to +move, and the new state. Anything following these tokens is ignored. + + Expected symbols and symbols to write can be any printable character. +The blank character is represented by the underscore (_). States are +integer numbers, starting from 0. The possible directions to move are +left and right, represented by 'l' and 'r', respectively. + + The machine starts at state 0 and stops when it cannot find the new +state or the new state doesn't expect the read symbol. diff --git a/games/gturing/Makefile b/games/gturing/Makefile new file mode 100644 index 00000000000..75b8a9d5871 --- /dev/null +++ b/games/gturing/Makefile @@ -0,0 +1,26 @@ +# $NetBSD: Makefile,v 1.1.1.1 2002/11/04 07:40:37 rh Exp $ +# + +DISTNAME= gturing-0.1.1 +CATEGORIES= games gnome +MASTER_SITES= ${MASTER_SITE_GNOME:=sources/gturing/0.1/} +EXTRACT_SUFX= .tar.bz2 + +MAINTAINER= packages@netbsd.org +HOMEPAGE= http://www.gnome.org/ +COMMENT= GNOME2 turing machine emulator + +BUILD_USES_MSGFMT= YES + +GNU_CONFIGURE= YES +USE_BUILDLINK2= YES +USE_X11= YES +USE_GMAKE= YES +USE_LIBTOOL= YES +LIBTOOL_OVERRIDE= ${WRKSRC}/libtool +CONFIGURE_ARGS+= --localstatedir=${SCROLLKEEPER_DATADIR} + +.include "../../textproc/scrollkeeper/buildlink2.mk" +.include "../../devel/gettext-lib/buildlink2.mk" +.include "../../devel/libgnomeui/buildlink2.mk" +.include "../../mk/bsd.pkg.mk" diff --git a/games/gturing/PLIST b/games/gturing/PLIST new file mode 100644 index 00000000000..36b0b7f30a2 --- /dev/null +++ b/games/gturing/PLIST @@ -0,0 +1,50 @@ +@comment $NetBSD: PLIST,v 1.1.1.1 2002/11/04 07:40:37 rh Exp $ +bin/gturing +share/gnome/apps/Applications/gturing.desktop +share/gnome/help/gturing/C/figures/mainwin.png +share/gnome/help/gturing/C/gturing.xml +share/gnome/help/gturing/C/legal.xml +share/gturing/pixmaps/gnome-gturing.png +share/gturing/pixmaps/play.xpm +share/gturing/pixmaps/power.xpm +share/gturing/pixmaps/step.xpm +share/gturing/pixmaps/stop.xpm +${PKGLOCALEDIR}/locale/az/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/cs/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/da/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/de/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/el/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/es/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/et/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/fi/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/fr/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/ga/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/gl/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/hu/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/it/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/ja/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/ko/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/lt/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/nl/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/no/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/pl/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/pt/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/pt_BR/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/ro/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/ru/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/sk/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/sl/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/sv/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/tr/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/uk/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/vi/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/wa/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/zh_CN/LC_MESSAGES/gturing-2.0.mo +${PKGLOCALEDIR}/locale/zh_TW/LC_MESSAGES/gturing-2.0.mo +share/omf/gturing/gturing-C.omf +@dirrm share/omf/gturing +@dirrm share/gturing/pixmaps +@dirrm share/gturing +@dirrm share/gnome/help/gturing/C/figures +@dirrm share/gnome/help/gturing/C +@dirrm share/gnome/help/gturing diff --git a/games/gturing/distinfo b/games/gturing/distinfo new file mode 100644 index 00000000000..f4df702bcde --- /dev/null +++ b/games/gturing/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1.1.1 2002/11/04 07:40:37 rh Exp $ + +SHA1 (gturing-0.1.1.tar.bz2) = a9c25a69f6d6bf2de4c8ac329d3f9d97f55649a0 +Size (gturing-0.1.1.tar.bz2) = 376032 bytes +SHA1 (patch-aa) = 07d404417d8fa4f8bf89212696f60e8ad28d43d4 diff --git a/games/gturing/patches/patch-aa b/games/gturing/patches/patch-aa new file mode 100644 index 00000000000..e7a7e877b80 --- /dev/null +++ b/games/gturing/patches/patch-aa @@ -0,0 +1,12 @@ +$NetBSD: patch-aa,v 1.1.1.1 2002/11/04 07:40:37 rh Exp $ + +--- src/gturing.c.orig Thu Jun 20 01:34:55 2002 ++++ src/gturing.c +@@ -26,6 +26,7 @@ + #include <stdio.h> + #include <string.h> + #include <unistd.h> ++#include <locale.h> + + #include <gnome.h> + #include <libgnomeui/libgnomeui.h> |