summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-06-23 08:06:39 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-06-23 08:06:39 +0000
commit3f25c1ae23353483008535bd69b8572ab75a8079 (patch)
treeea918220e9419e26ba05e141986b58bc31d9fcf8 /INSTALL
parent58d366e78af4b3e099a73bd1b80dcdb94b738dce (diff)
downloadocaml-3f25c1ae23353483008535bd69b8572ab75a8079.tar.gz
documente -verbose
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL3
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index a864ad5628..8f889a8449 100644
--- a/INSTALL
+++ b/INSTALL
@@ -82,6 +82,9 @@ The "configure" script accepts the following options:
./configure -tklibs "-L/usr/local/lib -ltk8.0jp -ltcl8.0jp"
-tkdefs "-I/usr/local/include/tcl8.0jp -I/usr/local/include/tk8.0jp"
+-verbose
+ Verbose output of the configuration tests. Use it if the outcome
+ of configure is not what you were expecting.
Examples:
./configure -prefix /usr/bin
./configure -bindir /usr/bin -libdir /usr/lib/ocaml -mandir /usr/man/manl