$Id: README,v 1.3 2005/10/27 12:59:58 gmariano Exp $

Building ATP
============

* make ARCH=[byte|native]  (default is native)

	Builds geom-byte or geom-native

* make ocamldoc

	Builds ocamldoc for $(SOURCES) code in ./odoc
	Parameters for ocamldoc ared defined  in Makefile.odoc

Debian build
============

ii  bash            3.0-15          The GNU Bourne Again SHell
ii  libc6           2.3.5-6         GNU C Library: Shared libraries and Timezone d
ii  libncurses5     5.4-9           Shared libraries for terminal handling
ii  locales         2.3.5-3         GNU C Library: National Language (locale) data
ii  make            3.80-9          The GNU version of the "make" utility.
ii  ocaml-base-nox  3.08.3-8        Runtime system for ocaml bytecode executables
ii  ocaml-nox       3.08.3-8        ML language implementation with a class-based
ii  ocaml-tools      2005.29.04-3     various tools for ocaml programmers
