diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-05 18:01:45 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-05 18:01:45 +0200 |
commit | d7b7e218bfe92516f525568a6c1c9e1a9eb241fe (patch) | |
tree | 6cbc3155d7188f65e4b806c6edeecdd53393da69 /INSTALL |
Start tracking build with git
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 34 |
1 files changed, 34 insertions, 0 deletions
@@ -0,0 +1,34 @@ +Prerequisites + + - GNU make >= 3.81 http://www.gnu.org/software/make/ + - GNU bash >= 2.05a http://www.gnu.org/software/bash/ + + +Installing the build system + + To install the build system you can say + + $ make install + + in the root directory of the source distribution. If you want to + install it to a different location (default is /usr/local) you + can say + + $ make install_prefix=/usr install + + Note that you need to install the build runtime into a place where + `make' will look by default (normally /usr/include and /usr/local/include). + Alternatively, you can install it into some other place (e.g., your home + directory) and set MAKEFLAGS accordingly: + + $ make install install_prefix=/home/boris/local + $ export MAKEFLAGS="-I /home/boris/local/include" + + +Building examples + + There is a makefile accompanying each example. Saying 'make' + usually does the trick. Note that saying 'make install' in + example directory will install what the example has built as + opposed to installing the example itself. + |