we always have liblpp now, remove WITH_ILP flag
authorMatthias Braun <matze@braunis.de>
Thu, 16 Jun 2011 11:32:06 +0000 (13:32 +0200)
committerMatthias Braun <matze@braunis.de>
Thu, 16 Jun 2011 11:33:09 +0000 (13:33 +0200)
ir/be/becopyilp.c
ir/be/becopyilp2.c
ir/be/becopyilp_t.h
ir/lpp/lpp_cplex.c

index 57fdab4..87646de 100644 (file)
@@ -37,8 +37,6 @@
 #include "lc_opts.h"
 #include "lc_opts_enum.h"
 
-#ifdef WITH_ILP
-
 #define DUMP_ILP 1
 #define DUMP_SOL 2
 
@@ -265,11 +263,3 @@ void free_ilp_env(ilp_env_t *ienv)
        free_lpp(ienv->lp);
        free(ienv);
 }
-
-#else /* WITH_ILP */
-
-static inline void only_that_you_can_compile_without_WITH_ILP_defined(void)
-{
-}
-
-#endif /* WITH_ILP */
index 36dad10..61cf23b 100644 (file)
@@ -46,8 +46,6 @@
  */
 #include "config.h"
 
-#ifdef WITH_ILP
-
 #include "bitset.h"
 #include "raw_bitset.h"
 #include "pdeq.h"
@@ -590,11 +588,3 @@ int co_solve_ilp2(copy_opt_t *co)
 
        return sol_state == lpp_optimal;
 }
-
-#else /* WITH_ILP */
-
-static inline void only_that_you_can_compile_without_WITH_ILP_defined(void)
-{
-}
-
-#endif /* WITH_ILP */
index a73d07e..5f31c12 100644 (file)
@@ -115,9 +115,8 @@ static inline int co_ilp_get_costs(copy_opt_t *co, ir_node *root, ir_node *arg)
 
  *****************************************************************************/
 
-#ifdef WITH_ILP
-#include <lpp/lpp.h>
-#include <lpp/lpp_net.h>
+#include "lpp.h"
+#include "lpp_net.h"
 
 #define EPSILON 0.00001
 
@@ -148,5 +147,3 @@ void free_ilp_env(ilp_env_t *ienv);
                        name_cdd(buf, char1, MIN(int1, int2), MAX(int1, int2))
 
 #endif
-
-#endif
index d6a1f3b..f6270fa 100644 (file)
@@ -4,12 +4,15 @@
  * Copyright:   (c) Universitaet Karlsruhe
  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
  */
+#include "config.h"
 
 #include "lpp_cplex.h"
 
 #include <stdio.h>
 #include <stdlib.h>
 
+#ifdef WITH_CPLEX
+
 
 #ifdef _WIN32
 #include <malloc.h>
@@ -266,3 +269,5 @@ void lpp_solve_cplex(lpp_t *lpp) {
        cpx_solve(cpx);
        free_cpx(cpx);
 }
+
+#endif