New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bug OCaml sur linuxPPC #2444
Comments
Comment author: administrator
J'ai pu reproduire le problème. C'est un branchement relatif qui La seule parade connue est de couper les fonctions trop grosses en
|
Comment author: administrator It's an overflow in a relative branch. There's nothing that ocamlopt can |
Comment author: administrator Bonjour, Juste quelques remarques à ce sujet :
Judicaël. PS :coq doesn't build from source on powerpc. Here's an excerpt from the ocamlopt -rectypes -I config -I tools -I scripts -I lib -I kernel -I A full build log is available from
|
Comment author: administrator
Voir ci-dessous.
C'est un argument de mauvaise foi. Tu obtiens une erreur à la
Il n'est pas particulièrement difficile de détecter à la configuration
On peut détecter et contourner le problème lors de la génération de
|
Original bug ID: 106
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
J'ai obtenu l'erreur suivante en compilant un fichier en Ocaml 3.0 sous
LinuxPPC.
L'archive avec le programme est à
ftp://www.lama.univ-savoie.fr/pub/af2/0.5.3/
Il faut aller dans le dossier af2 et faire make (en modifiant
éventuellement le fichier config)
/tmp/camlasm1.s: Assembler messages:
/tmp/camlasm1.s:3750: Error: operand out of range (33360 not between
-32768 and 32767)
/tmp/camlasm1.s:3775: Error: operand out of range (33272 not between
-32768 and 32767)
/tmp/camlasm1.s:3867: Error: operand out of range (32936 not between
-32768 and 32767)
Assembler error, input left in file /tmp/camlasm1.s
--
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex
tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
The text was updated successfully, but these errors were encountered: