Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <15035-0@swan.cl.cam.ac.uk>; Fri, 10 Jan 1992 09:02:57 +0000
Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA16890;
          Fri, 10 Jan 92 00:49:09 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34)
          id AA16886; Fri, 10 Jan 92 00:49:04 -0800
Received: from pochard.cl.cam.ac.uk by swan.cl.cam.ac.uk
          with SMTP (PP-6.0) to cl id <14581-0@swan.cl.cam.ac.uk>;
          Fri, 10 Jan 1992 08:43:13 +0000
To: info-hol@edu.uidaho.cs.ted
Cc: Juanito.Camilleri@uk.ac.cam.cl
Subject: HOL on Solbourne S4000
Date: Fri, 10 Jan 92 08:43:09 +0000
From: Juanito.Camilleri@uk.ac.cam.cl
Message-Id: <"swan.cl.ca.583:10.00.92.08.43.15"@cl.cam.ac.uk>

Hi,

Is anyone out there using a SPARC-compatible Solbourne S4000 to run
HOL jobs?

  * If so, please give me some feedback
    re: performance running HOL jobs, compatibility with SUN SPARCS,
    and ease of building HOL on such machines.

  * If not, can you envisage any major problems doing so?

I am thinking of buying a machine and have been quoted a very good
price for a Solbourne S4000. A SUN SPARC IPX will cost me half as
much again. I would rather not spend the extra money unless I have
a good reason to. Having said this, if buying a Solbourne will cause
me a great deal of pain then I will buy a SUN.

Any comments and advice will be appreciated.


Many thanks

Juanito