[racket] Redex on Windows - problem with GraphViz / find-executable-path

Perhaps something more general is better, but for now I've pushed
something so that redex uses "dot.exe" and "neato.exe" under windows.

Thanks,
Robby

On Tue, Jan 17, 2012 at 12:34 PM, Rodolfo Carvalho <rhcarvalho at gmail.com> wrote:
> Hi,
>
> I'm playing with lc-with-redex by Jos Koot, with example uses of Redex.
>
> When I use the traces function (miu-traces.rkt) I get the "PLT Redex
> Reduction Graph" window, but if I try to redo the layout, clicking on "Fix
> layout" I get an error:
> "Could not find the dot binary".
>
> I figured out it is about dot from GraphViz, but I couldn't find anywhere in
> the docs any mention to this dependency.
>
> Anyway, I installed GraphViz and made sure that its bin/ directory is in the
> path.
>
> However, Redex (dot.rkt) searches for the executable using
> (find-executable-path "dot"), which doesn't work since on Windows it is
> called dot.exe.
>
> (find-executable-path "dot.exe") works.
>
>
> I believe this kind of problem may arise in other situations. Windows has a
> PATHEXT environment variable that maybe could be used in
> find-executable-path to try appending an extension to the name of the
> executable (eg: .exe, .bat, ...).
>
> Or maybe there is a better way to patch this part of Redex to support
> Windows?
>
>
> []'s
> Rodolfo Carvalho
>
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users
>