[Fwd: Rewriting756---termination_Dependency_Pair]

[Per Bergqvist]

Somebody at Erlang systems (Magnus ???) made a port for a project I ran at
Ericsson
'95-'96. The port seemed to work fine but we never finished complete testing
since we choose another platform than Alpha/DigitalUnix.
The basic problem was that Erlang played around with the high bits in pointers

to tag the data types and DigitalUnix used 64 bit pointers by default.
Later on I worked with Digital Unix in another project and realized that you
may force the compiler to use 32 bit pointers.
This is probably the easiest way to get Erlang running.

Regards

Per Bergqvist
CellPoint Systems AB

Thomas Arts wrote:

> Anyone has an answer on one of the questions below?
>
> /Thomas
>
>   ------------------------------------------------------------------------
>
> Subject: Re: Rewriting756---termination_Dependency_Pair
> Date: Tue, 8 Feb 2000 15:13:15 +0100 (MET)
> From: Bernhard Gramlich <gramlich@REDACTED>
> To: Thomas Arts <thomas@REDACTED>
>
> Dear Thomas,
>
> some weeks ago I've seen your announcement in the rewriting list
> (concerning the second release of the implementation of the Dependency
> Pair method). Since I would like to experiment a bit with your system,
> run examples etc., I recently started to install the underlying Erlang
> here. However, this was rather unsuccessful: The problem is most
> probably due to our machine(s) here, Dec alpha with osf1 (for which
> Erlang was/is not prepared)!? Hence my questions:
> (1) Is there any hope that an Erlang version for osf1 will be
>     available in the near future? (I would rather guess "no"!?)
> (2) How much disk space, roughly, does Erlang need (for installation +
>     usage) on a linux machine? If this is not too huge an amount I'll
>     try to install it (with your tool) at home on my laptop (running
>     with redhat linux).
>
> Best regards,
> Bernhard.