Re: [isabelle] RC3 startup problem on Scientific Linux



Thanks, Makarius!  BTW I had this error in RC2 but was too
disorganized to post a bug report.  My info here isn't going to be
great, because I'm on the 64-bit machine, but

   Which version of Scientific Linux do you have?

I don't know how to figure that out.  I tried this:

(poisson)richter> uname -a
Linux poisson.math.northwestern.edu 2.6.32-220.4.1.el6.x86_64 #1 SMP Mon Jan 23 17:20:44 CST 2012 x86_64 x86_64 x86_64 GNU/Linux

Does that say SL version 2.6?

   Which version of libc is it?  E.g. what is the symlink:
   /lib/libc.so.6 -> libc-2.11.1.so  # Ubuntu 10.04 LTS

(poisson)richter> ls -al /lib/libc.so.6
lrwxrwxrwx. 1 root root 12 Jan 26 06:11 /lib/libc.so.6 -> libc-2.12.so*

I think it's a glibc problem.  The error message was about glibc 2.7,
and I checked: I have glibc 2.5.  I can try to install a later rpm.

   ... use the x86_64 version of the Isabelle distribution.

I'm sorry, I didn't see any such option on 

  http://isabelle.in.tum.de/website-Isabelle2012-RC3

It just says 

# Download for 32-bit Linux
# Download for Mac OS X
# Download for Windows

-- 
Best,
Bill 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.