From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA03650; Sat, 12 May 2001 15:07:35 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA03695 for ; Sat, 12 May 2001 15:07:34 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4CD7Xb04531 for ; Sat, 12 May 2001 15:07:33 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id PAA00797 for ; Sat, 12 May 2001 15:07:33 +0200 (MET DST) Received: from mail.noos.fr (claudel.noos.net [212.198.2.83]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f4CD7Xb22813 for ; Sat, 12 May 2001 15:07:33 +0200 (MET DST) Message-Id: <200105121307.f4CD7Xb22813@nez-perce.inria.fr> Received: (qmail 3833782 invoked by uid 0); 12 May 2001 13:07:32 -0000 Received: from d035.dhcp212-198-193.noos.fr (HELO localhost) ([212.198.193.35]) (envelope-sender ) by claudel.noos.net (qmail-ldap-1.03) with SMTP for ; 12 May 2001 13:07:32 -0000 Date: Sat, 12 May 2001 15:07:32 +0200 From: =?iso-8859-1?Q?Laurent_Ch=E9no?= Content-Type: text/plain; format=flowed; charset=iso-8859-1 X-Mailer: Apple Mail (2.388) Cc: =?iso-8859-1?Q?Laurent_Ch=E9no?= To: Caml-list Mime-Version: 1.0 (Apple Message framework v388) Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] CamlLight install on MacOS X Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (mon anglais =E9tant tr=E8s mauvais, je poste en fran=E7ais ; si = quelqu'un=20 veut traduire, merci !) Merci =E0 S=E9bastien Carlier qui m'a aid=E9 dans l'installation de = CamlLight=20 sur MacOS X. Je r=E9capitule la manoeuvre suffisante (et n=E9cessaire) : 1. =E9diter le Makefile, voici ce que doit =EAtre la section de=20 configuration : ### Configuration section # Which C compiler to use. # Performance is often improved if you use gcc 2.x instead of cc. CC=3Dcc # Additional options to $(CC). # If you are using gcc, add -fno-defer-pop. # This option circumvents a gcc bug on some platforms (680x0, 80386). OPTS=3D-fno-defer-pop -traditional-cpp # Extra libraries that have to be linked with the runtime system. # The math library "-lm" is linked by default. # On most machines, nothing else is needed. # Under Solaris: -lsocket -lnsl LIBS=3D # How to call the C preprocessor on a file that does not have the .c=20 extension. # That's /lib/cpp on most machines, sometimes /usr/bin/cpp, # and /usr/ccs/lib/cpp under Solaris. # The -P option suppresses the generation of "# linenum" directives, # which are not understood by Caml Light. # The -Dunix option ensures that the symbol "unix" is defined -- # not all Unix C preprocessors define it. # If your cpp is too fussy, make tools/clprepro and use this: # CPP=3D../../src/tools/clprepro -Dunix # CPP=3D/lib/cpp -P -Dunix CPP=3D/usr/bin/cpp -P -Dunix # The directory where public executables will be installed BINDIR=3D/usr/local/bin # The directory where the Caml Light standard library will be installed LIBDIR=3D/usr/local/lib/caml-light # The manual section where the manual pages will be installed MANEXT=3D1 # The directory where the manual pages will be installed MANDIR=3D/usr/local/man/man$(MANEXT) # Some "make"s need this to ensure that they call the Bourne shell, # not the C shell. Seems harmless on most other "make"s. # Try removing this line if you run into trouble. SHELL=3D/bin/sh ### End of configuration section 2. ajouter en t=EAte des fichiers src/runtime/main.c et src/runtime/io.c=20= la ligne : #include normalement, apr=E8s, =E7a roule ! Voici les explications de S=E9bastien (qui d=E9passe largement mon = niveau=20 d'expertise) : 1. Le probleme vient du preprocesseur C de MacOS X qui ne supporte pas les extenstions de GCC utilisees par l'interpreteur de CamlLight. 2. Le probl=E8me =E9tait du =E0 la fonction lseek qui sous MacOS X prend un offset sur 64 bits. Sans prototypage, le type par d=E9faut du second argument est int (32 bits)... d'o=F9 le probl=E8me. Cordialement, esp=E9rant que cela pourra aider d'autres que moi ! Laurent -- Laurent Ch=E9no Prof. de math=E9matiques en PSI* et de l'option informatique en MP/MP* Lyc=E9e Louis-le-Grand, Paris http://pauillac.inria.fr/~cheno/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr