summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-06-06 23:27:50 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-06-06 23:27:50 +0000
commitffd5b0fd3bf3639dd02442b57912d15d038589df (patch)
treec50d5adc08e57a694c62272601da9d8e2dd26c77
parent333354771c3025f18a4c9da66cd4d5acdee73537 (diff)
ajouts oublies
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--INSTALL6
1 files changed, 6 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 22d4fddcc..de62251d8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -89,6 +89,12 @@ 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"
+-tk-no-x11
+ Build LablTk without using X11. This option is needed on Cygwin.
+
+-no-tk
+ Do not attempt to build LablTk.
+
-verbose
Verbose output of the configuration tests. Use it if the outcome
of configure is not what you were expecting.