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 <[email protected]> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
