From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 1CE05BCB0 for ; Fri, 10 Jun 2005 02:02:11 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5A02ArV020062 for ; Fri, 10 Jun 2005 02:02:10 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA28594 for ; Fri, 10 Jun 2005 02:02:10 +0200 (MET DST) Received: from mailx.valdosta.edu (mailx.valdosta.edu [168.18.130.251]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5A029Nk014204 for ; Fri, 10 Jun 2005 02:02:09 +0200 Received: from blazemail.valdosta.edu (valdosta.edu [168.18.130.208]) by mailx.valdosta.edu (8.13.4/8.13.4) with ESMTP id j5A028T0018821 for ; Thu, 9 Jun 2005 20:02:09 -0400 (EDT) (envelope-from jtbryant@valdosta.edu) Received: from chunky.valdosta.edu (VO44122.valdosta.edu [168.18.130.102]) by blazemail.valdosta.edu (iPlanet Messaging Server 5.2 HotFix 2.04 (built Feb 8 2005)) with ESMTP id <0IHU002ZJDFKUL@blazemail.valdosta.edu> for caml-list@inria.fr; Thu, 09 Jun 2005 20:02:08 -0400 (EDT) Date: Thu, 09 Jun 2005 20:02:08 -0400 From: Jonathan Bryant Subject: Re: [Caml-list] Caml on intel-OSX In-reply-to: <1118357500.8693.80.camel@rosella.wigram> To: caml-list@inria.fr Message-id: <1118361728.17936.17.camel@chunky.valdosta.edu> MIME-version: 1.0 X-Mailer: Ximian Evolution 1.4.5.2 Content-type: text/plain Content-transfer-encoding: 7BIT References: <1118295206.7145.165.camel@rosella.wigram> <0908894eeba2802d8441ea3476c67c36@wetware.com> <1118330851.8693.10.camel@rosella.wigram> <36973.131.254.50.45.1118334009.squirrel@mail.irisa.fr> <1118357500.8693.80.camel@rosella.wigram> X-PMX-Version: 5.0.1.144180, Antispam-Engine: 2.0.3.2, Antispam-Data: 2005.6.9.29 X-Miltered: at concorde with ID 42A8D882.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42A8D881.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocamlc:01 ocamlc:01 ocamlopt:01 ocamlopt:01 bug:01 irisa:01 bytecode:01 bytecode:01 ocamlrun:01 hashtbl:01 bignums:01 ocaml:01 compiler:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: I have OCaml 3.08.3 up an running on an AMD64 box running Mandrake 10.0. It compiled beautifully under GODI (ocamlc. ocamlc.opt, ocamlopt, ocamlopt.opt, etc...). It might be a Debian bug... --Jonathan On Thu, 2005-06-09 at 18:51, John Skaller wrote: > On Thu, 2005-06-09 at 18:20 +0200, padiolea@irisa.fr wrote: > > > > Lol! no, it is a simple question. Can I make a bytecode program > > > and just ship it an expect it to run? No. So what else is required? > > > > I guess that if your bytecode program require some external libraries, > > such as for instance if you do a "open Dbm" then you must > > have too this library. > > I think that ocamlrun only include code to handle the Pervasive > > library. > > The code uses only (a) the standard library (Hashtbl and so on), > (b) the Unix library, and (c) Bignums. Therefore the bytecode > only requires support to be found in the standard distribution. > > I have a suspicion that one needs to '-custom' link somehow, > to make a suitable single bytecode interpreter. The desire > here is to *avoid* building Ocaml from source on the > target platform, instead to use pre-built binaries, > or, at worst, build these binaries from source, > excluding the full Ocaml toolkit -- the compiler isn't > required since the program is already compiled > to bytecode. > > Both myself and my friend are trying to build the Felix > system on diverse platforms, and make it available easily > to potential users: this includes not only Unix like systems, > but also Windows, Apple, and IBM platforms. At present, he > has got his hands on an Intel/Mac platform for a very limited time, > (at the actual release conference) previously we worked > on an IBM PPC64/Linux platform, G4 and G5 OSX platforms, > and I'm trying to make the system build on native > Windows Win32 (XP) without Cygwin, using MSVC++ compiler > and prebuilt Ocaml .. as well as trying to make both > a Godi and Debian packages ... I wait with dread the release > of 64 bit XP .. > > So we're looking at ways to get the system up and running > on new and weird platforms with the minimum of fuss. > Both for ourselves as developers, and for end users. > > Whilst I personally prefer the ocaml native code compiler, > at present I can't use it on my AMD64 as there appears > to be a code generation bug in it for that platform -- > so I'm using bytecode even for core development, > (and it's a real pain for the Debian packaging .. since > the system autodetects the native code compiler and tries > to use it even though it doesn't work: there is no > opportunity to intervene manually in Debian autobuilds) > > So we're looking at ways to get the system up and running > on new and weird platforms with the minimum of fuss. > Both for ourselves as developers, and for end users. > Solving this problem 'satisfactorily' seems harder > than writing a compiler :) > > -- > John Skaller, skaller at users.sf.net > PO Box 401 Glebe, NSW 2037, Australia Ph:61-2-96600850 > Download Felix here: http://felix.sf.net > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs