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=0.4 required=5.0 tests=AWL,MISSING_HEADERS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 9F026BBAF for ; Sat, 17 May 2008 23:42:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AicCAI/tLkjAXQIniGdsb2JhbACSNAEBAQ8glCiEdQ X-IronPort-AV: E=Sophos;i="4.27,502,1204498800"; d="scan'208";a="12703766" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 May 2008 23:42:03 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4HLg2uO014607 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 17 May 2008 23:42:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwCAMvtLkjRVYC/d2dsb2JhbACSNAEMAwQECREDlCWEdQ X-IronPort-AV: E=Sophos;i="4.27,502,1204498800"; d="scan'208";a="12377333" Received: from fk-out-0910.google.com ([209.85.128.191]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 May 2008 23:42:02 +0200 Received: by fk-out-0910.google.com with SMTP id e30so1495267fke.9 for ; Sat, 17 May 2008 14:42:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to:user-agent:mime-version:cc:subject:references:in-reply-to:x-enigmail-version:content-type:content-transfer-encoding; bh=tFOPwVcCe0rJ054v5Mkl9a92quHM6JrTmzVt+HHQmCg=; b=ZwPNIlLC6vh9CpVau9vOlWfyYEAUd7+3GUf9Tox7dbClIkW2hEsWnuQcALoVrdYhxwezSLwrCCfbvdfJwMWNryF9bWcvUZ+1GORqbf/wskkr1zJDYFZyDakIotQ+dmF4+pLUbG74Ed5qZckEYNfBO+g5ey7TVWQjXBAO2sRTRrw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:user-agent:mime-version:cc:subject:references:in-reply-to:x-enigmail-version:content-type:content-transfer-encoding; b=TpInnBL2U6JkitaQDRI+ESVVBpt1k6YKSD0i/J0wRkMkf5o3WyCmIjrFiyFQqt/HzLfJcM1yoMD440hQhjLVZ3u+y1MzZ6GUTIibi8dFYjxn/X/WCleHipOnjdm6mrvO+xa8N2M8fHTXbioWX6A5Oy3vYBWiy+qYysTnuZtgPqo= Received: by 10.125.142.5 with SMTP id u5mr4252377mkn.105.1211060522146; Sat, 17 May 2008 14:42:02 -0700 (PDT) Received: from ?192.168.1.11? ( [77.197.16.15]) by mx.google.com with ESMTPS id s10sm10292357muh.10.2008.05.17.14.42.00 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sat, 17 May 2008 14:42:00 -0700 (PDT) Message-ID: <482F5127.5080001@gmail.com> Date: Sat, 17 May 2008 23:41:59 +0200 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 Cc: caml-list@inria.fr Subject: Re: ocamlbuild -> toplevel References: <482CFA09.4090807@gmail.com> In-Reply-To: <482CFA09.4090807@gmail.com> X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 482F512A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 toplevel:01 off-list:01 toplevel:01 wiki:01 lib:01 lib:01 cmo:01 cmo:01 ocaml:01 wiki:01 ocamlfind:01 I replied off-list to Nicolas (by mistake) in order to insist, because my question was not clear enough. After some more readings, I would say that my goal was to generate a custom toplevel by linking an "internal" library ("internal" is the term used on ocamlbuild wiki for libraries built by ocamlbuild). > Yes names in .mltop, .mlpack, .mllib are all module names only. > > However you can try to add: > > use_lib "my" "pilot" > > To your myocamlbuild.ml. This solution did not the job. From the documentation, it is not clear to me what "use_lib" does exactly. But I think it adds pilot.cm(x)a when linking my.cmo? In my case, there are simply no my.cmo... I could have use the standard toplevel and loaded pilot.cma. Anyway, I found a solution: I added: ocaml_lib "pilot" in my ocamlbuild.ml and I tagged my.top with use_pilot in the _tags file. And since I have no module to include in my toplevel, I generated a void my.mltop file. Salutations P.S. During the process, I also used a copy of the myocamlbuild I found on the wiki to use ocamlfind. I had to add one line for the ocamlmktop command : Options.ocamlmktop := ocamlfind & A"ocamlmktop"