This tutorial assumes that you have already downloaded and compiled WAFE. See the documentation files included with the WAFE distribution for instructions on doing this. Notice that binaries are available for some architectures, for example Linux.
Some familiarity with Tcl is also
helpful, although not essential.