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,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C25B3BBAF for ; Fri, 9 Jan 2009 15:35:23 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,239,1231110000"; d="scan'208";a="22226341" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Jan 2009 15:35:23 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id n09EZN2Y002462 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 9 Jan 2009 15:35:23 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnABALTvZknRVdoKmGdsb2JhbACPNIQfPgEBAQEBCAkMBxGvGAh6izABAwEDhWyCIA X-IronPort-AV: E=Sophos;i="4.37,239,1231110000"; d="scan'208";a="21255629" Received: from mail-bw0-f10.google.com ([209.85.218.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Jan 2009 15:35:18 +0100 Received: by bwz3 with SMTP id 3so24513032bwz.9 for ; Fri, 09 Jan 2009 06:35:16 -0800 (PST) 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:references:in-reply-to :x-enigmail-version:openpgp:content-type:content-transfer-encoding; bh=R1sVeHaGnIF8etvxKMXTbMTHNP8tCAVQ2N5DPJa0qn0=; b=KumuVjqUiUUbDGf9LIAqdTdM6Tt1w0TAi5U1cp/Yo341PcMMOO0K5I8c2hDgJiITt6 4Fe/YnxUb0I4Acfdgm/7puGqjSmAGmOvszK7YQY8nmsrD8nm64bdPtE7zoBst6dwoqxj xaB7oaso2Thr2Z1jQXQzTRJHwOeTI0KRTL+CI= 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 :references:in-reply-to:x-enigmail-version:openpgp:content-type :content-transfer-encoding; b=Yf5KBRTPq31y7nsL7LxZpGsLIMxqzyXqZrkkn68C4weQkMvysj4QF7agMAuh08kk4k 6Nb+OHqYUCyMly/3mAJcwZVkdhKNWO7mpoAmJqXo6ubNAsiX69Zpm5P8Tmmfs1E/axwk izLJDgEkvldmWMG7IC/UkfO3ga4qChVrcs6RU= Received: by 10.103.238.4 with SMTP id p4mr9210316mur.68.1231511598163; Fri, 09 Jan 2009 06:33:18 -0800 (PST) Received: from ?192.168.1.10? (8.75.197-77.rev.gaoland.net [77.197.75.8]) by mx.google.com with ESMTPS id u9sm51311879muf.4.2009.01.09.06.33.16 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 09 Jan 2009 06:33:17 -0800 (PST) Message-ID: <4967602A.4070008@gmail.com> Date: Fri, 09 Jan 2009 15:33:14 +0100 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.19 (X11/20090105) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Toplevel - loading dependencies References: <49675DE7.5030000@uj.edu.pl> In-Reply-To: <49675DE7.5030000@uj.edu.pl> X-Enigmail-Version: 0.95.0 OpenPGP: id=F60AB8F5 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 496760AB.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 dependencies:01 caml-list:01 loading:05 ecrit:06 solution:14 what:24 what:24 com:74 the:27 about:28 Dawid Toton a écrit : > What is the right solution? What about camlfind? Salutations Matt