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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id D3511BC57 for ; Fri, 24 Sep 2010 16:09:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkEANtNnExQDPIwZmdsb2JhbACUFI4tFQ0LCAgSAx+1ao5nhUMEhFCIaIF6 X-IronPort-AV: E=Sophos;i="4.57,230,1283724000"; d="scan'208";a="59115787" Received: from smtp21.orange.fr ([80.12.242.48]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 16:09:06 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2114.orange.fr (SMTP Server) with ESMTP id C0D901C0012E; Fri, 24 Sep 2010 16:09:05 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2114.orange.fr (SMTP Server) with ESMTP id B327E1C0023D; Fri, 24 Sep 2010 16:09:05 +0200 (CEST) Received: from [192.168.1.114] (c-67-188-213-250.hsd1.ca.comcast.net [67.188.213.250]) by mwinf2114.orange.fr (SMTP Server) with ESMTP id D2BF61C0012E; Fri, 24 Sep 2010 16:09:04 +0200 (CEST) X-ME-UUID: 20100924140904863.D2BF61C0012E@mwinf2114.orange.fr X-ME-User-Auth: padator@wanadoo.fr Subject: Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 From: Yoann Padioleau In-Reply-To: Date: Fri, 24 Sep 2010 07:09:03 -0700 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <1CD5AA7C-02AF-4D76-8EC1-87A46CA158EF@wanadoo.fr> References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> To: ben kuin X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; pfff:01 ocaml:01 pfff:01 tarballs:01 lib:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 canasse:01 thorsten:01 ohl:01 On Sep 24, 2010, at 5:42 AM, ben kuin wrote: > another error: >=20 > ~~~~~~~~~~~~~~~~~~~~ > 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' This is because you didn't download the latest version. You can try: git clone git://github.com/facebook/pfff.git You can also download pfff tarballs from this page: http://github.com/facebook/pfff/archives/master > 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 > ~~~~~~~~~~~~~~~~~~~~~ >=20 >=20 >=20 > On Fri, Sep 24, 2010 at 8:23 AM, Yoann Padioleau = wrote: >> Hi list, >>=20 >> 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. >>=20 >> A demo is available here: >> part1: http://www.youtube.com/watch?v=3DHRZjBGD3osw >> part2: http://www.youtube.com/watch?v=3D993pmNLY_VU >>=20 >> 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 = infrastructure >> can be used on the code of pfff itself. >>=20 >> You can get the source of pfff and pfff_visual here: >> http://github.com/facebook/pfff >>=20 >> 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 >>=20 >> pfff has been tested on MacOS and Linux and is licensed under the = LGPL. >>=20 >> 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 >> ocamlgraph >> - Xavier Leroy for ocamlmpi >> - Markus Mottl for ocamlpcre >> - Iain Proctor for ocamlthrift >> - Guillaume Cottenceau for pleac >>=20 >>=20 >> Enjoy. >>=20 >> _______________________________________________ >> 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 >>=20 >>=20