From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2144081792 for ; Mon, 8 Jul 2013 18:06:51 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jun.furuse@gmail.com) identity=pra; client-ip=74.125.82.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jun.furuse@gmail.com designates 74.125.82.177 as permitted sender) identity=mailfrom; client-ip=74.125.82.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f177.google.com) identity=helo; client-ip=74.125.82.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="postmaster@mail-we0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukBAMXi2lFKfVKxjWdsb2JhbABagztNgwirQjKJN4gxgQoIFg4BAQEBBwsLCRIGJIIjAQEEASMdARsSCwEDAQsGBQQHBwYNHQICIgERAQUBCgQOBhMSh2oBAwkGDJtli35Pgn+EHgoZJwMKWIdzAQUMj1sEB4JUgRwDiSOOMIEpjjoWKYJagWov X-IPAS-Result: AukBAMXi2lFKfVKxjWdsb2JhbABagztNgwirQjKJN4gxgQoIFg4BAQEBBwsLCRIGJIIjAQEEASMdARsSCwEDAQsGBQQHBwYNHQICIgERAQUBCgQOBhMSh2oBAwkGDJtli35Pgn+EHgoZJwMKWIdzAQUMj1sEB4JUgRwDiSOOMIEpjjoWKYJagWov X-IronPort-AV: E=Sophos;i="4.87,1021,1363129200"; d="scan'208";a="20387529" Received: from mail-we0-f177.google.com ([74.125.82.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Jul 2013 18:06:50 +0200 Received: by mail-we0-f177.google.com with SMTP id m19so3826589wev.36 for ; Mon, 08 Jul 2013 09:06:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=cNDBfNAhevTXzyLHav0djZH2n2eaOI6lJnF4C5IMZys=; b=VzqvBUElU4RVYKpc4n39X5BY26bY3UVyFCCUFJs/0oMAI+2XBcO0mKU978JI/gOIRD cNi6D0xraIhao6XFITk4XKQgwUtbJGJjc0oOizuNNoKSID5Qrb7EnnrrZRu3wkKv9+Hp p7mCKhwSbxw3t8Bia9hqHSw/D3fcjurzOQjnTNCcWD+5/4aBdi+/WXUiiF757CyIdIB3 IDlO5eYsewcgg3RFIzZvyq3lhCMghhaAMZbCuWLXkjo4P01eHjn5YlZGEeFxuxsI5ttA hbsqtOBI5Qg5Fqc1mjd0+gin86cCkdlgKJq+XeIZoxTdAsoGXfWbRWo9XS1jZkGk7Ueg R2fg== MIME-Version: 1.0 X-Received: by 10.194.84.205 with SMTP id b13mr12326450wjz.92.1373299610279; Mon, 08 Jul 2013 09:06:50 -0700 (PDT) Received: by 10.194.136.140 with HTTP; Mon, 8 Jul 2013 09:06:50 -0700 (PDT) In-Reply-To: <51DA0D0D.9030005@riken.jp> References: <51DA0D0D.9030005@riken.jp> Date: Tue, 9 Jul 2013 00:06:50 +0800 Message-ID: From: Jun Furuse To: Francois Berenger Cc: caml-list Content-Type: multipart/alternative; boundary=089e0103ecec70e70904e1023b6b Subject: Re: [Caml-list] [ANN] OCamlOScope: a new OCaml API search --089e0103ecec70e70904e1023b6b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Francois, The ultimiate goal is to put all the available OPAM packages into the search DB, and update the DB regularly. But now it is far from it: 35 OPAM packages. DB construction requires source code and bin-annot files (*.cmt and *.cmti) therefore the libraries must be get compiled. Since it is very hard to compile all the OPAM packages by one machine due to variety of architecture and dependent libraries, we will have to build a public repository of extracted portable DB files. Regards, Jun On Mon, Jul 8, 2013 at 8:51 AM, Francois Berenger wrote: > On 07/05/2013 11:11 AM, Jun Furuse wrote: > >> Hi list, >> >> I have launched a new OCaml API search, OCaml=E2=97=8EScope at >> http://ocamloscope.herokuapp.**com . >> > > Thanks god! At last! > > Just a quick question: > are all the packages available in OPAM automatically added to ocamlscope > on a regular basis? > > Thanks a lot for this extremely useful service, > F. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/**arc/caml-list > Beginner's list: http://groups.yahoo.com/group/**ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-**bugs > --089e0103ecec70e70904e1023b6b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Francois,

The ultimiate goal is to p= ut all the available OPAM packages into the search DB, and update the DB re= gularly. But now it is far from it: 35 OPAM packages.

DB construction requires source code and bin-annot files (*.cmt and *.= cmti) therefore the libraries must be get compiled. Since it is very hard t= o compile all the OPAM packages by one machine due to variety of architectu= re and dependent libraries, we will have to build a public repository of ex= tracted portable DB files.

Regards,
Jun



On Mon, Jul 8, 2013= at 8:51 AM, Francois Berenger <berenger@riken.jp> wrote:
On 07/05/2013 11:11 AM, Ju= n Furuse wrote:
Hi list,

I have launched a new OCaml API search, OCaml=E2=97=8EScope at
http://ocaml= oscope.herokuapp.com .

Thanks god! At last!

Just a quick question:
are all the packages available in OPAM automatically added to ocamlscope
on a regular basis?

Thanks a lot for this extremely useful service,
F.


--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners<= /a>
Bug reports: http://caml.inria.fr/bin/caml-bugs

--089e0103ecec70e70904e1023b6b--