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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 324A8BB84 for ; Thu, 29 Jun 2006 00:20:07 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5SMK7vq012512 for ; Thu, 29 Jun 2006 00:20:07 +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 AAA27200 for ; Thu, 29 Jun 2006 00:20:06 +0200 (MET DST) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5SMK4p3031460 for ; Thu, 29 Jun 2006 00:20:05 +0200 Received: from rosella (ppp28-237.lns1.syd2.internode.on.net [59.167.28.237] (may be forged)) by smtp1.adl2.internode.on.net (8.13.6/8.13.5) with ESMTP id k5SMJp1E094294; Thu, 29 Jun 2006 07:49:52 +0930 (CST) (envelope-from skaller@users.sourceforge.net) Subject: Re: [Caml-list] Typing unmarshalling without marshalling types From: skaller To: Jonathan Roewen Cc: caml-list@inria.fr In-Reply-To: References: <449BB0C6.5040204@ensta.fr> Content-Type: text/plain Date: Thu, 29 Jun 2006 08:19:51 +1000 Message-Id: <1151533191.5339.46.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.6.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 44A30097.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44A30094.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; marshalling:01 odyl:01 cmo:01 bytecode:01 ocaml:01 ocamlc:01 ocaml:01 bytecode:01 2006:98 invoke:01 wrote:01 sourceforge:01 caml-list:01 typing:01 complains: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 On Thu, 2006-06-29 at 09:20 +1200, Jonathan Roewen wrote: > > I used your shell script to build it, and mkcamlp4 doesn't want to > > play nice (complains that odyl.cmo is not a bytecode object file). > > Ohh, it's a shell script! And ocaml doesn't encode path info for > ocamlc from the setting of prefix in the configure script. > > I'm sure that's a quick fix from the ocaml team for the next release :-) It isn't broken. The need to search the environment for the interpreter is mandated by the requirement scripts invoking the names of ocaml executables are transparent with respect to both: (a) whether the code is bytecode or native code (b) the machine it runs on Hard coding the location of the interpreter breaks requirement (b): it prevents shipping bytecode from one machine to another because two people may have installed the interpreter in different places (indeed may be running different OS!) If you KNOW you have bytecode you can invoke the interpreter explicitly, in which case your shell language already allows you to specify the location. -- John Skaller Felix, successor to C++: http://felix.sf.net