[Gcl-devel] Re: GCL installation issue

[Matt Kaufmann]

Thank you.  I couldn't find tk8.2 binary packages for Redhat.  I also couldn't
figure out what to do with the .rpm I downloaded, even to unpack it
sufficiently to be able to use ./configure.  And, all of the 2.5.0 downloads
seemed to be .rpm or .deb.  But then I noticed
http://ftp.gnu.org/gnu/gcl/cvs/HOWTO-UNPACK-DEBS, so I fetched
http://ftp.gnu.org/gnu/gcl/cvs/gcl_2.5.0.cvs20020625-56_i386.deb and
(basically) folled the instructions.  Amazingly (to me), the binary provided
there seems to work perfectly with Redhat 7.3!  So, I'm happy.  Thanks!

>> No apologies necessary!  We've been needing to clean up our website
>> for some time.  Volunteers?

I think an FAQ might be nice.  I could rewrite the paragraph above and
contribute that, if you think there's a place for an FAQ.

Thanks --
-- Matt
   cc: address@hidden
   From: Camm Maguire <address@hidden>
   Date: 07 Oct 2002 10:44:12 -0400

   Greetings!

   Matt Kaufmann <address@hidden> writes:

   > Hi --
   > 
   > I apologize in advance if there is somewhere else I should send this 
email.  
   > I went to http://www.gnu.org/software/gcl/gcl.html and
   > http://www.ma.utexas.edu/users/wfs/pub/gcl/ but didn't see any sort of FAQ 
or
   > email list or newsgraoup for obtaining GCL help.  (Is there such a place?)
   > 

   No apologies necessary!  We've been needing to clean up our website
   for some time.  Volunteers?

   > I've recently gotten Redhat Linux 7.3 on my laptop.  I also obtained
   > gcl-2.5.0.  But when I tried to install it, I got this error:
   > 
   >  address@hidden apps]# rpm -ivh gcl-2.5.0.cvs20020625-54.i386.rpm
   >  error: failed dependencies:
   >     libtcl8.2.so.1   is needed by gcl-2.5.0.cvs20020625-54
   >     libtk8.2.so.1   is needed by gcl-2.5.0.cvs20020625-54
   > 
   > Apparently Redhat 7.3 comes with newer versions of these libraries.  I'm 
quite
   > ignorant about such matters.  I thought that maybe all I would need to do 
is to
   > create soft links, but as you can see below, that didn't work.  Any 
suggestions
   > would be much appreciated.  It would be great to be able to release a new 
ACL2
   > image built on GCL/Redhat.
   > 

   tk8.2 is indeed not binary compatible with tk8.3.  On Debian one can
   install both libraries on the system without interference.  I know
   this is possible on Redhat too, though they might not provide tk8.2
   binary packages.  In case they do, please try installing and seeing if
   my rpm works -- its just generated from the .deb via alien.  If tk8.2
   is not an option, you can of course rebuild on the box in question.
   You can disable the tk entirely (I think) with --disable-tkconfig.
   Check out ./configure --help.

   In any case, there is no need for us not to use the latest tk.  I'll
   try to make the next set of binaries use 8.3

   Beyond this, we are in great need, IMHO, to come up with a general
   scheme for using 3rd party libraries.  readline, gmp, bfd, and tk are
   already in -- mpi, blas, and lapack are straightforward additions.  I
   think we need modules which one can (load in such a fashion as to
   simultaneously dlopen the shared lib.  I'm thinking along the lines of
   adding an indicator at the end of each .o, much like the .data
   information currently there, specifying which libraries are
   referenced.  Then before fasloading, one will dlopen the lib, and add
   its symbols to the bfd hash table to handle the module's relocations.
   Saving the image will then (I hope) show a permanent dynamic link to
   the newly accessed lib with the module image stored in the lisp core.
   Using the alternate LINK method, one can easily make such a new image
   from within lisp, but then one has the inconvenience of stopping and
   restarting the image.  Thoughts/discussion welcome.



   >  address@hidden kaufmann]# cd /usr/lib
   >  address@hidden lib]# ls -l /usr/lib/libtcl*
   >  lrwxrwxrwx    1 root     root           11 Sep 25 16:23 
/usr/lib/libtcl8.3.so -> libtcl.so.0
   >  lrwxrwxrwx    1 root     root           11 Sep 25 16:23 
/usr/lib/libtcl.so -> libtcl.so.0
   >  -r-xr-xr-x    1 root     root       580122 Feb 28  2002 
/usr/lib/libtcl.so.0
   >  -rw-r--r--    1 root     root         1784 Feb 28  2002 
/usr/lib/libtclstub.a
   >  address@hidden lib]# ln -s libtcl.so.0 libtcl8.2.so.1
   >  address@hidden lib]# ls -l /usr/lib/libtk*
   >  lrwxrwxrwx    1 root     root           10 Sep 25 16:24 
/usr/lib/libtk8.3.so -> libtk.so.0
   >  lrwxrwxrwx    1 root     root           10 Sep 25 16:24 /usr/lib/libtk.so 
-> libtk.so.0
   >  -r-xr-xr-x    1 root     root       773154 Feb 28  2002 
/usr/lib/libtk.so.0
   >  -rw-r--r--    1 root     root         3258 Feb 28  2002 
/usr/lib/libtkstub.a
   >  address@hidden lib]# ln -s libtk.so.0 libtk8.2.so.1
   >  address@hidden lib]# pwd
   >  /usr/lib
   >  address@hidden lib]# cd ~kaufmann
   >  address@hidden kaufmann]# cd apps
   >  address@hidden apps]# pwd
   >  /home/kaufmann/apps
   >  address@hidden apps]# ls
   >  gcl-2.4.0  gcl-2.4.0.tar  gcl-2.5.0.cvs20020625-54.i386.rpm
   >  address@hidden apps]# rpm -ivh gcl-2.5.0.cvs20020625-54.i386.rpm
   >  error: failed dependencies:
   >     libtcl8.2.so.1   is needed by gcl-2.5.0.cvs20020625-54
   >     libtk8.2.so.1   is needed by gcl-2.5.0.cvs20020625-54
   >  address@hidden apps]# 
   > 
   > Thanks --
   > -- Matt
   > 
   > 

   -- 
   Camm Maguire                                         address@hidden
   ==========================================================================
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah