[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Referring to PVS and PVS on Linux



   From: =?ISO-8859-1?Q?Pertti_Kellom=E4ki?= <pk@cs.tut.fi>
   Date: Wed, 10 Dec 2003 13:32:18 +0200

   My second question concerns SUSE Linux. Can anyone confirm
   whether PVS runs or not on SUSE? Now that Red Hat Linux
   is being phased away, I am looking at SUSE as a potential
   candidate.

PVS 3.1 runs fine under SuSE (7.2, 7.3, and 8.2; I haven't tried 9.0 yet but
will be shocked if it doesn't work).

I have generally found SuSE to be a higher quality distribution than RedHat,
and compatibility hasn't been a problem.  I use SuSE exclusively now.

-- Scott