Installation of the PEP tool At the present time we provide PEP Version 1.8j for Solaris 2.x (abbreviated as 'solaris'), Linux (abbreviated as 'linux'). Linux with the new glibc (abbreviated as 'linux_glibc'). and Version 1.8g Irix (abbreviated as 'irix'). Installation of the PEP tool involves the following steps. (In the following we assume a version 1.8a) 1. Download the file: PEP1.8a_operating-system_prg.tar.gz (Note: 'operating-system' must be replaced by one of the abbreviations mentioned above.) from our Web-Page http://theoretica.informatik.uni-oldenburg.de/~pep/HomePage.html 2. Uncompress it with 'gzip -d PEP1.8a_operating-system_prg.tar.gz', obtaining the file 'PEP1.8a_operating-system_prg.tar'. 3. Untar this file with 'tar -xvf PEP1.8a_operating-system_prg.tar'; a directory 'pep' with several subdirectories is created (make sure no file or directory called 'pep' is present before executing this step). Note: If you have GNU tar (for instance, as 'gtar') you may combine steps 2 and 3 by typing 'gtar -xvzf PEP1.8a_operating-system_prg.tar.gz'. 4. Set an environment variable 'PEPHOME' to the name of the new directory. If you use 'csh' you can include the following line in your '.cshrc' file: setenv PEPHOME pathname/pep If you use 'bash' you can include the following line in your '.profile' file: export PEPHOME="pathname/pep" You can set 'PEPHOME' temporary by typing one of these commands at the shell prompt. 5. Add the subdirectory '$PEPHOME/bin' to your path. If you use 'csh' you can include the following line in your '.cshrc' file: set path = ($path $PEPHOME/bin ) If you use 'bash' you can include the following line in your '.profile' file: export PATH=$PATH:$PEPHOME/bin 6. Write an email to 'pep_help@informatik.uni-oldenburg.de' and ask for a license file. Your mail should contain: a) Some brief information about your interest in the PEP tool and about your institution. The PEP tool is distributed free of charge only for non-commercial use. And we do not supply any warranty. b) The hostid of the computer(s) on which you would like to use the tool. You can get this information by typing 'hostid' in your shell. (If you run Solaris '/usr/ucb/hostid' should work.) 7. Insert the file you will receive as '$PEPHOME/.pep_pswd'. 8. Now you may invoke the peptool from any directory by typing 'peptool' at the prompt. 9. You should read the full manual first. Currently we provide a draft version of the new user documentation (which is not complete, but describes the current state of the PEP tool) and a full documentation (which includes additional theoretical background, but which is not up-to-date) contained in the file PEP1.4_man.ps.gz (at the same location on the same server). Notes: 0. The easiest way to set the environment variables once and forever, is to edit the script $PEPHOME/bin/pep and to use this for the invocation of the PEP tool. 1. To use the PEP tool you need patched versions of Tcl (Version 7.6) and Tk (Version 4.2). Therefore, we highly recommend to download the correct versions from our Web page. Please have a look at the files `INSTALL_tcl7.6_bins.txt' and `INSTALL_tcl7.6.txt'. 2. To use the new 3D visualisation component very specific versions of Java and Liquid Reality. Please, have a look at the installation description. 3. You may have problems with older versions of linux. Therefore, we provide new versions of the most important libraries on our Web page. 4. You can invoke the PEP tool and use it in a restricted way even if you have not received a license file. 5. It is a beta version. We are still working on it, so please communicate any problem you experience to: 'pep_help@informatik.uni-oldenburg.de'.