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 63D42BC57 for ; Fri, 24 Sep 2010 08:24:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0EAKPgm0xQDPIaYGdsb2JhbACaH4gYCxcLCAYUAx+2Zo5qhUIEgVqCdIhogXo X-IronPort-AV: E=Sophos;i="4.57,227,1283724000"; d="scan'208,217";a="71328177" Received: from smtp20.orange.fr ([80.12.242.26]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 08:24:00 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id B6CE5200019B for ; Fri, 24 Sep 2010 08:23:59 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id A773620001BD for ; Fri, 24 Sep 2010 08:23:59 +0200 (CEST) Received: from [192.168.1.114] (c-67-188-213-250.hsd1.ca.comcast.net [67.188.213.250]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id C2F79200019B for ; Fri, 24 Sep 2010 08:23:58 +0200 (CEST) X-ME-UUID: 20100924062358798.C2F79200019B@mwinf2014.orange.fr X-ME-User-Auth: padator@wanadoo.fr From: Yoann Padioleau Content-Type: multipart/alternative; boundary=Apple-Mail-1--87926334 Subject: [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Date: Thu, 23 Sep 2010 23:23:55 -0700 Message-Id: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> To: caml users Mime-Version: 1.0 (Apple Message framework v1081) X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; pfff:01 ocaml:01 pfff:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 canasse:01 thorsten:01 ohl:01 filliatre:01 signoles:01 --Apple-Mail-1--87926334 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 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: http://www.youtube.com/watch?v=3DHRZjBGD3osw part2: http://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 = infrastructure 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=20 - 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=20= ocamlgraph - Xavier Leroy for ocamlmpi - Markus Mottl for ocamlpcre - Iain Proctor for ocamlthrift - Guillaume Cottenceau for pleac Enjoy. --Apple-Mail-1--87926334 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 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: http://www.youtube.c= om/watch?v=3DHRZjBGD3osw
part2: http://www.youtube.c= om/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 infrastructure
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 
  ocamlgraph
- Xavier Leroy for = ocamlmpi
- Markus Mottl for ocamlpcre
- Iain Proctor for = ocamlthrift
- Guillaume Cottenceau for = pleac


Enjoy.
= --Apple-Mail-1--87926334-- 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 > > 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 > > 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 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 41EA6BC57 for ; Fri, 24 Sep 2010 16:30:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4CAIpSnEzRVdW2kGdsb2JhbACUFI4lCBUBAQEBCQkMBxEDH6lriT2CFG+FXC6IVQEBAwWFPgSKOoR4 X-IronPort-AV: E=Sophos;i="4.57,230,1283724000"; d="scan'208";a="73354599" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Sep 2010 16:30:35 +0200 Received: by yxn35 with SMTP id 35so1367529yxn.27 for ; Fri, 24 Sep 2010 07:30:35 -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=Ma4Erh3eSfiK0HOBC+toT5CUe3vapOO6jjx5+qWxivI=; b=sry7/kxfgR6/DgAIuUIpEnmQJmPPkysX1eA21+ppDwOHb+Q8vAz1q6pcu7+I3SshOo 0ingVLS60kRsPtakqqbzCCIWE6zvaDVIy98TTMtLcx+gTW5WbDENLVc7eobEzZQKi/Mo +s4x5mTky/umhCSOX4AqF2U428Rz7xa8Re0sY= 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=GyfWvQ4EfX62s21Rm750plscNXUqd7L899oLqzEKnaDAb+CYzwkfJD3DtiJfHocI8g 3pr98rG7SFXuPUAgj9lmbV+x4QVhlVvHSkIFnp899h1nEZ8qpGtltnidbnvbhrS0Dpvp DUE/G66r19dwNXeqHNluJ0iDOWddQiqxA2x6w= MIME-Version: 1.0 Received: by 10.150.52.9 with SMTP id z9mr2521244ybz.266.1285338634739; Fri, 24 Sep 2010 07:30:34 -0700 (PDT) Received: by 10.231.212.216 with HTTP; Fri, 24 Sep 2010 07:30:34 -0700 (PDT) In-Reply-To: <1CD5AA7C-02AF-4D76-8EC1-87A46CA158EF@wanadoo.fr> References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> <1CD5AA7C-02AF-4D76-8EC1-87A46CA158EF@wanadoo.fr> Date: Fri, 24 Sep 2010 16:30:34 +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 ocamlc:01 -thread:01 cmi:01 cmo:01 tarballs:01 lib:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 > You can try: git clone git://github.com/facebook/pfff.git ok did that, but new error: ./configure && make depend make ~~~~~ make[3]: Entering directory `/code/lab/pfff/latest/pfff/commons' ocamlc -g -dtypes -thread -I ocamlextra -I ocollection -I lib-sexp -I lib-json -I lib-xml -I ../external/ocamlgraph -c graph.ml File "graph.ml", line 1, characters 0-1: Error: ../external/ocamlgraph/ocamlgraph.cmi is not a compiled interface make[3]: *** [graph.cmo] Error 2 ~~~~~~ On Fri, Sep 24, 2010 at 4:09 PM, Yoann Padioleau wrote= : > > On Sep 24, 2010, at 5:42 AM, ben kuin wrote: > >> 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' > > 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'. =A0Stop. >> 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 wr= ote: >>> 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 mor= e a >>> companion that works with Emacs/Vi. >>> >>> A demo is available here: >>> part1: http://www.youtube.com/watch?v=3DHRZjBGD3osw >>> part2: http://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 infrastruc= ture >>> 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 ocamlgraph >>> - 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 >>> >>> > > > > 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 C68DDBC57 for ; Fri, 24 Sep 2010 17:09:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjMHAK9bnExQDPIbYGdsb2JhbACUFIYPAYgdCxcLCAYUAx+2aI5khUMEgVyCdIhogXo X-IronPort-AV: E=Sophos;i="4.57,230,1283724000"; d="scan'208,217";a="71365674" Received: from smtp20.orange.fr ([80.12.242.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 17:09:01 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id A70532000160 for ; Fri, 24 Sep 2010 17:09:00 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id 92DE4200019F for ; Fri, 24 Sep 2010 17:09:00 +0200 (CEST) Received: from [192.168.1.114] (c-67-188-213-250.hsd1.ca.comcast.net [67.188.213.250]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id A55DF2000160 for ; Fri, 24 Sep 2010 17:08:59 +0200 (CEST) X-ME-UUID: 20100924150859677.A55DF2000160@mwinf2012.orange.fr X-ME-User-Auth: padator@wanadoo.fr From: Yoann Padioleau Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: multipart/alternative; boundary=Apple-Mail-4--56423506 Subject: Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Date: Fri, 24 Sep 2010 08:08:58 -0700 In-Reply-To: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> To: caml users References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> Message-Id: <5411501F-8CE2-4C30-BB81-E005D6A2A738@wanadoo.fr> X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; pfff:01 ocaml:01 pfff:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 canasse:01 thorsten:01 ohl:01 filliatre:01 signoles:01 --Apple-Mail-4--56423506 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 On Sep 23, 2010, at 11:23 PM, 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 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=20 > - 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=20= > 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 --Apple-Mail-4--56423506 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1

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://pad= ator.org/software/pfff/pfff_ocaml_source.jpg

Th= e 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:


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.

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 
  ocamlgraph
- Xavier Leroy for = ocamlmpi
- Markus Mottl for ocamlpcre
- Iain Proctor for = ocamlthrift
- Guillaume Cottenceau for = pleac


Enjoy.
_________________________________________= ______
Caml-list mailing list. Subscription management:
http://y= quem.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

= --Apple-Mail-4--56423506-- 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 6AA9EBC58 for ; Sat, 25 Sep 2010 23:16:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au0CAOcDnkzRVdY2f2dsb2JhbACUHY4oCBUBAQsJJAMfqgqJPYIUb4UULohVAQEDBYU+BIo6hHg X-IronPort-AV: E=Sophos;i="4.57,236,1283724000"; d="scan'208";a="71457966" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Sep 2010 23:15:56 +0200 Received: by bwz15 with SMTP id 15so4358849bwz.27 for ; Sat, 25 Sep 2010 14:15:55 -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:cc:content-type :content-transfer-encoding; bh=Et3ujnlvbPH4iqM55zrI4B9UHNInLVjgGnZwRiMvtb4=; b=EK4OmBZJmiQcFb562c7AvP8EiOMQtHR7cVu21Y+Yj9+kRridicGjjw+s3osigkvjXa i5g/bAFNTgq9Qqy4TTwqSXOuuWCOlwZ3n1ZJ6JqDA7hZwSvnTEgmM2+F8r9sNzkHJiYG pqUyfjVC1FymdTWdy10xTXSdfEMJvrQdqXSmQ= 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 :cc:content-type:content-transfer-encoding; b=bwPwxzH4Bym1KrNY71L+nRiFNGfpKboSSfrymt32sy/l/ImVfVql+KpppLQV5mqb1D f+YqERDaDMDI1Y3Gn2bGLqlhYIMC0/BSAvR23mD+i5CWmqA8MPLxFGovEa0TAzTR9Rt2 HhWHKANt6yI36dCHAnb751b+VuM/ZS1z4Ty5g= MIME-Version: 1.0 Received: by 10.204.23.77 with SMTP id q13mr3428092bkb.191.1285449354410; Sat, 25 Sep 2010 14:15:54 -0700 (PDT) Received: by 10.204.120.4 with HTTP; Sat, 25 Sep 2010 14:15:54 -0700 (PDT) In-Reply-To: <5411501F-8CE2-4C30-BB81-E005D6A2A738@wanadoo.fr> References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> <5411501F-8CE2-4C30-BB81-E005D6A2A738@wanadoo.fr> Date: Sat, 25 Sep 2010 18:15:54 -0300 Message-ID: Subject: Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more From: Andrei Formiga To: Yoann Padioleau Cc: caml users Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; pfff:01 ocaml:01 formiga:01 formiga:01 pfff:01 dependencies:01 makefiles:01 ocamlc:01 cmo:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 Hi, 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? Right now the error I'm seeing seems to be related to ocaml-bdb, though I have a version installed (and working) through GODI: 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 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 So maybe this would work if the build could use the version I already have installed. --=20 []s, Andrei Formiga On Fri, Sep 24, 2010 at 12:08 PM, Yoann Padioleau wrot= e: > > On Sep 23, 2010, at 11:23 PM, 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: http://www.youtube.com/watch?v=3DHRZjBGD3osw > part2: http://www.youtube.com/watch?v=3D993pmNLY_VU > > 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 h= ave > 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 > > 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 > ocamlgraph > - 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 > > > _______________________________________________ > 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 > > 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