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 autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9F6B6BBAF for ; Fri, 16 May 2008 05:05:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4BAPaWLEhIDtyYc2dsb2JhbACSJQEMAwQECQ8FlhqGKQ X-IronPort-AV: E=Sophos;i="4.27,494,1204498800"; d="scan'208";a="10773582" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 May 2008 05:05:04 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4G3546G005347 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 16 May 2008 05:05:04 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4BAPaWLEhIDtyYc2dsb2JhbACSJQEMAwQECQ8FlhqGKQ X-IronPort-AV: E=Sophos;i="4.27,494,1204498800"; d="scan'208";a="10773581" Received: from fg-out-1718.google.com ([72.14.220.152]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 May 2008 05:05:04 +0200 Received: by fg-out-1718.google.com with SMTP id e21so615636fga.25 for ; Thu, 15 May 2008 20:05:03 -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:to:subject:x-enigmail-version:content-type:content-transfer-encoding; bh=xbDMgYP79irUfM21JGYz2+GUdHO8/xmtQBG5g1GSI8s=; b=FQal+yr5WOsiK9h9sj5iyry5+sbxyYdx9v/51lEA/PtX0ZBuGq/+a8R2dSPM8WcP1yorm2WDpSAyFk1/9ajkTMceIJ7d3I7+Sht4zc7z5iz6ET9QhNuc5q/twaSb3nL6XX9BUf/lHoNDblEAO8AcrH2+uLvIFtPr3q87A9Ymyp0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:user-agent:mime-version:to:subject:x-enigmail-version:content-type:content-transfer-encoding; b=ja3Q3xPIGpInjBuDRCL3UmjLnOy37zW50jIuZElCqI2KLYu07m06E9k4uDI21fwSTbntgRDXDz0wwcBIUUlkakN2PHQ59g+Cefvbo5yzxmBqHWql4+FOXz7CZY032wvJeGmNs/zwI71pOdJp1W6kEZhv6LbgDz4bOAUMXq7lrW4= Received: by 10.125.70.16 with SMTP id x16mr2021287mkk.16.1210907103683; Thu, 15 May 2008 20:05:03 -0700 (PDT) Received: from ?192.168.1.10? ( [77.197.16.15]) by mx.google.com with ESMTPS id j10sm4712534muh.18.2008.05.15.20.05.02 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 15 May 2008 20:05:02 -0700 (PDT) Message-ID: <482CFA09.4090807@gmail.com> Date: Fri, 16 May 2008 05:05:45 +0200 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 To: caml-list@inria.fr Subject: ocamlbuild -> toplevel X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 482CF9E0.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 toplevel:01 cmo:01 cmo:01 cma:01 module:03 top:89 top:89 libraries:11 build:13 instead:14 Hello, playing with ocamlbuild, I manage to produce one "my.top" toplevel by filling "my.mltop" with some module names (cmo), and asking for: ocamlbuild my.top. Now, instead of building a toplevel with cmo files, I would like to build one with libraries (cma). Is there any way to do this with ocamlbuild? Thanks Salutations Matt