From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by margaux.inria.fr, Wed, 25 Nov 92 21:01:04 +0100 Received: from pomerol.inria.fr by margaux.inria.fr, Wed, 25 Nov 92 11:10:11 +0100 Received: by pomerol.inria.fr, Wed, 25 Nov 92 11:10:09 +0100 From: Xavier Leroy Message-Id: <9211251010.AA07705@pomerol.inria.fr> Subject: Re: Caml Light, PC, floating-point emulation To: murthy@margaux Date: Wed, 25 Nov 92 11:10:09 MET Cc: caml-list@margaux In-Reply-To: <11968.722614919@margaux.inria.fr>; from "murthy@margaux.inria.fr" at Nov 24, 92 3:21 pm Sender: weis@margaux > Alejandro Rios has a student who wants to use CAML-light on a PC. > Problem is, he doesn't have a 387 FPU, and he wants to use > floating-point anyway. Is it possible to get caml-light > compiled for a PC so that it will use an emulation library? The distribution contains a 387 emulator suitable for use with Caml Light. Just add "emu C:\CAML386\DEV\EMU387" (with the correct path) to the GO32 variable. This is explained in more details in the manual, page 17, and also in the INSTALL file from the distribution. - Xavier