If you do `(require redex)` it loads the gui parts of Redex automatically. You can test that program without the GUI by using `(require redex/reduction-semantics)` instead.
Sam On Thu, Oct 22, 2015 at 12:25 PM, Anton Podkopaev <podkoav...@gmail.com> wrote: > Hello! > > I'm trying to use a build server (Travis) with my Redex project. It compiles > without errors, but for all test files a `raco test` returns > > Gtk initialization failed for display ":0" > context...: > /usr/racket/share/pkgs/gui-lib/mred/private/wx/gtk/queue.rkt: [running body] > /usr/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing > imports] > /usr/racket/share/pkgs/gui-lib/mred/private/mred.rkt: [traversing imports] > > There are no 'stepper' or 'traces' commands. I was using #lang racket/gui in > one file, but commenting it out hasn't solved the situation. > Is there anything what I can do about this problem? > > BR, > Anton Podkopaev, PhD student, SPbSU > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
