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 IAA04944 for caml-redistribution; Mon, 8 Mar 1999 08:40:43 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA19205 for <caml-list@pauillac.inria.fr>; Fri, 5 Mar 1999 14:28:32 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id OAA19123;
	Fri, 5 Mar 1999 14:28:25 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA10162; Fri, 5 Mar 1999 14:28:25 +0100 (MET)
Message-ID: <19990305142824.58197@pauillac.inria.fr>
Date: Fri, 5 Mar 1999 14:28:24 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: luther@dpt-info.u-strasbg.fr, caml-list@inria.fr
Subject: Re: compilateur natif pour architectures sparc/linux et m68k/linux ?
References: <19990304103825.E18070@maxime.u-strasbg.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Mailer: Mutt 0.89.1
In-Reply-To: <19990304103825.E18070@maxime.u-strasbg.fr>; from Sven LUTHER on Thu, Mar 04, 1999 at 10:38:25AM +0100
Sender: weis

[English summary: ocamlopt is supported under Linux/Sparc, just configure with
 --host sparc-unknown-linux]

> Je prevois d'installer Debian GNU/Linux sur ma station Sparc
> prochainement, et je me demandais quels etait les chances de voir
> ocaml supporter linux/sparc pour le compilateur natif.

Eh bien, c'est déjà fait (depuis la version 2.00).  Je n'ai pas
re-testé le portage récemment, mais je pense qu'il tourne encore.

> je n'ai pas pus compiler ocamlopt avec GNU ar sur solaris/sparc, avec un
> message disant que le flag -D_SYS_SOLARIS n'etait pas supporte par GNU ar.

Ce doit être "as" et non pas "ar".  Le script de configuration tourne
autour de ce problème à condition que le type de machine soit
"sparc-<n'importequoi>-linux".  C'est ce que renvoyait
config/auto-aux/config.guess sur l'install RedHat 4.2 que j'avais
utilisée.  Si config.guess renvoie autre chose, vous pouvez forcer
manuellement le type de machine par

        configure --host sparc-unknown-linux

et m'envoyer le résultat de config/auto-aux/config.guess pour que je
mette à jour le script de config.

> Meme question en ce qui concerne linux/m68k, il existe deja un compilateur
> natif pour sunos/m68k ...

Cela devrait être trivial si, comme SunOS, Linux/M68k utilise la
syntaxe MIT de l'assembleur et préfixe les identificateurs par '_'.
Sinon, il y a un peu plus de travail.  Mais nous n'avons pas de
machine Linux/M68k ici pour tester.

- Xavier Leroy