Hi,<br><br>I'm playing with <span style lang="EN-GB"><a href="http://telefonica.net/web2/koot/lc-with-redex.zip"><span class="SpellE"><span style lang="FR">lc</span></span><span style lang="FR">-<span class="SpellE">with</span>-<span class="SpellE">redex</span></span></a> by Jos Koot, with example uses of Redex.<br>
<br>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:<br>"Could not find the dot binary".<br>
<br>I figured out it is about dot from GraphViz, but I couldn't find anywhere in the docs any mention to this dependency.<br><br>Anyway, I installed GraphViz and made sure that its bin/ directory is in the path.<br><br>
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.<br><br>(find-executable-path "dot.exe") works.<br>
<br><br>I believe this kind of problem may arise in other situations. Windows has a PATHEXT environment variable that maybe could be used in </span><span style lang="EN-GB">find-executable-path to try appending an extension to the name of the executable (eg: .exe, .bat, ...).<br>
<br>Or maybe there is a better way to patch this part of Redex to support Windows?<br><br><br></span><span style lang="EN-GB"></span>[]'s<br clear="all">Rodolfo Carvalho<br>