Compilation and installation of ManTa 3.1


Here you  find instructions  to compile and  install ManTa 3.1  in the
following platforms:

1. Unix (several variants, including Linux, SunOS and OpenBSD)
2. DOS, Windows 3.x/9x/NT/2000


1. Compilation and Installation under Unix
------------------------------------------

Once decompressed, type:
  ./configure
  make

This will compile and prepare ManTa for installation at /usr/local, if
you  need another  prefix, use  the option  --prefix of  the configure
script. e.g
  ./configure --prefix=/home/pablo/manta
  make

Note that ManTa  3.1 has an experimental Ocaml  code generator. If you
want  to include  it use  the option  --with-m2ocaml of  the configure
script. e.g:
  ./configure --with-m2ocaml --prefix=/usr
  make

Optionally,  after  compiling you  could  run  regression  test or  a
benchmark   (see    details   in   kernel/test/insdir/readme.txt   and
kernel/test/insdir/nqthm92/readme.txt).   To run  the  regression test
type:
  make check
to run the benchmark run
  make bench


To install the system type:
  make install


Once  installed each  user  who wants  to  use ManTa,  should run  the
configuration tool "manconf".


2. Compiltation and Installation under DOS
------------------------------------------

Before compiling under DOS you should have:

- The free DJGPP compiler.   Available at
    http://www.delorie.com/djgpp/zip-picker.html
  You only will need the C compiler.

- The program "sed". Available at
    ftp://ftp.simtel.net/pub/simtelnet/gnu/djgpp/v2gnu

In DOS/Windows,  by default ManTa is installed  in directory "\manta",
if  you  prefer  a  different  path for  the  final  binaries,  before
compiling,  edit the file  "makefile.dj" look  for a  line containing:
  prefix=\manta
and  instead of "\manta"  set your  prefered installation  path.
(Note: To edit the Makefile don't  use the editor "edit", use one that
preserves the TAB character).


After configuring the installation directory compile ManTa by typing:
  make -f makefile.dj

Optionally,  after  compiling you  could  run  regression  test or  a
benchmark   (see    details   in   kernel/test/insdir/readme.txt   and
kernel/test/insdir/nqthm92/readme.txt).   To run  the  regression test
type:
  make -f makefile.dj check
to run the benchmark run
  make -f makefile.dj bench


Finally to install the system type:
  make -f makefile.dj install



3. Problems and feedback
------------------------

If you want to be informed  of new releases of ManTa, subscribe to the
list manta-announce@lists.sourceforge.net at:
    http://lists.sourceforge.net/lists/listinfo/manta-announce

If you find problems installing or  using ManTa, please let us know by
writing to manta-bugs@lists.sourceforge.net.

There is a mailing list for users of ManTa, you can subscribe to it from:
    http://lists.sourceforge.net/lists/listinfo/manta-users

If you  want to help in  the development of ManTa  check the directory
doc/implem.