Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] make opt.opt => compilation-failure
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-04-18 (11:00)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] make opt.opt => compilation-failure

On Thu, 18 Apr 2002, Sven wrote:

> On Thu, Apr 18, 2002 at 11:38:08AM +0200, Oliver Bandel wrote:
> > Hello,
> > 
> > I have tried to install OCaml 3.04 on a PPC-Linux.
> > 
> > I got problems (compilation-errors (Assembler-Messages))
> > when doing an "make opt.opt".
> > The I tried to do the opt-compilations separetly
> > and there were no problems.
> > After doing that I tried again 2make opt.opt" and it
> > failed again.
> > 
> > What is the problem? Isn't "makr opt.opt" the same
> > as "make ocamlc.opt; make ocamlopt.opt; make ocamllex.opt" ?
> > 
> > Is that a known problem?
> > 
> > Should I send the compilation-output to that list or to
> > a developper, who is specialized on PPC-platforms?
> It is a known problem, fixed in the CVS tree, and i did extract this precise
> fix to add it to the debian ocaml package (btw, which linux distrib do you use
> ?).

I use a suse-linux 7.1.

I may update to a newer one when I have more time.
I normally use tar.gz-files and install it by myself
(I don't know., if suse provides Ocaml-packages).

> Here is the fix as a standalone patch attached.

How to use it?
Can you give me an instruction?

I think I have to use "patch". But whith which options
and how do I use it to pathc the ocaml-sources?

Thanx in Advance,

P.S.: Where is the cvs-tree located (URL) and does it make sense
      genreally to prefer the cvs-distribution? Shouldn't be
      the Ocaml-distribution in tar.gz-format, available from
      the ocaml-pages/inria-ftp be a stable version for all

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: