Software and Tools
for
Ocamlnet

Patrick Doane

March 17, 2001

This document contains a listing of the software used to develop the Ocamlnet project. It should help new members of the project get started and improve consistency for project contributors. The development environment is assumed to be some flavor of Unix. Included with each tool is the version of the software used. Matching the same version number is recommended but other versions may work equally well.

1   Required Software

These software tools are required for building the Ocamlnet project.

Objective Caml 3.01
Objective Caml is the programming tool of choice for discriminating hackers. It is a strongly-typed functional programming language from the ML family.

http://caml.inria.fr/

LablGTK 1.20
LablGTK is is an Objective Caml interface to gtk+. It uses the rich type system of Objective Caml 3 to provide a strongly typed, yet very comfortable, object-oriented interface to gtk+.

http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html

teTeX 1.0.7
teTeX is a complete TeX distribution for UNIX compatible systems.

http://www.tug.org/teTeX/

GNU Make 3.79.1
The GNU make utility automatically determines which pieces of a large program need to be recompiled, and issues the commands to recompile them.

http://www.gnu.org/software/make/make.html

2   Optional Software

Developers may find the following software useful while contributing to the project.

Dia 0.86
Dia is a drawing program, designed to be much like the commercial Windows program 'Visio'. It can be used to draw various different kinds of diagrams.

http://www.gnome.org/gnome-office/dia.shtml

gv 3.58
gv allows the user to view and navigate through PostScript and PDF documents on an X display by providing a user interface for the ghostscript interpreter.

http://wwwthep.physik.uni-mainz.de/~plass/gv/

GNU Emacs 20.7.1
Emacs is an extensible, customizable real-time display editor and computing environment.

http://www.gnu.org/software/emacs/emacs.html

AucTeX 9.9p
AucTeX is an essential add-on to Emacs for editing LaTeX-documents. It defines keystrokes such as C-c C-c to compile, view etc.

http://www.math.auc.dk/~dethlef/Tips/auc.html

Tuareg 1.38.5
Tuareg is a Caml mode for GNU Emacs and XEmacs.

http://www-rocq.inria.fr/~acohen/tuareg/

This document was translated from LATEX by HEVEA.