Path: neptune!arp.anu.edu.au!reasoning-owner@arp.anu.edu.au
Posted-Date: Tue, 29 Jan 91 23:23:08-0100
Date: Tue, 29 Jan 91 23:23:08-0100
Message-ID: <9101300023.AA26857@esat.kuleuven.ac.be>
From: ploegaer@chaos.imec.be
Original-To: info-hol@iris.ucdavis.edu
Subject: hol-akcl
Original-Resent-To: reasoning-people
Original-Resent-Reply-To: ploegaer@chaos.imec.be
Newsgroups: anu.reasoning
Distribution: anu
Sender: postmaster@arp.anu.edu.au
Approved: anu.reasoning@arp.anu.edu.au


Hi!

  did anybody manage to compile HOL with AKCL Version 1.505 under ULTRIX 4.1
on a DEC3100? I'm having problems with a "bad structure offset" when 
compiling f-thyfns.c  and f-tml.c. Even changing the MIPS_ROUND in 
c/unixfasl_sgi.c to 0xCC, 0xCCC or 0xCCCC (idea from Bill Schelter as 
John Van Tassel mailed me) didn't help. 

			     Any ideas/solutions?

				 Thanks!

				      Wim Ploegaerts (ploegaer@imec.be)