tutch 0.53beta Copyright (C) Andreas Abel and Frank Pfenning, 2001 Installation Instructions for Linux =================================== These are the instructions to install tutch using Standard ML of New Jersey with the new Compilation Manager (CM). It has been tested with working version 110.45 of SML/NJ. 1. Unpack files Change to the directory where tutch should be installed to and unpack. This will create the directory "tutch-0.53/" cd tar xzf /tutch-0.53-for-sml-110.45.tar.gz 2. Compile tutch This patch of tutch requires Standard ML of New Jersey, working version 110.45, with the new compilation manager (CM). You might have to edit the tutch Makefile and specify the correct path to the sml compiler. cd tutch-0.53 which build-ml If you do not get a positive answer, put the correct location of sml and build-ml into the Makefile. If build-ml is nowhere on your system, you might have an older version of SML. Then consider download and install tutch-0.53.tar.gz instead. To compile tutch, simply invoke make 3. Getting started I recommend creating a link to the current tutch version. cd .. ln -s tutch-0.53 tutch Now you either add "tutch/bin" to your path or copy the script "tutch" into a directory where the system can find it. For example: cp -p tutch/bin/tutch ~/bin/ If SML is not on your search path, then edit the script "tutch". Now run tutch! tutch -v tutch/doc/examples/prop3 Have fun! Andreas Abel June 13, 2004