Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 15 Apr 1994 09:36:22 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA19355;
          Fri, 15 Apr 1994 02:16:21 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from gmdzi.gmd.de by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) 
          id AA19351; Fri, 15 Apr 1994 02:16:13 -0600
Received: from borneo.gmd.de (borneo) by gmdzi.gmd.de with SMTP 
          id AA10377 (5.65c8/IDA-1.4.4 for <info-hol@leopard.cs.byu.edu>);
          Fri, 15 Apr 1994 10:16:35 +0200
Received: from borneo.gmd.de by borneo.gmd.de with SMTP 
          id AA24413 (5.67b8/IDA-1.5); Fri, 15 Apr 1994 10:16:30 +0200
Message-Id: <199404150816.AA24413@borneo.gmd.de>
To: Elsa Gunter <elsa@research.att.com>
Cc: info-hol@leopard.cs.byu.edu
From: Matthew Morley <morley@gmd.de>
Subject: Re: hol90 on a PC under LINUX
In-Reply-To: Your message of "Thu, 14 Apr 94 20:27:00 +0100." <m0prW8F-000015C@tiree.research.att.com>
Date: Fri, 15 Apr 94 10:16:29 +0200

Dear Hol90 maintainers,

Please don't use System.Directory.getWD to set HOLdir when making the
system, use a command line option instead. And please remove Lib.pwd
from the system, as code like:

echo 'new_library'\
     '{name = "mutrec",'\
     'doc = "Mutually recursive type definition library, by E. Gunter",'\
     'path = pwd()^"/",'\   ...}
      ^^^^^^^^^^^^

eventually `breaks' on most (all?) distributed systems running NFS.

Thanks,

M