# Compiled the vtml.c wrapper with /usr/local/bin/vtm_perl listed explicitly.
# Then ran this March 10 2008, as root.

export CODEDIR=/var/www/cs/htdocs//courses/spring2006/formal_languages/code
cp $CODEDIR/VTM2/vtm-2.02/VTM.pm /usr/local/lib/site_perl/VTM.pm
cp $CODEDIR/VTM2/vtm_WITH_JIMS_CHANGES /usr/local/bin/vtm_perl
cp $CODEDIR/VTM2/vtm-2.02/vtml /usr/local/bin/vtm
ln -s /usr/local/bin/vtm /usr/local/bin/vtml