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 ?
Date: Fri, 5 Mar 1999 14:28:24 +0100 [thread overview]
Message-ID: <19990305142824.58197@pauillac.inria.fr> (raw)
In-Reply-To: <19990304103825.E18070@maxime.u-strasbg.fr>; from Sven LUTHER on Thu, Mar 04, 1999 at 10:38:25AM +0100
[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
next prev parent reply other threads:[~1999-03-08 7:40 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-03-04 9:38 Sven LUTHER
1999-03-05 13:28 ` Xavier Leroy [this message]
1999-05-05 7:34 ` Sven LUTHER
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=19990305142824.58197@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=luther@dpt-info.u-strasbg.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox