Refinement indicators
Reference manual
Version 1.4

Hend Ben Ameur <hbenameur@yahoo.ca> Francois Clement <Francois.Clement@inria.fr> Pierre Weis <Pierre.Weis@inria.fr>

2014-07-17

1  Installation of Ref-indic

To install the Ref-indic command, follow the instructions in the INSTALL file of the distribution, or use the generic instructions of the next section.

Ref-indic is free software distributed under the 3-clause BSD license, see the LICENSE file for details.

2  For the users of the distributed version of your package

They should follow the directives of the INSTALL file of the distribution of your package.

2.1  To configure, build and install the package

  ./configure [<installation_root_directory>]
  make
  make install

When called with one argument, the configure script makes it the root directory for the installation. When called without argument, the configure script interactively asks the user.

The variable installation_root_directory stands for the directory where the project will be installed; it must contain a valid directory name where the user can write. All the files that are installed by your project will be copied into sub directories of this one. Namely:

2.2  To clean and remove the package

To remove all files installed by make install, all files built by make and all files created by ./configure, respectively type in:

  make uninstall
  make clean
  ./unconfigure

This document was translated from LATEX by HEVEA.