From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4D80ABB84 for ; Tue, 13 Jun 2006 14:54:38 +0200 (CEST) Received: from smtp3-g19.free.fr (smtp3-g19.free.fr [212.27.42.29]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5DCsbHb007543 for ; Tue, 13 Jun 2006 14:54:37 +0200 Received: from [192.168.1.4] (vol75-2-81-57-252-50.fbx.proxad.net [81.57.252.50]) by smtp3-g19.free.fr (Postfix) with ESMTP id 84D0A49439 for ; Tue, 13 Jun 2006 14:54:37 +0200 (CEST) Mime-Version: 1.0 (Apple Message framework v750) Content-Transfer-Encoding: quoted-printable Message-Id: Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: caml-list@yquem.inria.fr From: =?ISO-8859-1?Q?Laurent_Ch=E9no?= Subject: Mac Intel - Caml Light install Date: Tue, 13 Jun 2006 14:54:35 +0200 X-Mailer: Apple Mail (2.750) X-Miltered: at nez-perce with ID 448EB58D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cheno:01 cheno:01 prepas:01 pouvez-vous:01 correctes:01 tar:01 unix:01 tar:01 config:01 autoconf:01 gcc:01 integers:01 pointers:01 endian:01 endian:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 De : laurent.cheno@free.fr Objet : Installation CamlLight sur Mac Intel Date : 13 juin 2006 12:15:45 HAEC =C0 : caml-list@margaux.inria.fr ----------- poor-english version Hi, I'm teacher for computer science and I wish to install CamlLight (not =20= 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=E9no ----------- french original version Bonjour, enseignant en classes pr=E9pas, je dois utiliser CamlLight, et non Objective Caml. Or je ne suis pas arriv=E9 =E0 installer CamlLight sur = mon nouveau MacBook Pro Intel. Pouvez-vous m'aider =E0 trouver les instructions d'installation =20 correctes ? Vous trouverez ci-dessous le log de ma session d'essai... Cordialement, Laurent Ch=E9no ----------- 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 =20 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 =20 function 'exit' The char type is signed. Good! endian.c: In function 'main': endian.c:20: warning: incompatible implicit declaration of built-in =20 function 'exit' This is a little-endian architecture. align.c: In function 'main': align.c:87: warning: incompatible implicit declaration of built-in =20 function 'exit' This architecture has no alignment constraints. dblalign.c: In function 'main': dblalign.c:36: warning: incompatible implicit declaration of built-in =20= function 'exit' Doubles can be word-aligned. bytecopy.c: In function 'main': bytecopy.c:11: warning: incompatible implicit declaration of built-in =20= function 'memmove' bytecopy.c:12: warning: incompatible implicit declaration of built-in =20= 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 =20= function 'bcopy' bytecopy.c:12: warning: incompatible implicit declaration of built-in =20= 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 =20= function 'memcpy' bytecopy.c:12: warning: incompatible implicit declaration of built-in =20= 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 =20= 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=3D"gcc" OPTS=3D"-fno-defer-pop -D__FAVOR_BSD" = LIBS=3D"" =20 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 =20 function 'memmove' stacks.c: In function 'realloc_ret_stack': stacks.c:90: warning: incompatible implicit declaration of built-in =20 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 =20= 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 =20 function 'memmove' memory.c:78: warning: incompatible implicit declaration of built-in =20 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 =20 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 =20 function 'memmove' io.c:141: warning: incompatible implicit declaration of built-in =20 function 'memmove' io.c: In function 'getblock': io.c:278: warning: incompatible implicit declaration of built-in =20 function 'memmove' io.c:282: warning: incompatible implicit declaration of built-in =20 function 'memmove' io.c:290: warning: incompatible implicit declaration of built-in =20 function 'memmove' io.c: In function 'input_scan_line': io.c:370: warning: incompatible implicit declaration of built-in =20 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 =20 function 'memmove' intern.c: In function 'intern_val': intern.c:542: warning: pointer targets in passing argument 2 of =20 'shrink_block' differ in signedness intern.c:562: warning: pointer targets in passing argument 1 of =20 '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 =20 hash.c intern.c interncp.c interp.c ints.c io.c lexing.c meta.c =20 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[] =3D {'; \ sed -e 's/.*/ &,/' primitives; \ echo ' 0 };'; \ echo 'char * names_of_cprim[] =3D {'; \ 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 =20= misc.o stacks.o fix_code.o main.o fail.o signals.o debugcom.o =20 freelist.o ma jor_gc.o minor_gc.o memory.o alloc.o roots.o compare.o ints.o =20 floats.o str.o io.o extern.o externcp.o intern.o interncp.o hash.o =20 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 =20 signals.o debugcom.o freelist.o major_gc.o minor_gc.o memory.o =20 alloc.o roots.o compare.o ints.o floats.o str.o io.o extern.o externcp.o intern.o =20 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; =20 else true; fi ranlib: file: libcaml.a(fix_code.o) has no symbols cp runtime/camlrun . cd yacc; make CC=3D"gcc" OPTS=3D"-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 =20 function 'strlen' main.c:198: warning: incompatible implicit declaration of built-in =20 function 'strcpy' main.c: In function 'create_file_names': main.c:237: warning: incompatible implicit declaration of built-in =20 function 'strlen' main.c:253: warning: incompatible implicit declaration of built-in =20 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 =20 function 'strcpy' reader.c: In function 'pack_names': reader.c:1422: warning: incompatible implicit declaration of built-in =20= function 'strlen' reader.c:1426: warning: incompatible implicit declaration of built-in =20= function 'strcpy' reader.c: In function 'print_grammar': reader.c:1714: warning: incompatible implicit declaration of built-in =20= function 'strlen' gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD -c -o skeleton.o =20 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 =20 function 'strlen' symtab.c:49: warning: incompatible implicit declaration of built-in =20 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 =20 warshall.c gcc -O -DNDEBUG -fno-defer-pop -D__FAVOR_BSD -o camlyacc closure.o =20 error.o lalr.o lr0.o main.o mkpar.o output.o reader.o skeleton.o =20 symtab.o verb ose.o warshall.o cp yacc/camlyacc . cd lib; make CPP=3D"/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%