$Id: INSTALL,v 1.2 2000/11/15 01:48:04 selinger Exp $ These instructions were tested under Linux, Solaris, and Windows. If you have any problems, please email selinger@stanford.edu. INSTRUCTIONS FOR UNIX AND LINUX =============================== Installation from the source distribution ----------------------------------------- To make the compiler ppl from sources, you need the following: * A `make' utility such as GNU Make, available from www.gnu.org. * The Objective Caml compiler (including ocamllex and ocamlyacc), available from http://pauillac.inria.fr/caml/ocaml/. * The ppl sources, available from http://theory.stanford.edu/~selinger/ppl/. * Optionally: `tar' and `gunzip', to extract the sources. 1. Unpack the sources: tar -xzf ppl-0.1.tar.gz This creates a directory `ppl-0.1' within your current working directory. If you don't have `tar' and `gunzip', get them at www.gnu.org. In the worst case, the files in the ppl source tree can also be individually downloaded from the above web site. 2a. Create the ocaml bytecode: from within the `ppl-0.1' directory, type make ppl OR: 2b. Create a native binary executable: from within the `ppl-0.1' directory, type make ppl.opt Note: the `depend' file included with the source distribution should be up-to-date. If there are problems during compilation, try typing `make depend' first. 3. Remove temporary files (optional): to remove files that are no longer needed, type make clean Running the compiler -------------------- To test the compiler, type ocamlrun ppl --term "\x.x" if you have compiled ppl as bytecode. In most cases, the bytecode file is self-executable, and you can omit `ocamlrun' and type just ppl --term "\x.x" to invoke the compiler. If you have made a native-code version of the compiler, invoke it via ppl.opt --term "\x.x" The above examples assume that your PATH environment variable is set to include the directories where `ocamlrun', `ppl', and `ppl.opt' reside. Running the graphical user interface ------------------------------------ To run the graphical user interface, you need to have Tcl/Tk 8.0.5 or later installed on your system. You invoke the graphical user interface by typing wish ppli.in Or you can create a self-executable file by typing make ppli which you can then invoke simply as ppli INSTRUCTIONS FOR DOS/WINDOWS ============================ The simplest way to get PPL to run under DOS/Windows is to download and install the self-installing version of Objective Caml for Windows from http://pauillac.inria.fr/caml/ocaml/. Then download the precompiled ocaml bytecode file `ppl' from http://theory.stanford.edu/~selinger/ppl/. At a DOS prompt, you can then invoke ppl by typing ocamlrun ppl To run the graphical user interface `ppli', download and install Tcl/Tk for Windows from http://dev.scriptics.com/software/tcltk/8.0.html. You can then open `ppli' from within Wish under Windows. Or you can double-click on the `ppli' icon in Windows, and when prompted for which software to use to open this file, choose Wish.