From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 82038BC57 for ; Fri, 24 Sep 2010 14:42:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYCALM5nEzRVda2imdsb2JhbACUFI4kCBUBAQEKCQwHDwUfqGCJPYIUb4VaLohVAQEDBYU+BIo6hHg X-IronPort-AV: E=Sophos;i="4.57,229,1283724000"; d="scan'208";a="71356649" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 14:42:24 +0200 Received: by mail-iw0-f182.google.com with SMTP id 34so3583294iwn.27 for ; Fri, 24 Sep 2010 05:42:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=TtvviXkUJ4vhgwSebDRXFjLu1ApuGw/CjTG+DpKZPuc=; b=NIYmdsTV+iyriQHIvper2VD1Z6TKfKXUnNoSBtm0tgQPHbgMbioqg268+Wg1sx6tww HUNwRTsVSyq6jUw3WWdvwgxUWSPaXeXk+4wyHyIU9PeUkiVGR9PdFn3wOL9Wu7U4N4im GAAcwKKQeEVw2IF0JGX1YzKdE5gijbdq8+UrM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=qSG1uAhuAKq2nn2Sq++znsnPGRJVUWwj0S7TZVTxChaJRuAPhWNkaeFUQIlLczEAid DBVSNh8kN54zqL+1Ul01cZ8LTyZ1McfmKxXTMJRCxIAbbgnng+yDwgifdccoC6ju4RP4 y2GyBkKPqywrbQELcnH6NtY1uylcilZ8Fw6gA= MIME-Version: 1.0 Received: by 10.231.155.206 with SMTP id t14mr3716348ibw.34.1285332144608; Fri, 24 Sep 2010 05:42:24 -0700 (PDT) Received: by 10.231.212.216 with HTTP; Fri, 24 Sep 2010 05:42:24 -0700 (PDT) In-Reply-To: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> Date: Fri, 24 Sep 2010 14:42:24 +0200 Message-ID: Subject: Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more From: ben kuin To: Yoann Padioleau , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; pfff:01 ocaml:01 pfff:01 lib:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 canasse:01 thorsten:01 ohl:01 filliatre:01 another error: ~~~~~~~~~~~~~~~~~~~~ lang_php/analyze/checker' make[1]: Leaving directory `/code/lab/pfff/aryx-pfff-22ece30' make pfff pfff_tags sgrep spatch ppp make[1]: Entering directory `/code/lab/pfff/aryx-pfff-22ece30' make[1]: *** No rule to make target `lang_ml/analyze/lib.cma', needed by `pfff'. Stop. make[1]: Leaving directory `/code/lab/pfff/aryx-pfff-22ece30' make: *** [all] Error 2 ~~~~~~~~~~~~~~~~~~~~~ On Fri, Sep 24, 2010 at 8:23 AM, Yoann Padioleau wrote= : > Hi list, > > It is my pleasure to announce pfff_visual, a code visualizer/navigator > for OCaml. Note that this is not a replacement for Emacs or vi, but more = a > companion that works with Emacs/Vi. > > A demo is available here: > part1:=A0http://www.youtube.com/watch?v=3DHRZjBGD3osw > part2:=A0http://www.youtube.com/watch?v=3D993pmNLY_VU > > pfff_visual is using pfff, which is mainly an OCaml API to write > static analysis, dynamic analysis, code visualizations, code > navigations, or style-preserving source-to-source transformations such > as refactorings on source code. For now the effort is focused on PHP > but there is preliminary support for Javascript, and C++ code. > There is also preliminary support for OCaml code so that the infrastructu= re > can be used on the code of pfff itself. > > You can get the source of pfff and pfff_visual here: > http://github.com/facebook/pfff > > Here is how to install it: > $ git clone git@github.com:facebook/pfff.git > $ ./configure > $ make depend; make; make opt > $ ./pfff_visual /path/to/project/using/supported/languages > > pfff has been tested on MacOS and Linux and is licensed under the LGPL. > > Thanks to > - Lex Stein for ocamlbdb > - Olivier Andrieu for ocamlcairo > - Jacques Garrigue for ocamlgtk > - Martin Jambon, Mika Illouz and Gert Stolpmann for lib-json > - Nicolas Canasse for lib-xml > - Jane Street for lib-sexp > - Thomas Gazagnaire for dynType > - Maas-Maarten Zeeman for OUnit.ml > - Thorsten Ohl for xHTML.ml > - Sylvain Conchon, Jean-Christophe Filli=E2tre and Julien Signoles for > =A0=A0ocamlgraph > - Xavier Leroy for ocamlmpi > - Markus Mottl for ocamlpcre > - Iain Proctor for ocamlthrift > - Guillaume Cottenceau for pleac > > > Enjoy. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > >