From @sun.tfl.dk:fa@sun.tfl.dk  Thu Apr  5 02:22:24 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA01122; Thu, 5 Apr 90 02:22:24 PDT
Received: from danpost.uni-c.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05253; Thu, 5 Apr 90 02:26:54 PDT
Received: from vms2.uni-c.dk by danpost.uni-c.dk (5.61/4.7)
        id AA02930; Thu, 5 Apr 90 09:23:42 GMT
Return-Path: fa <@sun.tfl.dk:fa@sun.tfl.dk>
Received: from tfl.dk by vms2.uni-c.dk; Thu, 5 Apr 90 11:22 GMT+2
Received: from sun0.tfl.dk by tfl.dk; Thu, 5 Apr 90 11:21 +0100
Received: from sun1 by sun0.tfl.dk with SMTP (5.61++/IDA-1.2.8) id AA03550;
 Thu, 5 Apr 90 11:22:39 +0200
Received: by sun1.tfl.dk (5.61++/IDA-1.2.8) id AA03951; Thu, 5 Apr 90 11:20:52
 +0200
Date: Thu, 5 Apr 90 11:20:52 +0200
From: fa@tfl.dk
Subject: Re:  Trouble in creating Libraries for Version 1.11
To: info-hol@CLOVER.UCDAVIS.EDU, kumar@ira.uka.de
Message-Id: <9004050920.AA03951@sun1.tfl.dk>

Hi Kumar,

We had the same problem some time ago. To make all the libraries available
for the load_library function, you have to change the respective makefiles
to make fast loadable *_ml.o files.

The library Makefiles to change are in:
        quotient, auxiliary, set, convert, well_order, card, zet and eval

PS. I can send you the Makefiles if you want them.

Flemming (fa@tfl.dk)

