From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA07771 for caml-red; Wed, 7 Feb 2001 22:08:21 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA15496 for ; Tue, 6 Feb 2001 19:01:36 +0100 (MET) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f16I1a915758 for ; Tue, 6 Feb 2001 19:01:36 +0100 (MET) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id TAA14506; Tue, 6 Feb 2001 19:00:29 +0100 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.22 #1 (Debian)) id 14QCQ1-00037j-00; Tue, 06 Feb 2001 19:00:45 +0100 Date: Tue, 6 Feb 2001 19:00:45 +0100 To: Jacques Garrigue Cc: pronnquist@yahoo.com, caml-list@inria.fr Subject: Re: compilation of lablgl examples. Message-ID: <20010206190045.A11976@lambda.u-strasbg.fr> References: <20010203223536.8834.qmail@web1301.mail.yahoo.com> <20010206113416M.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.12i In-Reply-To: <20010206113416M.garrigue@kurims.kyoto-u.ac.jp>; from garrigue@kurims.kyoto-u.ac.jp on Tue, Feb 06, 2001 at 11:34:16AM +0900 From: Sven LUTHER Sender: weis@pauillac.inria.fr On Tue, Feb 06, 2001 at 11:34:16AM +0900, Jacques Garrigue wrote: > From: Peter Ronnquist > > > I have a problem with compiling the laglgl examples. I > > can run them with the top level: > > lablgl -labels simple.ml > > > > but > > > > ocamlc -I /usr/lib/ocaml/labltk -I > > /usr/lib/ocaml/lablGL -I /usr/lib/labltk.cma > > lablgl.cma togl.cmo simple.ml -o program > > > > gives the following output: > > /usr/bin/ld: cannot find -ltk8.0 > > collect2: ld returned 1 exit status > > Error while building custom runtime system > > > > I have libtk8.0.so.1 in /usr/lib > > so I guess that the library really should be found, > > also the fact that the toplevel works seems to support > > that this library indeed is existing and usable. > > At link time you also need a symbolic link libtk8.0.so -> libtk8.0.so.1. > Is it there? > Did you compile lablgl yourself, and how di you modify the Makefile? > The only reason I see is that you would have used a package which > only requires the runtime of tcltk, and not the developper > environment. I think the problem is already solved. He was using the debian package of it, and had not installed the developpment package of tcl/tk. I am adding them as dependencies for the next package. Friendly, Sven Luther