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 XAA27272 for caml-red; Wed, 7 Feb 2001 23:09:59 +0100 (MET) 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 NAA26486 for ; Wed, 7 Feb 2001 13:09:31 +0100 (MET) Received: from web1301.mail.yahoo.com (web1301.mail.yahoo.com [128.11.23.151]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f17C9U915396 for ; Wed, 7 Feb 2001 13:09:30 +0100 (MET) Received: (qmail 19409 invoked by uid 60001); 7 Feb 2001 12:09:29 -0000 Message-ID: <20010207120929.19408.qmail@web1301.mail.yahoo.com> Received: from [213.64.99.135] by web1301.mail.yahoo.com; Wed, 07 Feb 2001 04:09:29 PST Date: Wed, 7 Feb 2001 04:09:29 -0800 (PST) From: Peter Ronnquist Subject: Re: compilation of lablgl examples. To: Jacques Garrigue Cc: caml-list@inria.fr In-Reply-To: <20010206113416M.garrigue@kurims.kyoto-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: weis@pauillac.inria.fr --- 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. > > Jacques Garrigue > --------------------------------------------------------------------------- > Jacques Garrigue Kyoto University garrigue > at kurims.kyoto-u.ac.jp >