use 'default' ilp solver if nothing specified

diff --git a/ir/be/bemain.c b/ir/be/bemain.c
index cb4aefb..47eceac 100644 (file)
--- a/ir/be/bemain.c
+++ b/ir/be/bemain.c
@@ -87,7 +87,7 @@ static be_options_t be_options = {
        0,                                 /* create PIC code */
        BE_VERIFY_WARN,                    /* verification level: warn */
        "",                                /* ilp server */
-       "cplex",                           /* ilp solver */
+       "",                                /* ilp solver */
        0,                                 /* enable statistic event dumping */
        "",                                /* print stat events */
 };

diff --git a/ir/lpp/lpp_solvers.c b/ir/lpp/lpp_solvers.c
index 104b8f2..a8610d0 100644 (file)
--- a/ir/lpp/lpp_solvers.c
+++ b/ir/lpp/lpp_solvers.c
@@ -41,6 +41,9 @@ lpp_solver_func_t *lpp_find_solver(const char *name)
 {
        int i;
 
+       if (name[0] == '\0')
+               return lpp_solvers[0].solver;
+
        for(i = 0; lpp_solvers[i].solver != NULL; i++)
                if(strcmp(lpp_solvers[i].name, name) == 0)
                        return lpp_solvers[i].solver;