From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA13421; Sun, 13 May 2001 16:41:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA13412 for ; Sun, 13 May 2001 16:41:47 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4DEfg123738 for ; Sun, 13 May 2001 16:41:42 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id QAA01194 for ; Sun, 13 May 2001 16:41:43 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4DEff123734 for ; Sun, 13 May 2001 16:41:41 +0200 (MET DST) Received: from lambda.u-strasbg.fr (mail@lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id QAA31953; Sun, 13 May 2001 16:41:28 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.22 #1 (Debian)) id 14yx5Z-0000Pa-00; Sun, 13 May 2001 16:43:17 +0200 Date: Sun, 13 May 2001 16:43:17 +0200 To: Jacques Garrigue Cc: laurent.cheno@noos.fr, caml-list@margaux.inria.fr Subject: Re: [Caml-list] OCaml install and MacOS X Message-ID: <20010513164317.A1575@lambda.u-strasbg.fr> References: <200105120611.f4C6BNb00675@concorde.inria.fr> <20010513115525J.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.3.17i In-Reply-To: <20010513115525J.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Sun, May 13, 2001 at 11:55:25AM +0900 From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, May 13, 2001 at 11:55:25AM +0900, Jacques Garrigue wrote: > 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 (default: none) > -tklibs (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 libtcl.so, 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 > probleme. > 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. mmm, je ne croit pas que gtk+ soit deja porter nativement sur macOS X. Il est toujours possible de lancer un serveur X sous macosX (il doit y en avoir au moins 2 d'existant, dont un baser sur xfree86), et de compiler gtk+ sur cela, mais je ne pense pas que gdk soit deja porter sous macOSX. Je peut me tromper cependant. Amicalement, Sven Luther ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr