From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBIGnf2A032592 for ; Sun, 18 Dec 2011 17:49:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8BABoZ7k7U4xEJkGdsb2JhbABDhQymTSIBAQEBCQkNBxQDIoFyAQEFI1YQCw4MAiYCAlcGEwmHcwalSpEBgS+JP4EWBI0XjTWMYQ X-IronPort-AV: E=Sophos;i="4.71,372,1320620400"; d="scan'208";a="135924603" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Dec 2011 17:49:35 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-215-111.pools.arcor-ip.net [94.219.215.111]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis) id 0LknvV-1R2RD93nSH-00aTnm; Sun, 18 Dec 2011 17:49:35 +0100 Received: from [192.168.178.30] (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 93DCDC00C7; Sun, 18 Dec 2011 17:49:34 +0100 (CET) From: Gerd Stolpmann To: Dmitry Grebeniuk Cc: caml-list@inria.fr In-Reply-To: References: <-3085435649396878115@unknownmsgid> <1324223593.7750.126.camel@samsung> Content-Type: text/plain; charset="UTF-8" Date: Sun, 18 Dec 2011 17:49:33 +0100 Message-ID: <1324226973.7750.132.camel@samsung> Mime-Version: 1.0 X-Mailer: Evolution 2.32.2 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:5L95ILmLbS7n/SbRU5xAmtC3Uqsh8Dfcrf7aPay1YW8 vRgIhAWrC/9I1QecSrj46JdW1Eu2Bq6itqq0DZjvz6tNxTKpQW hGNQoFcrjgtcaZJQMVd+k+DRvWpdLlnJ81Poj3xfGDNyt6ydcV NF7yzr6FqKJkmWu9TNQjKp0IZS4KXDRCbLGYoUvEbfx0LD1AcY rqDWGCef3kuOfm1CuyKLgTDuLVYYyIr5GWqjGEjMx0AMarHd2F JWMDQj2Tjrh79XwPMG0QxorTNJD7Mc3zeKifmtyoRNX0idjzcO Ph33slKN1WJDjzt/0j45fVZQ2dWxG8t3kcp+kDhUaAET7SnJ96 cq/fvQzpNQVc34KsfzOFMQjmyG0USubmbQRDyINz8 Subject: Re: [Caml-list] bytecode: ./prog vs ocamlrun ./prog Am Sonntag, den 18.12.2011, 18:40 +0200 schrieb Dmitry Grebeniuk: > Hello. > > >> So, this is a -custom linked bytecode executable. > > Thanks for clarifications about -custom and dynamic loading. > > > ocamlc -o myrun -make-runtime unix.cma > > > > Then ./myrun prog should work (provided that Unix is the only missing > > lib). > > Yes, it works (fails on the next required library). > But in my practice I've never needed -make-runtime. What > are the practical cases when -make-runtime is useful? It's mostly useful on platforms where dynamic libraries are not implemented. You can then at least create your own ocamlrun that is able to run all your programs. There is a companion switch -use-runtime which instructs to use a certain runtime when linking a program. On platforms with dynamic libraries it is close to useless. (Well, if I remember correctly, I'm using this feature in the GODI bootstrap to get a distributed bytecode executable running on the local system, w/o needing a complete ocaml infrastructure, but this is certainly a very special case.) Gerd -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------