Mac Intel - Caml Light install

Mac Intel - Caml Light install

[Laurent Chéno]

	De : 	  laurent.cheno@free.fr
	Objet : 	Installation CamlLight sur Mac Intel
	Date : 	13 juin 2006 12:15:45 HAEC
	À : 	  caml-list@margaux.inria.fr

----------- poor-english version
Hi,

I'm teacher for computer science and I wish to install CamlLight (not  
Objective Caml) on my new MacBook Pro Intel.

Can you help me to complete this installation ?

There is a log of my first attempt.

Thank you in advance. Best regards,

Laurent Chéno

----------- french original version

Bonjour,

enseignant en classes prépas, je dois utiliser CamlLight, et non
Objective Caml. Or je ne suis pas arrivé à installer CamlLight sur  mon
nouveau MacBook Pro Intel.

Pouvez-vous m'aider à trouver les instructions d'installation  
correctes ?

Vous trouverez ci-dessous le log de ma session d'essai...

Cordialement,

Laurent Chéno

-----------

Last login: Sun Jun 11 19:09:42 on console
Welcome to Darwin!
[11:45:~]
cheno% cd Desktop/
[11:45:~/Desktop]
cheno% tar xf cl75unix.tar
[11:45:~/Desktop]
cheno% cd cl75
[11:46:~/Desktop/cl75]
cheno% cd src
[11:46:~/Desktop/cl75/src]
cheno% 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'
OK, this is a regular 32 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.
[11:46:~/Desktop/cl75/src]
cheno% make world
cd runtime; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" LIBS=""  
all
awk -f ../tools/make-jumptbl instruct.h > jumptbl.h
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 'shrink_block':
intern.c:383: warning: incompatible implicit declaration of built-in  
function 'memmove'
intern.c: In function 'intern_val':
intern.c:542: warning: pointer targets in passing argument 2 of  
'shrink_block' differ in signedness
intern.c:562: warning: pointer targets in passing argument 1 of  
'adjust_pointers' differ in signedness
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
sed -n -e '/\/\* ML \*\//s/.* \([a-z0-9_][a-z0-9_]*\) *(.*/\1/p' \
                 compare.c extern.c externcp.c floats.c gc_ctrl.c  
hash.c intern.c interncp.c interp.c ints.c io.c lexing.c meta.c  
parsing.c str.c
sys.c > primitives2
sh -c 'if cmp -s primitives primitives2; \
         then rm primitives2; \
         else mv primitives2 primitives; \
         fi'
(echo '#include "mlvalues.h"'; \
echo '#include "prims.h"'; \
sed -e 's/.*/extern value &();/' primitives; \
echo 'c_primitive cprim[] = {'; \
sed -e 's/.*/  &,/' primitives; \
echo '  0 };'; \
          echo 'char * names_of_cprim[] = {'; \
sed -e 's/.*/  "&",/' primitives; \
echo '  0 };') > prims.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 ma
jor_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 par
sing.o lexing.o gc_ctrl.o  -lm
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
ranlib: file: libcaml.a(fix_code.o) has no symbols
if test -f /usr/bin/ranlib -o -f /bin/ranlib; then ranlib libcaml.a;  
else true; fi
ranlib: file: libcaml.a(fix_code.o) has no symbols
cp runtime/camlrun .
cd yacc; make CC="gcc" OPTS="-fno-defer-pop -D__FAVOR_BSD" all
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o closure.o closure.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o error.o error.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o lalr.o lalr.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o lr0.o lr0.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o main.o main.c
main.c: In function 'getargs':
main.c:195: warning: incompatible implicit declaration of built-in  
function 'strlen'
main.c:198: warning: incompatible implicit declaration of built-in  
function 'strcpy'
main.c: In function 'create_file_names':
main.c:237: warning: incompatible implicit declaration of built-in  
function 'strlen'
main.c:253: warning: incompatible implicit declaration of built-in  
function 'strcpy'
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o mkpar.o mkpar.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o output.o output.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o reader.o reader.c
reader.c: In function 'get_tag':
reader.c:780: warning: incompatible implicit declaration of built-in  
function 'strcpy'
reader.c: In function 'pack_names':
reader.c:1422: warning: incompatible implicit declaration of built-in  
function 'strlen'
reader.c:1426: warning: incompatible implicit declaration of built-in  
function 'strcpy'
reader.c: In function 'print_grammar':
reader.c:1714: warning: incompatible implicit declaration of built-in  
function 'strlen'
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o skeleton.o  
skeleton.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o symtab.o symtab.c
symtab.c: In function 'make_bucket':
symtab.c:37: warning: incompatible implicit declaration of built-in  
function 'strlen'
symtab.c:49: warning: incompatible implicit declaration of built-in  
function 'strcpy'
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o verbose.o verbose.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD   -c -o warshall.o  
warshall.c
gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD -o camlyacc closure.o  
error.o lalr.o lr0.o main.o mkpar.o output.o reader.o skeleton.o  
symtab.o verb
ose.o warshall.o
cp yacc/camlyacc .
cd lib; make CPP="/lib/cpp -P -traditional -Dunix" all
../camlrun ../camlcomp -stdlib . -O none -g -W arg.mli
Fatal error: the file ../camlcomp is not a bytecode executable file
make[1]: *** [arg.zi] Error 2
make: *** [world] Error 2
[11:47:~/Desktop/cl75/src]
cheno%

Re: [Caml-list] Mac Intel - Caml Light install

[Luc Maranget]

> 	De : 	  laurent.cheno@free.fr
> 	Objet : 	Installation CamlLight sur Mac Intel
> 	Date : 	13 juin 2006 12:15:45 HAEC
> 	À : 	  caml-list@margaux.inria.fr
> 
> ----------- poor-english version
> Hi,
> 
> I'm teacher for computer science and I wish to install CamlLight (not  
> Objective Caml) on my new MacBook Pro Intel.
> 
> Can you help me to complete this installation ?
> 
> There is a log of my first attempt.
> 
> Thank you in advance. Best regards,
> 
> Laurent Chéno
> 
> ----------- french original version
> 
> Bonjour,
> 
> enseignant en classes prépas, je dois utiliser CamlLight, et non
> Objective Caml. Or je ne suis pas arrivé à installer CamlLight sur  mon
> nouveau MacBook Pro Intel.
> 
> Pouvez-vous m'aider à trouver les instructions d'installation  
> correctes ?
> 
> Vous trouverez ci-dessous le log de ma session d'essai...
> 
> Cordialement,
> 
> Laurent Chéno
> 
> -----------
> 

À vue de nez, il y a un problème d'archaïsme contre nouveauté.

Le source C de caml-light est écrit en C du genre K&R que votre compilateur
semble avoir du mal à digérer.

Je ne dis pas que là est la source de vos problèmes, mais parmi tous
ces avertissements, peut-être y-en a t-il un à ne pas prendre à la légère.
(strcopy ? memmove ?)

--Luc Maranget