Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml install and MacOS X
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] OCaml install and MacOS X
From: Laurent Chéno <>

> I can't install completly OCaml : LablTk will not be built ... Is there 
> a solution ?
> (I had installed XTools from Tenon and glib-gtk (from Tenon too).)
> Thanks you in advance,
> Laurent
> ...
> Replay debugger supported.
> Threads library supported (using bytecode-level scheduling).
> Location of X11 include files: /usr/X11R6/include/X11
> Options for linking with X11: -ccopt -L/usr/X11R6/lib -cclib -lX11
> NDBM found (in /usr/include)
> Configuring LablTk...
> tcl.h not found.
> Configuration failed, LablTk will not be built.

Extrait de ocaml-3.01/INSTALL:

-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 and
        -Wl,... flags, in which case the library names are determined
        automatically, or the actual libraries, which are used as given. 

Si configure ne trouve pas tcl.h ou, il faut lui passer les
arguments -tkdefs ou -tklibs appropries.
J'ignore ou` XTools les installe, mais une fois que vous aurez trouve'
les repertoires concernes, la compilation devrait se passer sans
Si ca ne marche toujours pas, envoyez-moi le resultat de
./configure -verbose

Une remarque quand meme: Tcl/Tk et Glib/Gtk sont deux bibliotheques
qui n'ont rien a` voir. J'espere que vous etes corrects quand vous
dites que Tcl/Tk est inclus dans XTools.
Pour Gtk, vous pouvez installer LablGTK.


Jacques Garrigue
To unsubscribe, mail  Archives: