From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4FJ8ISa031462 for ; Sun, 15 May 2011 21:08:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYEAPYj0E3RVda2kGdsb2JhbACYD419CBQBAQEBCQkNBxQEIas9jBqCNYNmN4hiAQEDBoYTBJARhC+BEYVFO4NR X-IronPort-AV: E=Sophos;i="4.64,370,1301868000"; d="scan'208";a="108611447" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 May 2011 21:08:13 +0200 Received: by iwn33 with SMTP id 33so6200420iwn.27 for ; Sun, 15 May 2011 12:07:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:message-id:date:from:user-agent:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=kR+ucoRd+asXeWthEpvif7xU83XxWIdGSkM5PlMyNso=; b=wKQHAh51ZezAu3BSKGTT5aSOkcgJoY0dIiLr8bntv+8Wm5I2zIHsNf1VsMn3UC3jcZ LfbpBnLzWdZHdBAGIGSVqzrUv0ezd60lrpB6304yqjdixRZpRc7EbkxNFe0X2QjtAnK6 Y+i3Mxoleo/qgr9X6df4UfZU1qEeNvwQQjgBc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; b=st6TWHRPO3qCqnP9W3vCoHTlHmIQXbQV+zmJlN5s/G4Ih2PP7fHJZ9FMlq0tUAi6uN jnaOkCF0rSOWNBIBwGeGdfpGY81Nez73tYT1WyBTyK6ArbRE07CyksCr4x2g6KXCXbWk eh4gUggj2P8SPUb4P71NpdoNTUrlOatPrZqlY= Received: by 10.231.181.211 with SMTP id bz19mr2552778ibb.107.1305486442824; Sun, 15 May 2011 12:07:22 -0700 (PDT) Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net [99.121.78.10]) by mx.google.com with ESMTPS id y10sm1882490iba.46.2011.05.15.12.07.20 (version=SSLv3 cipher=OTHER); Sun, 15 May 2011 12:07:21 -0700 (PDT) Message-ID: <4DD02467.3040100@gmail.com> Date: Sun, 15 May 2011 15:07:19 -0400 From: Edgar Friendly User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] No implementations provided for the following modules: Batteries On 05/15/2011 01:59 PM, Martin DeMello wrote: > $ make > make[1]: Entering directory `/home/martin/code/ocaml/nrepl-client' > ocamlfind ocamlopt \ > -package unix,bigarray,str,mikmatch_pcre,pcre,batteries -linkpkg \ > -I /home/martin/opt/godi/lib/ocaml/std-lib/camlp4 -I ledit/ -I > /home/martin/opt/godi/lib/ocaml/pkg-lib/batteries -I > /home/martin/opt/godi/lib/ocaml/std-lib/camlp5 -I > /home/martin/opt/godi/lib/ocaml/pkg-lib/pcre -I > /home/martin/opt/godi/lib/ocaml/pkg-lib/mikmatch_pcre -ccopt > -Lledit/ -o nrepl-client \ > ledit/cursor.cmx ledit/ledit.cmx nrepl_client.cmx > File "_none_", line 1, characters 0-1: > Error: No implementations provided for the following modules: > Batteries referenced from nrepl_client.cmx Batteries is a bit wierd - if you're not linking using threads, only Batteries_uni (uni-threaded) is available. If you link with threads, the full Batteries module is available, including additional threading primitives. Sometime, we'll have to modify our build system to produce two Batteries modules, one for multi-threads and one for single-thread, but for the moment there's some oddities like this. E.