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=3.0 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 0AEA1BBAF for ; Sun, 6 Sep 2009 12:29:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUBAE4so0rRVdvbkGdsb2JhbACCJi+YKT8BAQEBCQkMBxMDq1eOdAEDAgSEFAWIdA X-IronPort-AV: E=Sophos;i="4.44,341,1249250400"; d="scan'208";a="33792690" Received: from mail-ew0-f219.google.com ([209.85.219.219]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Sep 2009 12:29:15 +0200 Received: by ewy19 with SMTP id 19so1789030ewy.44 for ; Sun, 06 Sep 2009 03:29:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type; bh=MU/mVqFbXMQvr9pqD9Hvpdt8HagnRr5WNeEdRJd8xsI=; b=KLc9ZezBqU0ZfpBlJyie+3f1Nc/wuSLJ9nhVP2JmYoN+Gy/3LPU1ISKauYoW7BBe0v a5Ihu5BEcmoBuDGnHi9+xir7x7f93QWyg0O0a7ddfXL0w5WUfXK8DNIPdGXjfOqAMsWf J988BzuWG+JfFBETxJvc7B2UREzyFuawGKPbU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=u22bK1ATu5MVGEDT5HZeRlhMe+6pPe/vzpYDbq7Fy3tAXEXi2qOrRZr6DkDyMVlcHi FZO25xMYv1bSyLWQVo9upF4OzIm5KFm4WPjHMrq1Ym+7x6RNJqeA0lfMInkCIZbMBCQO wlYT13mTQTlCBZ3elKoq0WqGWrGYmsVPpu/LY= MIME-Version: 1.0 Sender: brab.alan@gmail.com Received: by 10.210.7.17 with SMTP id 17mr14810818ebg.50.1252232955016; Sun, 06 Sep 2009 03:29:15 -0700 (PDT) In-Reply-To: <1252232107.7631.50.camel@Blefuscu> References: <4A9FBF04.1060608@gmail.com> <25ec8ca60909030625l4cc43e0boc7d032dbd19864ca@mail.gmail.com> <1252140461.3988.20.camel@Blefuscu> <25ec8ca60909060303y9b8eaf4jda47f39ad267659e@mail.gmail.com> <1252232107.7631.50.camel@Blefuscu> Date: Sun, 6 Sep 2009 12:29:14 +0200 X-Google-Sender-Auth: d3cc0c821d8ed261 Message-ID: <25ec8ca60909060329l36b57529h6cda18acab2fcd34@mail.gmail.com> Subject: Re: [Caml-list] Why don't you use batteries? From: Alan Schmitt To: David Rajchenbach-Teller Cc: Edgar Friendly , caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=000e0ce0450a75b6650472e63472 X-Spam: no; 0.00; schmitt:01 schmitt:01 ens-lyon:01 ocamlfind:01 ocamlfind:01 ens-lyon:01 2009:98 2009:98 threads:01 threads:01 wrote:01 wrote:01 caml-list:01 alan:02 alan:02 --000e0ce0450a75b6650472e63472 Content-Type: text/plain; charset=ISO-8859-1 On Sun, Sep 6, 2009 at 12:15 PM, David Rajchenbach-Teller < David.Teller@ens-lyon.org> wrote: > I'd say > > ocamlfind remove batteries > ocamlfind remove batteries_threads > ocamlfind remove batteries_nothreads Thanks, it worked. (I had to specify "-destdir" but ocamlfind was kind enough to tell me to do it.) Alan --000e0ce0450a75b6650472e63472 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sun, Sep 6, 2009 at 12:15 PM, David Rajchenbach-Teller <David.Teller@ens-lyon.org= > wrote:
I'd say

ocamlfind remove batteries
ocamlfind remove batteries_threads
ocamlfind remove batteries_nothreads

Thanks= , it worked. (I had to specify "-destdir" but ocamlfind was kind = enough to tell me to do it.)

Alan
--000e0ce0450a75b6650472e63472--