diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-21 01:22:23 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-21 01:22:23 +0000 |
commit | 555a4e2a70fb482f34c4931f73292a9d6ccec19f (patch) | |
tree | 0c82fef6a9933e5c538d283a72170acb930f08de /games/gturing/files | |
parent | 9e8b88f9f16a093f2d6d3a95228c71685dbc6b47 (diff) | |
download | ports-555a4e2a70fb482f34c4931f73292a9d6ccec19f.tar.gz ports-555a4e2a70fb482f34c4931f73292a9d6ccec19f.zip |
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 <rael@vectorstar.net>
Notes
Notes:
svn path=/head/; revision=73694
Diffstat (limited to 'games/gturing/files')
-rw-r--r-- | games/gturing/files/patch-Makefile.in | 11 | ||||
-rw-r--r-- | games/gturing/files/patch-gturing.desktop.in | 7 | ||||
-rw-r--r-- | games/gturing/files/patch-pixmaps-Makefile.in | 11 |
3 files changed, 29 insertions, 0 deletions
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 + |