aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-02-05 18:01:45 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-02-05 18:01:45 +0200
commitd7b7e218bfe92516f525568a6c1c9e1a9eb241fe (patch)
tree6cbc3155d7188f65e4b806c6edeecdd53393da69 /INSTALL
Start tracking build with git
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL34
1 files changed, 34 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
new file mode 100644
index 0000000..9169924
--- /dev/null
+++ b/INSTALL
@@ -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.
+