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 PAA12247 for caml-redistribution; Thu, 19 Nov 1998 15:22:20 +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 JAA09302 for ; Thu, 19 Nov 1998 09:20:53 +0100 (MET) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id JAA22442; Thu, 19 Nov 1998 09:20:45 +0100 (MET) Received: (from aschmitt@localhost) by margaux.inria.fr (8.7.6/8.7.3) id JAA19537; Thu, 19 Nov 1998 09:20:46 +0100 (MET) From: Alan Schmitt Message-Id: <199811190820.JAA19537@margaux.inria.fr> Subject: Re: OCaml sous Be ? Manuel en francais ? In-Reply-To: <365295C3.EE445D0E@math.unice.fr> from Vyskocil Vladimir at "Nov 18, 98 10:39:15 am" To: vyskocil@math.unice.fr (Vyskocil Vladimir) Date: Thu, 19 Nov 1998 09:20:46 +0100 (MET) Cc: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis J'ai aussi compile Oaml2.0 sous la R4 x86, mais j'ai rencontre un autre probleme que celui de la librairie mathematique. Il semble que l'allocation des registres ne se passe pas de la meme maniere avec gcc et egcs, or le compilateur c de be est egcs ... sous le nom gcc, ce qui pose probleme dans l'allocation manuelle de certains registres dans le fichier byterun/interp.c (mettre ces allocations en commentaires permet d'eviter que ocamlrun fasse une seg fault). J'ai commence a porter la librairie graphique, ce qui devrait se faire assez rapidement (si je trouve le temps bien sur :) Par contre je n'ai pas verifie si la librairie unix fonctionne bien, Be n'etant pas completement posix de la derniere generation (il y a par exemple un probleme avec le select), mais cela devrait etre regle des la R5. Alan Schmitt > Sylvain Kerjean wrote: > Un ami a compile tres facilement Ocaml2.0 sous BeOS x86 version 4 qui > maintenant utilise le compilateur GCC. Il me semble qu'il a utilise > l'architecture linux-i586 pour faire marcher la configuration avant > de lancer le makefile. Le seul probleme est que BeOS n'a pas l'air > d'avoir de librairie mathematiques separee donc il faut enlever l'option > -lm dans le makefile genere. Il pourra peut etre envoyer un patch pour > le makefile qui pourrait etre ajoute a la distribution officielle ? > (hein > Serge :-) > > -- > Vyskocil Vladimir > vyskocil@math.unice.fr > http://pcmath65.unice.fr/~vyskocil > http://www.inria.fr/safir/WHOSWHO/Vladimir.html > >