Port details on branch 2022Q3 |
- gturing Simple Turing machine simulator for GNOME 2
- 0.1.1_21 games
=0 0.1.1_21Version of this port present on the latest quarterly branch.
- DEPRECATED: GNOME 2 application
This port expired on: 2018-12-10
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-01-21 01:22:44
- Last Update: 2018-12-11 13:02:51
- SVN Revision: 487235
- Also Listed In: gnome
- License: GPLv2
- Description:
- 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.
Of course, no one uses the Turing machine for actual computing
work, but it is very useful in theoretical computer science and
mathematical logic.
It's a nice complement for students who likes to practice with
theory and a nice toy to play with.
gpoo@ubiobio.cl
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: gturing
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (gturing-0.1.1.tar.gz) = 9eb8a1e415952c0f9deeb4c80f098c440d460563854f41313db55df002bb911d
SIZE (gturing-0.1.1.tar.gz) = 533818
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- msgfmt : devel/gettext-tools
- gmake : devel/gmake
- pkgconf>=1.3.0_1 : devel/pkgconf
- gnome-mime-data-2.0.pc : misc/gnome-mime-data
- Runtime dependencies:
-
- gnome-mime-data-2.0.pc : misc/gnome-mime-data
- Library dependencies:
-
- libintl.so : devel/gettext-runtime
- libatk-1.0.so : accessibility/atk
- libgconf-2.so : devel/gconf2
- libglib-2.0.so : devel/glib20
- libintl.so : devel/gettext-runtime
- libgnomevfs-2.so : devel/gnome-vfs
- libgtk-x11-2.0.so : x11-toolkits/gtk20
- libart_lgpl_2.so : graphics/libart_lgpl
- libbonobo-2.so : devel/libbonobo
- libbonoboui-2.so : x11-toolkits/libbonoboui
- libglade-2.0.so : devel/libglade2
- libgnome-2.so : x11/libgnome
- libgnomecanvas-2.so : graphics/libgnomecanvas
- libgnomeui-2.so : x11-toolkits/libgnomeui
- libIDL-2.so : devel/libIDL
- libxml2.so : textproc/libxml2
- libORBit-2.so : devel/ORBit2
- libpango-1.0.so : x11-toolkits/pango
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for gturing-0.1.1_21:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings
- Options name:
- N/A
- USES:
- gettext gmake libtool pathfix pkgconfig gnome
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|