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 WAA07846; Sat, 12 May 2001 22:30:10 +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 WAA07635 for ; Sat, 12 May 2001 22:30:09 +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 f4CKU9b09209 for ; Sat, 12 May 2001 22:30:09 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id WAA00856 for ; Sat, 12 May 2001 22:30:09 +0200 (MET DST) Received: from mail.noos.fr (lafontaine.noos.net [212.198.2.72]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4CKU9b09205 for ; Sat, 12 May 2001 22:30:09 +0200 (MET DST) Message-Id: <200105122030.f4CKU9b09205@concorde.inria.fr> Received: (qmail 7613672 invoked by uid 0); 12 May 2001 20:30:08 -0000 Received: from d035.dhcp212-198-193.noos.fr (HELO localhost) ([212.198.193.35]) (envelope-sender ) by lafontaine.noos.net (qmail-ldap-1.03) with SMTP for ; 12 May 2001 20:30:08 -0000 Date: Sat, 12 May 2001 22:30:08 +0200 Content-Type: text/plain; format=flowed; charset=iso-8859-1 X-Mailer: Apple Mail (2.388) From: =?iso-8859-1?Q?Laurent_Ch=E9no?= To: Caml-list Mime-Version: 1.0 (Apple Message framework v388) In-Reply-To: <3AFD44AF.9412416D@wanadoo.fr> Subject: [Caml-list] CamlLight installation on MacOS X : the answer (english version) Content-Transfer-Encoding: quoted-printable Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (Thanks to Philippe Esperet for this translation ... my english is very=20= trash) Thanks to S=E9bastien Carlier for his help during the installation of CamlLight on MacOS X. You will find below a short how-to summing up the steps involved. 1. Edit and modify the Makefile according to: ### 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 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. For the two files src/runtime/main.c and src/runtime/io.c, insert as first line #include It ought to work Some explanations from S=E9bastien, far beyond my ken 1. The origin of the problem is the preprocessor C, not compatible with the extensions of GCC used by the interpreter in CamlLight. 2. lseek needs a 64-bits offset in MacOS X when the paramater by default is a 32-bits int. hope this helps 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