search: fixed a bug in NULL move pruning
[owl.git] / INSTALL
blobd3c5b40a94091285c27361905f591af64c1f7b21
1 Installation Instructions
2 *************************
4 Copyright (C) 1994, 1995, 1996, 1999, 2000, 2001, 2002, 2004, 2005,
5 2006, 2007 Free Software Foundation, Inc.
7 This file is free documentation; the Free Software Foundation gives
8 unlimited permission to copy, distribute and modify it.
10 Basic Installation
11 ==================
13 Briefly, the shell commands `./configure; make; make install' should
14 configure, build, and install this package.  The following
15 more-detailed instructions are generic; see the `README' file for
16 instructions specific to this package.
18    The `configure' shell script attempts to guess correct values for
19 various system-dependent variables used during compilation.  It uses
20 those values to create a `Makefile' in each directory of the package.
21 It may also create one or more `.h' files containing system-dependent
22 definitions.  Finally, it creates a shell script `config.status' that
23 you can run in the future to recreate the current configuration, and a
24 file `config.log' containing compiler output (useful mainly for
25 debugging `configure').
27    It can also use an optional file (typically called `config.cache'
28 and enabled with `--cache-file=config.cache' or simply `-C') that saves
29 the results of its tests to speed up reconfiguring.  Caching is
30 disabled by default to prevent problems with accidental use of stale
31 cache files.
33    If you need to do unusual things to compile the package, please try
34 to figure out how `configure' could check whether to do them, and mail
35 diffs or instructions to the address given in the `README' so they can
36 be considered for the next release.  If you are using the cache, and at
37 some point `config.cache' contains results you don't want to keep, you
38 may remove or edit it.
40    The file `configure.ac' (or `configure.in') is used to create
41 `configure' by a program called `autoconf'.  You need `configure.ac' if
42 you want to change it or regenerate `configure' using a newer version
43 of `autoconf'.
45 The simplest way to compile this package is:
47   1. `cd' to the directory containing the package's source code and type
48      `./configure' to configure the package for your system.
50      Running `configure' might take a while.  While running, it prints
51      some messages telling which features it is checking for.
53   2. Type `make' to compile the package.
55   3. Optionally, type `make check' to run any self-tests that come with
56      the package.
58   4. Type `make install' to install the programs and any data files and
59      documentation.
61   5. You can remove the program binaries and object files from the
62      source code directory by typing `make clean'.  To also remove the
63      files that `configure' created (so you can compile the package for
64      a different kind of computer), type `make distclean'.  There is
65      also a `make maintainer-clean' target, but that is intended mainly
66      for the package's developers.  If you use it, you may have to get
67      all sorts of other programs in order to regenerate files that came
68      with the distribution.
70   6. Often, you can also type `make uninstall' to remove the installed
71      files again.
73 Compilers and Options
74 =====================
76 Some systems require unusual options for compilation or linking that the
77 `configure' script does not know about.  Run `./configure --help' for
78 details on some of the pertinent environment variables.
80    You can give `configure' initial values for configuration parameters
81 by setting variables in the command line or in the environment.  Here
82 is an example:
84      ./configure CC=c99 CFLAGS=-g LIBS=-lposix
86    *Note Defining Variables::, for more details.
88 Compiling For Multiple Architectures
89 ====================================
91 You can compile the package for more than one kind of computer at the
92 same time, by placing the object files for each architecture in their
93 own directory.  To do this, you can use GNU `make'.  `cd' to the
94 directory where you want the object files and executables to go and run
95 the `configure' script.  `configure' automatically checks for the
96 source code in the directory that `configure' is in and in `..'.
98    With a non-GNU `make', it is safer to compile the package for one
99 architecture at a time in the source code directory.  After you have
100 installed the package for one architecture, use `make distclean' before
101 reconfiguring for another architecture.
103 Installation Names
104 ==================
106 By default, `make install' installs the package's commands under
107 `/usr/local/bin', include files under `/usr/local/include', etc.  You
108 can specify an installation prefix other than `/usr/local' by giving
109 `configure' the option `--prefix=PREFIX'.
111    You can specify separate installation prefixes for
112 architecture-specific files and architecture-independent files.  If you
113 pass the option `--exec-prefix=PREFIX' to `configure', the package uses
114 PREFIX as the prefix for installing programs and libraries.
115 Documentation and other data files still use the regular prefix.
117    In addition, if you use an unusual directory layout you can give
118 options like `--bindir=DIR' to specify different values for particular
119 kinds of files.  Run `configure --help' for a list of the directories
120 you can set and what kinds of files go in them.
122    If the package supports it, you can cause programs to be installed
123 with an extra prefix or suffix on their names by giving `configure' the
124 option `--program-prefix=PREFIX' or `--program-suffix=SUFFIX'.
126 Optional Features
127 =================
129 Some packages pay attention to `--enable-FEATURE' options to
130 `configure', where FEATURE indicates an optional part of the package.
131 They may also pay attention to `--with-PACKAGE' options, where PACKAGE
132 is something like `gnu-as' or `x' (for the X Window System).  The
133 `README' should mention any `--enable-' and `--with-' options that the
134 package recognizes.
136    For packages that use the X Window System, `configure' can usually
137 find the X include and library files automatically, but if it doesn't,
138 you can use the `configure' options `--x-includes=DIR' and
139 `--x-libraries=DIR' to specify their locations.
141 Specifying the System Type
142 ==========================
144 There may be some features `configure' cannot figure out automatically,
145 but needs to determine by the type of machine the package will run on.
146 Usually, assuming the package is built to be run on the _same_
147 architectures, `configure' can figure that out, but if it prints a
148 message saying it cannot guess the machine type, give it the
149 `--build=TYPE' option.  TYPE can either be a short name for the system
150 type, such as `sun4', or a canonical name which has the form:
152      CPU-COMPANY-SYSTEM
154 where SYSTEM can have one of these forms:
156      OS KERNEL-OS
158    See the file `config.sub' for the possible values of each field.  If
159 `config.sub' isn't included in this package, then this package doesn't
160 need to know the machine type.
162    If you are _building_ compiler tools for cross-compiling, you should
163 use the option `--target=TYPE' to select the type of system they will
164 produce code for.
166    If you want to _use_ a cross compiler, that generates code for a
167 platform different from the build platform, you should specify the
168 "host" platform (i.e., that on which the generated programs will
169 eventually be run) with `--host=TYPE'.
171 Sharing Defaults
172 ================
174 If you want to set default values for `configure' scripts to share, you
175 can create a site shell script called `config.site' that gives default
176 values for variables like `CC', `cache_file', and `prefix'.
177 `configure' looks for `PREFIX/share/config.site' if it exists, then
178 `PREFIX/etc/config.site' if it exists.  Or, you can set the
179 `CONFIG_SITE' environment variable to the location of the site script.
180 A warning: not all `configure' scripts look for a site script.
182 Defining Variables
183 ==================
185 Variables not defined in a site shell script can be set in the
186 environment passed to `configure'.  However, some packages may run
187 configure again during the build, and the customized values of these
188 variables may be lost.  In order to avoid this problem, you should set
189 them in the `configure' command line, using `VAR=value'.  For example:
191      ./configure CC=/usr/local2/bin/gcc
193 causes the specified `gcc' to be used as the C compiler (unless it is
194 overridden in the site shell script).
196 Unfortunately, this technique does not work for `CONFIG_SHELL' due to
197 an Autoconf bug.  Until the bug is fixed you can use this workaround:
199      CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
201 `configure' Invocation
202 ======================
204 `configure' recognizes the following options to control how it operates.
206 `--help'
207 `-h'
208      Print a summary of the options to `configure', and exit.
210 `--version'
211 `-V'
212      Print the version of Autoconf used to generate the `configure'
213      script, and exit.
215 `--cache-file=FILE'
216      Enable the cache: use and save the results of the tests in FILE,
217      traditionally `config.cache'.  FILE defaults to `/dev/null' to
218      disable caching.
220 `--config-cache'
221 `-C'
222      Alias for `--cache-file=config.cache'.
224 `--quiet'
225 `--silent'
226 `-q'
227      Do not print messages saying which checks are being made.  To
228      suppress all normal output, redirect it to `/dev/null' (any error
229      messages will still be shown).
231 `--srcdir=DIR'
232      Look for the package's source code in directory DIR.  Usually
233      `configure' can determine that directory automatically.
235 `configure' also accepts some other, not widely useful, options.  Run
236 `configure --help' for more details.