Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000310OCamlOCaml generalpublic2001-03-14 03:502001-06-15 21:17
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000310: SunOS support removed in 3.01 ??
DescriptionFull_Name: Jacques Garrigue
Version: 3.01
OS: SunOS 4.1.4
Submission from: orion.kurims.kyoto-u.ac.jp (130.54.16.5)
Submitted by: garrigue


J'ai essaye' de compiler 3.01 sur SunOS, mais ca plante.
Premier probleme, configure ne detecte plus l'absence de memmove.
J'ai regle' ca en ajoutant #define memmove(dst,src,len) (bcopy(src,dst,len))
dans s.h.

Mais meme apres ca, ca plante a` la compilation de pervasives.mli.

clove-stdlib> gdb ../byterun/ocamlrun
GDB is free software and you are welcome to distribute copies of it
 under certain conditions; type "show copying" to see the conditions.
There is absolutely no warranty for GDB; type "show warranty" for details.
GDB 4.14 (sparc-sun-sunos4.1.3),
Copyright 1995 Free Software Foundation, Inc...
(gdb) run ../boot/ocamlc -g -nopervasives -c pervasives.mli
Starting program: /tmp_mnt/staff2/garrigue/Src/ocaml-3.01/stdlib/../byterun/ocamlrun
../boot/ocamlc -g -nopervasives -c pervasives.mli

Program received signal SIGSEGV, Segmentation fault.
0xef503fd4 in zword ()
(gdb) back
#0 0xef503fd4 in zword ()
#1 0x6d30 in getblock ()
#2 0x6dc4 in really_getblock ()
0000003 0x9480 in input_val ()
0000004 0x11eb4 in caml_main ()
0000005 0x314c in main ()

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002233)
administrator (administrator)
2001-03-15 09:17

From: Damien Doligez <Damien.Doligez@inria.fr>

> >Premier probleme, configure ne detecte plus l'absence de memmove.
>
> Euh, il me semble qu'on a dit qu'il fallait un compilo et des
> librairies ANSI C pour compiler O'Caml... donc memmove ne peut pas
> etre absent.

C'est vrai, mais ocaml 3.00 compilait sans probleme.
Et il n'est indique' nulle part que le support de SunOS a ete' abandonne'.
D'ou` la question.

Mais ce qui me tracasse le plus est le deuxieme probleme: qu'est-ce
qui a pu casser au point que ca ne marche plus meme en ajoutant memmove.

    Jacques

(0002234)
administrator (administrator)
2001-03-15 16:10

Bon, alors j'ai essaye sur notre vieux serveur. Resultat des courses:

tobago:~ $ uname -a
SunOS tobago 4.1.2 2 sun4m
tobago:~ $ gcc -v
Reading specs from /usr/local/lib/gcc-lib/sparc-sun-sunos4.1.3/2.7.1/specs
gcc version 2.7.1

Il faut detarer avec gtar car tar ne comprend pas le format de fichier.

Apres ./configure, il faut ajouter
 #define memmove(dst,src,len) bcopy(src,dst,len)
dans s.h (bug de gcc).

Quand je compile sur un disque local, ca marche (avec plein de warnings
"implicit declaration of function `...'").
Quand je compile sur un disque monte depuis un serveur Tru64 (NFS v3),
ca me donne le meme plantage que Jacques (bus error ou segment violation
sur pervasives.mli).
Quand je compile sur un disque monte depuis un serveur SunOS (NFS v2),
ca marche comme en local.

Ca me rappelle un bug d'un autre utilisateur qui avait des fichiers tronques
avec un client Linux et un serveur Sun (SunOS ou Solaris, je ne sais plus)
a cause de NFS.

A mon avis c'est un bug de NFS ou une incompatibilite entre v2 et v3.

-- Damien
(0002235)
administrator (administrator)
2001-03-16 14:46

cumin-ocaml-3.01> uname -a
SunOS cumin 4.1.4 1 sun4m
cumin-ocaml-3.01> gcc -v
Reading specs from /usr/local/lib/gcc-lib/sparc-sun-sunos4.1.3/2.7.2/specs
gcc version 2.7.2

Je confirme comme Damien que ca marche en local (en ajoutant memmove
a` la main). Ca semble bien etre un probleme de NFS, et on vient de
changer pour un serveur NFS non-Sun. Esperons que ca n'aura pas
d'autres consequences.

         Jacques


- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker