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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CCF85BC57 for ; Fri, 24 Sep 2010 14:39:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYCAJM4nEzRVda2imdsb2JhbACUFI4kCBUBAQEKCQwHDwUfqHaJPYIUb4VaLohVAQEDBYU+BIo6hHg X-IronPort-AV: E=Sophos;i="4.57,229,1283724000"; d="scan'208";a="73337713" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Sep 2010 14:39:30 +0200 Received: by iwn34 with SMTP id 34so3580608iwn.27 for ; Fri, 24 Sep 2010 05:39:29 -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=0UKraqnm29r5gsYoLP73lh7MEg+aa893aBoC32U9/iQ=; b=so0XF9cxaZqiL60YuMDmUlfLNloUIXKc2xnIMftXSA82xucb0U4axtZYnuepO4SyBa ymNqDC7Z3pfDKwPP3xgqXYm/CUQ1sxIUwq8IzLOwxcbjYSCqrQEuv4jbJ780JOTGcIfy Gx0PtA0MkE0ZmUjvEM31yGQMA2TSWffZ+ZACU= 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=HIPAWj4UnAqmhzIrzq7ShJCDwyaGL/6xUoHwpPMdC5x69UQ09rz/xfn3wk9IEwHqac yoqSChfTpxcRVwZPc7mdUuFzkF0dlAhy5F7fdzDuGv3c6ttGsueuc1x4GoXe1+fESRiM uCm2JZNG6ipJ75C4mO62FDZzqXM4jwsCOvYxU= MIME-Version: 1.0 Received: by 10.231.19.74 with SMTP id z10mr3690117iba.120.1285331969378; Fri, 24 Sep 2010 05:39:29 -0700 (PDT) Received: by 10.231.212.216 with HTTP; Fri, 24 Sep 2010 05:39:29 -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:39:29 +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 makefile:01 makefile:01 ocamlc:01 -thread:01 mli:01 pfff:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 I might have found a small error in a Makefile in h_visualizations, where a '-I' is missing ~~~~~~~~~~~~~~~ diff h_visualization/Makefile.orig h_visualization/Makefile 22c22 < INCLUDES=3D -I $(TOP)/commons $(TOP)/commons/lib-json --- > INCLUDES=3D -I $(TOP)/commons -I $(TOP)/commons/lib-json ~~~~~~~~~~~~~~~~~ because something like: ocamlc -g -dtypes -thread -I ../commons ../commons/lib-json/ -c figures.mli (without repetition of '-I') won't compile on my machine. 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 > >