From 555a4e2a70fb482f34c4931f73292a9d6ccec19f Mon Sep 17 00:00:00 2001 From: Edwin Groothuis Date: Tue, 21 Jan 2003 01:22:23 +0000 Subject: New port: games/gturing - A simple Turing machine for gnome2 Gturing is a simple turing machine simulator with graphical interface. A Turing machine is the simplest possible computing device which can only perform very simple operations. However, almost everything in programming languages can be written as a program for the Turing machine. It's a nice complement for students who likes to practice with theory and a nice toy to play with. PR: ports/40368 Submitted by: Juan Salaverria --- games/gturing/files/patch-Makefile.in | 11 +++++++++++ games/gturing/files/patch-gturing.desktop.in | 7 +++++++ games/gturing/files/patch-pixmaps-Makefile.in | 11 +++++++++++ 3 files changed, 29 insertions(+) create mode 100644 games/gturing/files/patch-Makefile.in create mode 100644 games/gturing/files/patch-gturing.desktop.in create mode 100644 games/gturing/files/patch-pixmaps-Makefile.in (limited to 'games/gturing/files') diff --git a/games/gturing/files/patch-Makefile.in b/games/gturing/files/patch-Makefile.in new file mode 100644 index 000000000000..255d4a6a5933 --- /dev/null +++ b/games/gturing/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig Mon Jul 8 02:09:09 2002 ++++ Makefile.in Mon Jul 8 02:52:04 2002 +@@ -116,7 +116,7 @@ + + SUBDIRS = pixmaps tapes po src help + +-desktopdir = $(datadir)/apps/Applications ++desktopdir = $(datadir)/applications + desktop_in_files = gturing.desktop.in + desktop_DATA = $(desktop_in_files:.desktop.in=.desktop) + diff --git a/games/gturing/files/patch-gturing.desktop.in b/games/gturing/files/patch-gturing.desktop.in new file mode 100644 index 000000000000..21e6149e412e --- /dev/null +++ b/games/gturing/files/patch-gturing.desktop.in @@ -0,0 +1,7 @@ +--- gturing.desktop.in.orig Sat Jul 14 07:15:50 2001 ++++ gturing.desktop.in Mon Jul 8 22:51:47 2002 +@@ -5,3 +5,4 @@ + Icon=gnome-gturing.png + Terminal=0 + Type=Application ++Categories=Application;Game; diff --git a/games/gturing/files/patch-pixmaps-Makefile.in b/games/gturing/files/patch-pixmaps-Makefile.in new file mode 100644 index 000000000000..f928b2c7bf41 --- /dev/null +++ b/games/gturing/files/patch-pixmaps-Makefile.in @@ -0,0 +1,11 @@ +--- pixmaps/Makefile.in.orig Tue Jul 9 01:09:00 2002 ++++ pixmaps/Makefile.in Tue Jul 9 01:22:36 2002 +@@ -114,7 +114,7 @@ + WARN_CFLAGS = @WARN_CFLAGS@ + cxxflags_set = @cxxflags_set@ + +-pixmapsdir = $(datadir)/$(PACKAGE)/pixmaps ++pixmapsdir = $(datadir)/pixmaps + + pixmaps_DATA = gnome-gturing.png play.xpm power.xpm step.xpm stop.xpm + -- cgit v1.2.3