summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-30 16:07:38 +0000
commit296fc0547052da47bf0e983cab1ce173fa1e8882 (patch)
tree27f621f1e06d4f6493c88993969c4638861390d7 /INSTALL
parentca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff)
downloadocaml-296fc0547052da47bf0e983cab1ce173fa1e8882.tar.gz
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL12
1 files changed, 12 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index a24cfa858f..50f985513c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -69,6 +69,18 @@ The "configure" script accepts the following options:
It will *not* work under Digital Unix 3.2 or earlier, SunOS 4,
HPUX, AIX, nor Linux without LinuxThreads.
+-tkdefs <cpp flags> (default: none)
+-tklibs <flags and libraries> (default: determined automatically)
+ These options specify where to find the Tcl/Tk libraries for
+ LablTk. "-tkdefs" helps to find the headers, and "-tklibs"
+ the C libraries. "-tklibs" may contain either only -L/path flags,
+ in which case the library names are determined automatically,
+ or the actual libraries, which are used as given.
+ Example: for a Japanese tcl/tk whose headers are in specific
+ directories and libraries in /usr/local/lib, you can use
+ ./configure -tklibs "-L/usr/local/lib -ltk8.0jp -ltcl8.0jp"
+ -tkdefs "-I/usr/local/include/tcl8.0jp -I/usr/local/include/tk8.0jp"
+
Examples:
./configure -prefix /usr/bin
./configure -bindir /usr/bin -libdir /usr/lib/ocaml -mandir /usr/man/manl