summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-04 07:20:31 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-04 07:20:31 +0000
commit4e22da7edc603d9f0862aae230383906385de6b6 (patch)
treea116f9f5ded2bc188f5a3af11ba927f386f60fe3
parent8e6f2a8b75aa4a84abfa217f40ab6483898bc1ee (diff)
ajout de -Wl dans -tklibs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3036 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--INSTALL6
1 files changed, 3 insertions, 3 deletions
diff --git a/INSTALL b/INSTALL
index b5bdb24d5..59bbe5303 100644
--- a/INSTALL
+++ b/INSTALL
@@ -74,9 +74,9 @@ The "configure" script accepts the following options:
-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.
+ the C libraries. "-tklibs" may contain either only -L/path and
+ -Wl,... 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"