Re: [isabelle] RC3 startup problem on Scientific Linux



On Sun, 20 May 2012, Bill Richter wrote:

  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

2.6 is the Linux kernel version. From the date it is probably SL 5.x, see also http://en.wikipedia.org/wiki/Scientific_Linux

Anyway, I have convinced myself that there is nothing special about Scientific Linux, it is just another RHEL derivative. Current 6.2 works out of the box with Isabelle2012-RC3.

Note that Wikipedia has this laconic comment on SL:

  The name Scientific Linux is actually a misnomer, in that it does not
  contain scientific software and was named instead for the labs that make
  it.


	Makarius





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