caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: David Rajchenbach-Teller <David.Teller@ens-lyon.org>
Cc: Edgar Friendly <thelema314@gmail.com>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Why don't you use batteries?
Date: Sun, 6 Sep 2009 12:29:14 +0200	[thread overview]
Message-ID: <25ec8ca60909060329l36b57529h6cda18acab2fcd34@mail.gmail.com> (raw)
In-Reply-To: <1252232107.7631.50.camel@Blefuscu>

[-- Attachment #1: Type: text/plain, Size: 320 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 619 bytes --]

  reply	other threads:[~2009-09-06 10:29 UTC|newest]

Thread overview: 68+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-09-03 13:05 Edgar Friendly
2009-09-03 13:15 ` [Caml-list] " Rakotomandimby Mihamina
2009-09-03 13:25 ` Alan Schmitt
2009-09-05  8:47   ` David Rajchenbach-Teller
2009-09-06 10:03     ` Alan Schmitt
2009-09-06 10:15       ` David Rajchenbach-Teller
2009-09-06 10:29         ` Alan Schmitt [this message]
2009-09-03 14:10 ` kattla
2009-09-05  8:59   ` David Rajchenbach-Teller
2009-09-03 14:25 ` Vincent Aravantinos
2009-09-03 14:35 ` Dario Teixeira
2009-09-04  0:08   ` Jon Harrop
2009-09-04  6:18     ` Stefano Zacchiroli
2009-09-04  6:39     ` Gaius Hammond
2009-09-04 14:04       ` Richard Jones
2009-09-03 15:00 ` Ashish Agarwal
2009-09-03 18:24   ` Alp Mestan
2009-09-03 20:38     ` Ashish Agarwal
2009-09-03 15:50 ` Tom Hutchinson
2009-09-04  8:55   ` Pierre Etchemaite
2009-09-04  9:32     ` Stéphane Glondu
2009-09-04 10:26       ` Vincent Aravantinos
2009-09-04 10:26       ` Andrej Bauer
2009-09-04 14:10         ` Richard Jones
2009-09-04 14:38           ` Hezekiah M. Carty
2009-09-04 18:37             ` Gaius Hammond
2009-09-05  4:53               ` Rakotomandimby Mihamina
2009-09-05  9:44                 ` David Allsopp
2009-09-05 10:22                   ` rixed
2009-09-05 12:03                     ` Jon Harrop
2009-09-05 11:11                       ` Rakotomandimby Mihamina
2009-09-05 12:02                       ` Richard Jones
2009-09-05 21:19                         ` Jon Harrop
2009-09-05 10:23                   ` Gaius Hammond
2009-09-05 11:36                   ` Jon Harrop
2009-09-05 11:52                   ` Richard Jones
     [not found]                   ` <b364036a0909050359q25fbab92l88b2415812941ae1@mail.gmail.com>
2009-09-06  7:47                     ` Fwd: " dmitry grebeniuk
2009-09-06  7:59                       ` Adrien
2009-09-06  8:47               ` Henry Lenzi
2009-09-06  9:46                 ` Rakotomandimby Mihamina
2009-09-06  9:52                 ` Gaius Hammond
2009-09-06 13:24                   ` Olivier Schwander
2009-09-06 11:34                 ` rixed
2009-09-04 19:53           ` Richard Jones
2009-09-11 16:07           ` Florent Ouchet
2009-09-04 15:05         ` Rakotomandimby Mihamina
2009-09-03 16:13 ` Richard Jones
2009-09-03 16:49 ` Jake Donham
2009-09-03 17:00   ` Hezekiah M. Carty
2009-09-03 18:18 ` Jean-Christophe Filliâtre
2009-09-04  3:24   ` Mike Lin
2009-09-04  3:36     ` Erik de Castro Lopo
2009-09-04  3:44       ` Edgar Friendly
2009-09-04  4:29         ` Erik de Castro Lopo
2009-09-04  8:18   ` Stéphane Glondu
2009-09-04 11:40     ` Jean-Christophe Filliâtre
2009-09-03 19:08 ` Sylvain Le Gall
2009-09-03 23:13 ` [Caml-list] " Philippe Wang
2009-09-03 23:19   ` Hugo Schmitt
2009-09-04  3:34 ` Erik de Castro Lopo
2009-09-04  5:52   ` David MENTRE
2009-09-04  6:21   ` Stefano Zacchiroli
2009-09-05 10:01 ` rixed
2009-09-06  9:56 ` Philip
2009-09-30 12:27 ` Rakotomandimby Mihamina
     [not found] <20090904061012.A1167BCC4@yquem.inria.fr>
2009-09-04 10:47 ` Pascal Cuoq
2009-09-04 14:25 Dario Teixeira
2009-09-04 21:21 ` Richard Jones

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=25ec8ca60909060329l36b57529h6cda18acab2fcd34@mail.gmail.com \
    --to=alan.schmitt@polytechnique.org \
    --cc=David.Teller@ens-lyon.org \
    --cc=caml-list@yquem.inria.fr \
    --cc=thelema314@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).