Begin autotools sanitization sequence by requiring ports to explicitly
specify which version of {libtool,autoconf,automake} they need, erasing
the concept of a "system default".
For ports-in-waiting:
USE_LIBTOOL=YES -> USE_LIBTOOL_VER=13
USE_AUTOCONF=YES -> USE_AUTOCONF_VER=213
USE_AUTOMAKE=YES -> USE_AUTOMAKE_VER=14
Ports attempting to use the old style system after June 1st 2004 will be
sorely disappointed.
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>
