From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA07814 for caml-redistribution; Fri, 16 Oct 1998 13:35:01 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA20662 for <caml-list@pauillac.inria.fr>; Fri, 16 Oct 1998 02:54:27 +0200 (MET DST)
Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id CAA28380
	for <caml-list@inria.fr>; Fri, 16 Oct 1998 02:54:25 +0200 (MET DST)
Received: from boron.kurims.kyoto-u.ac.jp (boron.kurims.kyoto-u.ac.jp [130.54.16.65])
	by kurims.kurims.kyoto-u.ac.jp (8.9.1a/3.6W) with SMTP id JAA04033;
	Fri, 16 Oct 1998 09:54:05 +0900 (JST)
Received: (from petersen@localhost) by boron.kurims.kyoto-u.ac.jp (SMI-8.6/3.5Wbeta) id JAA18315; Fri, 16 Oct 1998 09:54:05 +0900
Sender: weis
To: Paul Bristow <paul@cee.hw.ac.uk>
Cc: caml-list@inria.fr
Subject: Re: building ocaml-2.00 with egcs
References: <3624BDB3.82231609@cee.hw.ac.uk>
X-Face: 64N,SZ}bM~X-HZK0w(B)t]7rZ}7_bNq^}A%e7_;~lN3nVJ,50%>pW7y^=\sy2w"7?cu}g@t #JRW\4kvSY8i%OMorx`_I]/5+~db.s\H!)|YE.y#-sFk#]iYRU/w+({~_l-c1uS)s<KHR^vv$2e{OV 6K~1S@^g4GxF`R@0HbB_/Y,0^cEHEFSR0iwdyXwJ,c[7a^2$A_5.x:7C5)^O[,w\Ayq2foSPJ)BPKz 2C2V95sQ!`8Zn+?Su(@Ht}>%;72$Nmv>U)ZeyLBdF#c-i.ECMy9>twG+9Ln$<vWho^=@SrMU6w
X-Attribution: juhp
From: Jens-Ulrik Petersen <petersen@kurims.kyoto-u.ac.jp>
Date: 16 Oct 1998 09:54:05 +0900
In-Reply-To: Paul Bristow's message of "Wed, 14 Oct 1998 16:05:24 +0100"
Message-ID: <lbg1cpnx76.fsf@boron.kurims.kyoto-u.ac.jp>
User-Agent: Gnus/5.070034 (Pterodactyl Gnus v0.34) XEmacs/21.0 (Poitou)

>>>>> "PB" == Paul Bristow <paul@cee.hw.ac.uk> writes:

    PB> Then I did make world and got:

    PB> make[1]: Entering directory
    PB> `/a/azdak/root/depot0/.primary/dsg/local/src/ocaml-2.00/byterun'

    PB> gcc -O -fno-defer-pop -Wall -c interp.c -o interp.o
[:]
    PB> interp.c:983: fixed or forbidden register was spilled.  This
    PB> may be due to a compiler bug or to impossible asm statements
    PB> or clauses.  make[1]: *** [interp.o] Error 1 make[1]: Leaving
    PB> directory
    PB> `/a/azdak/root/depot0/.primary/dsg/local/src/ocaml-2.00/byterun'
    PB> make: *** [coldstart] Error 2

    PB> gcc -v Reading specs from
    PB> /usr/lib/gcc-lib/i586-linux/egcs-2.90.29/specs gcc version
    PB> egcs-2.90.29 980515 (egcs-1.0.3 release)

    PB> I suspect this is the problem.  Has anyone else succesfully
    PB> compiled with egcs?

I could compile 2.00 with the gcc-2.7.2.3-4.2 package of Debian 2.0.
But I successfully built it with Debian egcs-2.90.28-0.1:

	% egcc -v
	Reading specs from /usr/lib/gcc-lib/i486-linux/egcs-2.90.28/specs
	gcc version egcs-2.90.28 980423 (egcs-1.0.3 prerelease)

after applying the following patch posted here earlier:

Index: interp.c
===================================================================
RCS file: /net/pauillac/caml/repository/csl/byterun/interp.c,v
retrieving revision 1.46
diff -c -r1.46 interp.c
*** interp.c	1998/06/23 16:47:02	1.46
--- interp.c	1998/09/04 09:45:39
***************
*** 124,130 ****
  #ifdef __i386__
  #define PC_REG asm("%esi")
  #define SP_REG asm("%edi")
! #define ACCU_REG asm("%ebx")
  #endif
  #if defined(PPC) || defined(_POWER) || defined(_IBMR2)
  #define PC_REG asm("26")
--- 124,130 ----
  #ifdef __i386__
  #define PC_REG asm("%esi")
  #define SP_REG asm("%edi")
! #define ACCU_REG
  #endif
  #if defined(PPC) || defined(_POWER) || defined(_IBMR2)
  #define PC_REG asm("26")

-- 
Jens-Ulrik Holger Petersen  <http://www.kurims.kyoto-u.ac.jp/~petersen/>
Research Institute for Mathematical Sciences, Kyoto University