[Image] [Image] [Image] [Image]

Installation procedure

This description of the installation procedure is oriented mainly towards UNIX users. Windows 95 users can use the binaries as is, and Windows NT users need to add the appropriate drivers and take great care. The ANSI C sources may also be compiled under Windows 95/NT if desired, but instructions for this are not given.

The source file distribution will be described first, then the binaries are given.

Where to obtain the Zdatr 2.0 source file and info package:

The current version of the C source files, configuration and make utilities, and other information about DATR and its applications, can be downloaded from the Bielefeld DATR web page at
http://coral.lili.uni-bielefeld.de/DATR/
After downloading, the file zdatr-2.0.tar.gz can be unpacked with the commands

gzip -d zdatr-2.0.tar.gz
tar fxv zdatr-2.0.tar

The archive unpacks into the directory zdatr-2.0, which contains the source code, and Postscript and HTML versions of this report, DATR theory and query example files, and demo scripts. The Sussex, Bielefeld and Düsseldorf web pages should be consulted for papers on DATR and a wide range of DATR theories.

Compiling the sources and installing:

The sources are provided with UNIX configuration and make scripts, which have been tested on Solaris 2.5 and Linux. To compile and install Zdatr 2.0, change to the directory into which your files have been unpacked, and execute configure.

The following is an extract from the INSTALL help file provided with the distribution (more detailed information is available there):

1) Run configure. If you want to install the program directories into
a location other than /usr/local, run configure --prefix=LOCATION,
e. g. configure --prefix=$HOME.

2) Run make. If there will no errors, then the program is ready for installation.

3) Run make install. This will place onto your system:
   ZDATR binaries to ${PREFIX}/bin (usually /usr/local/bin),
   ZDATR man pages to ${PREFIX}/man,
   ZDATR standard libraries to ${PREFIX}/share/zdatr/std
   ZDATR documentation in LaTeX and HTML formats to ${PREFIX}/share/zdatr/doc,
   ZDATR examples to ${PREFIX}/share/zdatr/example

Obtaining the binaries:

Binaries are also provided on the Bielefeld DATR web page for Solaris 2.5, Red Hat Linux release 5.0 and Windows 95 in the files

• zdatr-2.0.sources.tar.gz
• zdatr-2.0.binaries-sparc-solaris25.tar.gz
• zdatr-2.0.binaries-i386-linux.tar.gz
• zdatr-2.0.binaries-i386-win32.tar.gz
• zdatr-2.0.binaries-i386-win32.zip

To install a binary, just un-gzip and untar the file and copy the contents of directory 'program' to /usr/local or some other appropriate location. See the file README for description of 'program' subdirectories.

If you install in a directory other than /usr/local, you will probably need to modify your PATH and MANPATH environment variables.

For example, if you install to $HOME, modify these variables as follows:
PATH=$PATH:$HOME/bin; export PATH
MANPATH=$MANPATH:$HOME/man; export MANPATH

After that you should consult the manpage with man zdatr for zdatr options. The detailed ZDATR manual can be found in doc/ directory, which contains the current version of the manual in latex, html and postscript formats. The Texinfo format will be available in the next minor release.

The $ZDATRPATH environment variable can be set to point to the directory containing the user's DATR files for use with the Zdatr 2.0 preprocessor #load directive.

The standard library (std.*) files are normally installed automatically in the directory $PREFIX/share/zdatr/std, where $PREFIX is either /usr/local/bin or a user-defined directory specified during the installation process with

configure -prefix=[mydirectory]

The program files are installed in the following subdirectories of the directory $PREFIX used during the configuration process:

  bin/                  -- binary files and shell scripts needed to run zdatr
  man/                  -- ZDATR man page
  share/zdatr/          -- syntax highlighting files for VIM
  share/zdatr/std       -- ZDATR standard libraries
  share/zdatr/doc       -- ZDATR manual in various formats
  share/zdatr/doc/html  -- HTML version of ZDATR manual
  share/zdatr/doc/latex -- LaTeX version of ZDATR manual
  share/zdatr/demo      -- demo theories
  share/zdatr/tests     -- test theories

Contacting the authors:

Please send bug reports, comments and suggestions for improvement to zdatr@spectrum.uni-bielefeld.de.

[Image] [Image] [Image] [Image]