From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,RCVD_NUMERIC_HELO, SPF_FAIL autolearn=disabled version=3.1.3 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 35BB3BC0A for ; Mon, 16 Apr 2007 19:53:01 +0200 (CEST) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3GHr0cX013034 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 16 Apr 2007 19:53:01 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1HdVNe-0007vr-N8 for caml-list@inria.fr; Mon, 16 Apr 2007 19:52:46 +0200 Received: from 38.96.172.125 ([38.96.172.125]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 16 Apr 2007 19:52:46 +0200 Received: from sds by 38.96.172.125 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 16 Apr 2007 19:52:46 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sam Steingold Subject: stand-alone top-level Date: Mon, 16 Apr 2007 13:52:29 -0400 Message-ID: <4623B7DD.1090208@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 38.96.172.125 User-Agent: Thunderbird 1.5.0.8 (X11/20061107) Sender: news X-Miltered: at concorde with ID 4623B7FC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mli:01 ocamlmktop:01 foo:01 foo:01 mli:01 model:01 model:01 ocaml:01 workstation:98 compile:01 compile:01 usable:01 lisp:01 cma:01 top-level:02 How can I create a stand-alone top-level (REPL) executable? My workstation is not powerful enough to run some things, so I want to create an interactive top-level (REPL) executable, copy it to a different machine (with, say, more RAM) and talk to the REPL. Alas, this does not work, because, even though my executable code gets linked in, it cannot be used without the mli files: ocamlmktop foo.cma -o mycaml mycaml now requires foo.mli to be present somewhere for Foo.bar() to be usable. this means that mycaml is not really stand-alone, I have to carry all the mli files with it. this all basically means that I have to compile exe files (instead of an interactive REPL) to do my work on a different machine (i.e., effectively, I am using the C development model: edit/compile/link/run instead of the Lisp development model: edit/run). so, is there a way around? how do I create a completely stand-alone ocaml repl that contains my code? thanks. Sam.