summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2009-10-12 09:47:25 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2009-10-12 09:47:25 +0200
commitb1b740bc9ab2188d03d1cc414b4d374df5b85036 (patch)
tree2fa0869206402ef9e90c258e00fa5225b5ebfedf /INSTALL
parent98ce3d9f82847932f974b10841ccb77b3cba838f (diff)
Add documentation for the install target
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL23
1 files changed, 23 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 608a01d..83c0669 100644
--- a/INSTALL
+++ b/INSTALL
@@ -27,6 +27,29 @@ To clean the object files, executables, etc., run 'make clean'. To de-
configure the package (that is, remove configuration files in addition
to objects, executables, etc.), run 'make disfigure'.
+To install the CLI compiler, examples, and documentation use the install
+target, for example:
+
+$ make install_prefix=/usr install
+
+You can fine-tune the installation locations with the following make
+variables:
+
+install_prefix default is /usr/local
+install_data_prefix default is install_prefix
+install_exec_prefix default is install_prefix
+
+install_bin_dir default is install_exec_prefix/bin
+install_sbin_dir default is install_exec_prefix/sbin
+install_lib_dir default is install_exec_prefix/lib
+
+install_data_dir default is install_data_prefix/share
+install_inc_dir default is install_data_prefix/include
+
+install_doc_dir default is install_data_dir/doc
+install_man_dir default is install_data_dir/man
+install_info_dir default is install_data_dir/info
+
Windows
-------