cerhu > comp.lang.* > comp.lang.caml

L'equipe fr-chartes (17/12/2006, 12h51)
Archive-Name: fr/chartes/comp.lang.caml

Bonjour,

Le groupe fr.comp.lang.caml a été créé le 31/07/2001 à 22:30:09.

Le bon fonctionnement de ce groupe étant dépendant uniquement de cette
charte, il est demandé à tout futur contributeur de ce groupe de bien
vouloir la lire pour que les messages à publier puissent s'y conformer.

-=-=-=-=-=-=-=-=-=-=-=-=-=-
------------------------------------------------------------------------
Charte du forum
------------------------------------------------------------------------

NOM : fr.comp.lang.caml
STATUT : Non Modéré
DESCRIPTION : Caml et autres langages de programmation ML.
LANGUE : Français

Ce groupe est dédié aux discussions autour du langage Caml (CamlLight,
OCaml...). Les autres langages de la famille ML seront aussi les
bienvenus, sauf dans le cas de la création d'un groupe plus approprié.

On trouvera notamment :

- des échanges de point de vue, de techniques de programmation, des
sources, des commentaires.

- des questions précises résolues éventuellement par les usagers du
groupe. Questions issues soit de personnes compétentes visant à
résoudre des problèmes très pointus, mais aussi des questions de
débutants visant à améliorer ou approfondir leurs connaissances.
On pourra entre autres discuter d'exercices ou de sujets d'examens
posés à des étudiants les en faisant part au forum. (À l'image des
groupes fr.education.entraide.*, on exigera dans ce cas les
recherches de l'auteur, et les fils lancés par un énoncé seul
seront boycottés.)

- des informations générales sur les langages de programmation
(adresses de sites, critique de produits commerciaux).

Il est préférable, s'il est nécessaire d'échanger des sources de plus
d'une centaine de lignes, d'indiquer une référence HTML ou FTP, ou de
proposer un envoi perso par mail.

On rappelle aussi que les règles de bon usage détaillées dans la
Netiquette et l'ensemble des DOC postées sur fr.bienvenue sont
appliquables dans ce forum. Étant donné son caractère multi-langage,
l'emploi des balises, si le sujet est spécifique, est également
préconisé, e.g. "[OCaml] Comment inclure un fichier ?".

-=-=-=-=-=-=-=-=-=-=-=-=-=-
david.hatanian (17/01/2007, 20h53)
Bonjour,

Etant étudiant en classes préparatoire j'utilise CAMLLIGHT lors de
mes cours d'info. Malheureusement sur mon PC Caml-light 0.75 refuse de
compiler, voici le message renvoyé par "make configure" puis "make
world":

dizzi@dizzi:~/cl75/src$ make configure
cd ../config; sh autoconf "gcc -fno-defer-pop -D__FAVOR_BSD "
Checking the sizes of integers and pointers...
sizes.c: In function 'main':
sizes.c:5: warning: incompatible implicit declaration of built-in
function 'printf'
Wow! A 64 bit architecture!
schar.c: In function 'main':
schar.c:6: warning: incompatible implicit declaration of built-in
function 'exit'
The char type is signed. Good!
endian.c: In function 'main':
endian.c:20: warning: incompatible implicit declaration of built-in
function 'exit'
This is a little-endian architecture.
align.c: In function 'main':
align.c:87: warning: incompatible implicit declaration of built-in
function 'exit'
This architecture has no alignment constraints.
dblalign.c: In function 'main':
dblalign.c:36: warning: incompatible implicit declaration of built-in
function 'exit'
Doubles can be word-aligned.
bytecopy.c: In function 'main':
bytecopy.c:11: warning: incompatible implicit declaration of built-in
function 'memmove'
bytecopy.c:12: warning: incompatible implicit declaration of built-in
function 'exit'
Function "memmove" is provided and handles overlapping moves correctly.
bytecopy.c: In function 'main':
bytecopy.c:11: warning: incompatible implicit declaration of built-in
function 'bcopy'
bytecopy.c:12: warning: incompatible implicit declaration of built-in
function 'exit'
Function "bcopy" is provided and handles overlapping moves correctly.
bytecopy.c: In function 'main':
bytecopy.c:11: warning: incompatible implicit declaration of built-in
function 'memcpy'
bytecopy.c:12: warning: incompatible implicit declaration of built-in
function 'exit'
The return type for signal handlers appears to be "void".
Signals have the BSD semantics.
rename() found.
You have BSD sockets.
unistd.h found.
dirent.h found.
lockf() found.
mkfifo() found.
getcwd() found.
getwd() found.
getpriority() found.
utime() found.
utimes() found.
dup2() found.
fchmod() found.
truncate() found.
select() found.
symlink() found.
wait3() found.
waitpid() found.
getgroups() found.
POSIX termios found.
async_io.c: In function 'main':
async_io.c:35: warning: incompatible implicit declaration of built-in
function 'exit'
Asynchronous I/O are supported.
setitimer() found.
gethostname() found.
uname() found.
gettimeofday() found.

dizzi@dizzi:~/cl75/src$ make world
cd runtime; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" LIBS=""
all
make[1]: entrant dans le répertoire « /home/dizzi/cl75/src/runtime »
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o interp.o interp.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o misc.o misc.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o stacks.o stacks.c
stacks.c: In function 'realloc_arg_stack':
stacks.c:56: warning: incompatible implicit declaration of built-in
function 'memmove'
stacks.c: In function 'realloc_ret_stack':
stacks.c:90: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o fix_code.o fix_code.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o main.o main.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o fail.o fail.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o signals.o signals.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o debugcom.o debugcom.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o freelist.o freelist.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o major_gc.o major_gc.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o minor_gc.o minor_gc.c
minor_gc.c: In function 'oldify':
minor_gc.c:65: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o memory.o memory.c
memory.c: In function 'expand_heap':
memory.c:66: warning: incompatible implicit declaration of built-in
function 'memmove'
memory.c:78: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o alloc.o alloc.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o roots.o roots.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o compare.o compare.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o ints.o ints.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o floats.o floats.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o str.o str.c
str.c: In function 'blit_string':
str.c:49: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o io.o io.c
io.c: In function 'putblock':
io.c:137: warning: incompatible implicit declaration of built-in
function 'memmove'
io.c:141: warning: incompatible implicit declaration of built-in
function 'memmove'
io.c: In function 'getblock':
io.c:278: warning: incompatible implicit declaration of built-in
function 'memmove'
io.c:282: warning: incompatible implicit declaration of built-in
function 'memmove'
io.c:290: warning: incompatible implicit declaration of built-in
function 'memmove'
io.c: In function 'input_scan_line':
io.c:370: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o extern.o extern.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o externcp.o externcp.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o intern.o intern.c
intern.c: In function 'expand_block':
intern.c:194: warning: incompatible implicit declaration of built-in
function 'memmove'
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o interncp.o interncp.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o hash.o hash.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o sys.o sys.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o meta.o meta.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o parsing.o parsing.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o lexing.o lexing.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o gc_ctrl.o gc_ctrl.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -c -o prims.o prims.c
gcc -O2 -fno-defer-pop -D__FAVOR_BSD -I.. -o camlrun prims.o interp.o
misc.o stacks.o fix_code.o main.o fail.o signals.o debugcom.o
freelist.o major_gc.o minor_gc.o memory.o alloc.o roots.o compare.o
ints.o floats.o str.o io.o extern.o externcp.o intern.o interncp.o
hash.o sys.o meta.o parsing.o lexing.o gc_ctrl.o -lm
sys.o: In function `error_message':
sys.c:(.text+0x2cd): AVERTISSEMENT: `sys_errlist' is deprecated; use
`strerror' or `strerror_r' instead
sys.c:(.text+0x2c1): AVERTISSEMENT: `sys_nerr' is deprecated; use
`strerror' or `strerror_r' instead
rm -f libcaml.a
ar rc libcaml.a interp.o misc.o stacks.o fix_code.o main.o fail.o
signals.o debugcom.o freelist.o major_gc.o minor_gc.o memory.o alloc.o
roots.o compare.o ints.o floats.o str.o io.o extern.o externcp.o
intern.o interncp.o hash.o sys.o meta.o parsing.o lexing.o gc_ctrl.o
if test -f /usr/bin/ranlib -o -f /bin/ranlib; then ranlib libcaml.a;
else true; fi
make[1]: quittant le répertoire « /home/dizzi/cl75/src/runtime »
cp runtime/camlrun .
cd yacc; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" all
make[1]: entrant dans le répertoire « /home/dizzi/cl75/src/yacc »
make[1]: Rien à faire pour « all ».
make[1]: quittant le répertoire « /home/dizzi/cl75/src/yacc »
cp yacc/camlyacc .
cd lib; make CPP="/lib/cpp -P -traditional -Dunix" all
make[1]: entrant dans le répertoire « /home/dizzi/cl75/src/lib »
.../camlrun ../camlcomp -stdlib . -O none -g -W arg.mli
make[1]: *** [arg.zi] Erreur de segmentation (vidange mémoire)
make[1]: *** Destruction du fichier « arg.zi »
make[1]: quittant le répertoire « /home/dizzi/cl75/src/lib »
make: *** [world] Erreur 2

Voilà j'espère que quelqu'un pourra prendre la peine de me répondre.
Jr vous remercie d'avance et m'excuse dans le cas où ce message
paraitrait incongru dans cette liste de diffusion.

Cordialement,
David HATANIAN
Samuel Thibault (17/01/2007, 22h22)
david.hatanian, le Wed 17 Jan 2007 10:53:23 -0800, a écrit :
> sizes.c:5: warning: incompatible implicit declaration of built-in
> function 'printf'


Mmm, c'est pas bon ça, vu que

> Wow! A 64 bit architecture!


c'est une architecture 64 bits... Il faudrait ajouter des #include
<stdio.h> et #include <string.h> un peu partout pour corriger ces
warnings. Après, ça devrait aller beaucoup mieux.

Samuel
Samuel Colin (20/01/2007, 10h00)
Dixit Samuel Thibault :
>> Wow! A 64 bit architecture!

> c'est une architecture 64 bits... Il faudrait ajouter des #include
><stdio.h> et #include <string.h> un peu partout pour corriger ces
> warnings. Après, ça devrait aller beaucoup mieux.

Si camllight n'est plus maintenu, les architectures 64bits risquent de
l'enterrer définitivement si ça ne compile même plus.
DizZi (20/01/2007, 14h02)
Samuel Thibault a écrit :

> c'est une architecture 64 bits... Il faudrait ajouter des #include
> <stdio.h> et #include <string.h> un peu partout pour corriger ces
> warnings. Après, ça devrait aller beaucoup mieux.
> Samuel


En effet les include de quelques librairies supplémentaires règlent
les erreurs affichées, malheuresement la segmentation fault persiste.
Pourtant le script camlrun présent dans le répertoire d'installation
fonctionne, lui, et je l'ai mis en remplacement de celui installé.

Tant pis, pour du camllight un peu évolué il me faudra sans doute
retourner sous windows (wine ne marche pas, le camllight sous windows
se plaint de ne pas recevoir de "bytecode executable" à l'ouverture).

Merci pour votre aide.

David
Nicolas George (21/01/2007, 02h34)
"DizZi" , dans le message
<1169294548.390714.297260>, a écrit :
> Tant pis, pour du camllight un peu évolué il me faudra sans doute
> retourner sous windows (wine ne marche pas, le camllight sous windows
> se plaint de ne pas recevoir de "bytecode executable" à l'ouverture).


Avant de recourir à l'auto-flagellation, tu devrais peut-être tenter de
compiler camllight en 32 bits, ça a de bonnes chances de marcher comme au
premier jour.
DizZi (21/01/2007, 15h47)
Nicolas George a écrit :
> "DizZi" , dans le message
> <1169294548.390714.297260>, a écrit :
> Avant de recourir à l'auto-flagellation, tu devrais peut-être tenter de
> compiler camllight en 32 bits, ça a de bonnes chances de marcher comme au
> premier jour.


Tu veux dire tenter de compiler sur un chroot en 32 bits? Je l'ai
tenté et ça ne donne guère de résultats supplémentaires, mais bon
mon chroot n'est pas à jour donc je tenterai ça une fois que j'aurai
pris le temps de le mettre à jour. Ceci dit je suis tout de même
parvenu à compiler camlnum ds le chroot, puis à copier le fichier
créé dans le dossier non chrooté, mais la commande "camllight
camlnum" renvoie toujours une SEGFAULT.

David
Samuel Thibault (22/01/2007, 01h53)
DizZi, le Sun 21 Jan 2007 05:47:32 -0800, a écrit :
> Nicolas George a écrit :
> Tu veux dire tenter de compiler sur un chroot en 32 bits?


Avec une distribution potable, pas besoin. Il suffit de donner -m32 à
gcc pour qu'il produise du code ia32. Il faut le package ia32-libs pour
linker par contre.

Samuel
Discussions similaires
[Charte] fr.comp.lang.php

[Charte] fr.comp.lang.caml


Fuseau horaire GMT +2. Il est actuellement 21h25. | Privacy Policy