caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
@ 2010-09-24  6:23 Yoann Padioleau
  2010-09-24 12:39 ` [Caml-list] " ben kuin
                   ` (2 more replies)
  0 siblings, 3 replies; 9+ messages in thread
From: Yoann Padioleau @ 2010-09-24  6:23 UTC (permalink / raw)
  To: caml users

[-- Attachment #1: Type: text/plain, Size: 1676 bytes --]

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=HRZjBGD3osw
part2: http://www.youtube.com/watch?v=993pmNLY_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âtre and Julien Signoles for 
  ocamlgraph
- Xavier Leroy for ocamlmpi
- Markus Mottl for ocamlpcre
- Iain Proctor for ocamlthrift
- Guillaume Cottenceau for pleac


Enjoy.

[-- Attachment #2: Type: text/html, Size: 2098 bytes --]

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24  6:23 [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Yoann Padioleau
@ 2010-09-24 12:39 ` ben kuin
  2010-09-24 12:42 ` ben kuin
  2010-09-24 15:08 ` Yoann Padioleau
  2 siblings, 0 replies; 9+ messages in thread
From: ben kuin @ 2010-09-24 12:39 UTC (permalink / raw)
  To: Yoann Padioleau, caml-list

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= -I $(TOP)/commons $(TOP)/commons/lib-json
---
> INCLUDES= -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 <padator@wanadoo.fr> 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=HRZjBGD3osw
> part2: http://www.youtube.com/watch?v=993pmNLY_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âtre 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
>
>


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24  6:23 [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Yoann Padioleau
  2010-09-24 12:39 ` [Caml-list] " ben kuin
@ 2010-09-24 12:42 ` ben kuin
  2010-09-24 14:09   ` Yoann Padioleau
  2010-09-24 15:08 ` Yoann Padioleau
  2 siblings, 1 reply; 9+ messages in thread
From: ben kuin @ 2010-09-24 12:42 UTC (permalink / raw)
  To: Yoann Padioleau, caml-list

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 <padator@wanadoo.fr> 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=HRZjBGD3osw
> part2: http://www.youtube.com/watch?v=993pmNLY_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âtre 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
>
>


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24 12:42 ` ben kuin
@ 2010-09-24 14:09   ` Yoann Padioleau
  2010-09-24 14:30     ` ben kuin
  0 siblings, 1 reply; 9+ messages in thread
From: Yoann Padioleau @ 2010-09-24 14:09 UTC (permalink / raw)
  To: ben kuin; +Cc: caml-list


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'.  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 <padator@wanadoo.fr> 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=HRZjBGD3osw
>> part2: http://www.youtube.com/watch?v=993pmNLY_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âtre 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
>> 
>> 




^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24 14:09   ` Yoann Padioleau
@ 2010-09-24 14:30     ` ben kuin
  0 siblings, 0 replies; 9+ messages in thread
From: ben kuin @ 2010-09-24 14:30 UTC (permalink / raw)
  To: Yoann Padioleau, caml-list

> 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 <padator@wanadoo.fr> 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'.  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 <padator@wanadoo.fr> 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=HRZjBGD3osw
>>> part2: http://www.youtube.com/watch?v=993pmNLY_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âtre 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
>>>
>>>
>
>
>
>


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24  6:23 [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Yoann Padioleau
  2010-09-24 12:39 ` [Caml-list] " ben kuin
  2010-09-24 12:42 ` ben kuin
@ 2010-09-24 15:08 ` Yoann Padioleau
  2010-09-25 21:15   ` Andrei Formiga
  2 siblings, 1 reply; 9+ messages in thread
From: Yoann Padioleau @ 2010-09-24 15:08 UTC (permalink / raw)
  To: caml users

[-- Attachment #1: Type: text/plain, Size: 2875 bytes --]


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=HRZjBGD3osw
> part2: http://www.youtube.com/watch?v=993pmNLY_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

> 
> 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âtre 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


[-- Attachment #2: Type: text/html, Size: 4202 bytes --]

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-24 15:08 ` Yoann Padioleau
@ 2010-09-25 21:15   ` Andrei Formiga
  2010-09-25 23:18     ` Yoann Padioleau
  0 siblings, 1 reply; 9+ messages in thread
From: Andrei Formiga @ 2010-09-25 21:15 UTC (permalink / raw)
  To: Yoann Padioleau; +Cc: caml users

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.


-- 
[]s, Andrei Formiga


On Fri, Sep 24, 2010 at 12:08 PM, Yoann Padioleau <padator@wanadoo.fr> wrote:
>
> 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=HRZjBGD3osw
> part2: http://www.youtube.com/watch?v=993pmNLY_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
>
> 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âtre 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
>
>


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2010-09-25 21:15   ` Andrei Formiga
@ 2010-09-25 23:18     ` Yoann Padioleau
  0 siblings, 0 replies; 9+ messages in thread
From: Yoann Padioleau @ 2010-09-25 23:18 UTC (permalink / raw)
  To: Andrei Formiga; +Cc: caml users


On Sep 25, 2010, at 2:15 PM, Andrei Formiga wrote:

> 
> Hi,

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?

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:
> 
> 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
> 
> So maybe this would work if the build could use the version I already
> have installed.
> 
> 
> -- 
> []s, Andrei Formiga
> 
> 
> On Fri, Sep 24, 2010 at 12:08 PM, Yoann Padioleau <padator@wanadoo.fr> wrote:
>> 
>> 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=HRZjBGD3osw
>> part2: http://www.youtube.com/watch?v=993pmNLY_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
>> 
>> 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âtre 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
>> 
>> 
> 




^ permalink raw reply	[flat|nested] 9+ messages in thread

* [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more
@ 2010-09-24  5:58 Yoann Padioleau
  0 siblings, 0 replies; 9+ messages in thread
From: Yoann Padioleau @ 2010-09-24  5:58 UTC (permalink / raw)
  To: caml users

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=HRZjBGD3osw
 part2: http://www.youtube.com/watch?v=993pmNLY_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âtre and Julien Signoles for 
   ocamlgraph
 - Xavier Leroy for ocamlmpi
 - Markus Mottl for ocamlpcre
 - Iain Proctor for ocamlthrift
 - Guillaume Cottenceau for pleac


Enjoy.


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2010-09-25 23:18 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-09-24  6:23 [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Yoann Padioleau
2010-09-24 12:39 ` [Caml-list] " ben kuin
2010-09-24 12:42 ` ben kuin
2010-09-24 14:09   ` Yoann Padioleau
2010-09-24 14:30     ` ben kuin
2010-09-24 15:08 ` Yoann Padioleau
2010-09-25 21:15   ` Andrei Formiga
2010-09-25 23:18     ` Yoann Padioleau
  -- strict thread matches above, loose matches on Subject: below --
2010-09-24  5:58 Yoann Padioleau

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).