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 44ACBBC57 for ; Sun, 26 Sep 2010 01:18:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcDAE0gnkxQDPIaYGdsb2JhbACUHY4wCxcLCAYUAx+2UY4IhUMEhFCIaBaBZA X-IronPort-AV: E=Sophos;i="4.57,237,1283724000"; d="scan'208";a="59216965" Received: from smtp20.orange.fr ([80.12.242.26]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2010 01:18:29 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2027.orange.fr (SMTP Server) with ESMTP id 5C5222000809; Sun, 26 Sep 2010 01:18:29 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2027.orange.fr (SMTP Server) with ESMTP id 484BB2000812; Sun, 26 Sep 2010 01:18:29 +0200 (CEST) Received: from [172.23.56.171] (unknown [67.218.98.104]) by mwinf2027.orange.fr (SMTP Server) with ESMTP id 55AC32000809; Sun, 26 Sep 2010 01:18:28 +0200 (CEST) X-ME-UUID: 20100925231828351.55AC32000809@mwinf2027.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: Sat, 25 Sep 2010 16:18:26 -0700 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <2E2E0552-5A8B-4CEC-83DB-556DBA96DD03@wanadoo.fr> References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> <5411501F-8CE2-4C30-BB81-E005D6A2A738@wanadoo.fr> To: Andrei Formiga X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; pfff:01 ocaml:01 formiga:01 pfff:01 dependencies:01 makefiles:01 ocamlc:01 usr:01 cmo:01 formiga:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 On Sep 25, 2010, at 2:15 PM, Andrei Formiga wrote: >=20 > Hi, Hi, >=20 > I like the idea of code visualization and would like to try > pfff_visual. Alas, I'm having trouble building it. The first thing I > noticed is that the repository bundles versions of all its > dependencies, apparently. I have most of these installed already > through GODI, and I didn't look at the makefiles, but does the code > try to use the system versions of the libraries, if present? Nope. It is using only library code from external/. > Right now > the error I'm seeing seems to be related to ocaml-bdb, I've updated the git repository to remove the dependency to ocamlbdb (it = is used now only when processing PHP code, which I guess you don't care). Can = you pull again or download the latest version (git clone = git://github.com/facebook/pfff.git ) and use ./configure -nobdb ? > though I have a > version installed (and working) through GODI: >=20 > make[2]: Entering directory `/home/andrei/tmp/pfff/external/ocamlbdb' > ocamlc -c bdb.ml > File "bdb.ml", line 255, characters 19-30: > Error: Unbound constructor DB_NOTFOUND Could you send me bdb.ml and /usr/include/db.h ? Which OS are you using ? > make[2]: *** [bdb.cmo] Error 2 > make[2]: Leaving directory `/home/andrei/tmp/pfff/external/ocamlbdb' > make[1]: *** [rec] Error 2 > make[1]: Leaving directory `/home/andrei/tmp/pfff' > make: *** [all] Error 2 >=20 > So maybe this would work if the build could use the version I already > have installed. >=20 >=20 > --=20 > []s, Andrei Formiga >=20 >=20 > On Fri, Sep 24, 2010 at 12:08 PM, Yoann Padioleau = wrote: >>=20 >> On Sep 23, 2010, at 11:23 PM, Yoann Padioleau wrote: >>=20 >> 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 >> For the people who refuse to vomit while watching a video, >> here are a few screenshots of the visualizer applied on the linux >> kernel source, the ocaml source, and the source of pfff itself: >> http://padator.org/software/pfff/pfff_linux_source.jpg >> http://padator.org/software/pfff/pfff_ocaml_source.jpg >> http://padator.org/software/pfff/pfff_ocaml_source2.jpg >> http://padator.org/software/pfff/pfff_ocaml_source3.jpg >> http://padator.org/software/pfff/pfff_pfff_source.jpg >> The screenshots can not show the integration with Emacs though. = You'll have >> to suffer and watch the videos for that. >> If you don't have git, you can still download pfff by following this = link: >> http://github.com/facebook/pfff/archives/master >>=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. >> _______________________________________________ >> 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 >> _______________________________________________ >> 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 >=20