summaryrefslogtreecommitdiff
path: root/games/gturing
diff options
context:
space:
mode:
authorrh <rh@pkgsrc.org>2002-11-04 07:40:37 +0000
committerrh <rh@pkgsrc.org>2002-11-04 07:40:37 +0000
commita4eb6807580ab3cdadbb326d24a7585f2a3c0a79 (patch)
treeeaac387fffc27e594aaedca073f90355249f85ca /games/gturing
parentd54f4985a862bd72a53aa2359a9e4f0630dfb4c5 (diff)
downloadpkgsrc-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/DESCR15
-rw-r--r--games/gturing/Makefile26
-rw-r--r--games/gturing/PLIST50
-rw-r--r--games/gturing/distinfo5
-rw-r--r--games/gturing/patches/patch-aa12
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>