Commit 3821cefb authored by Christian Würdig's avatar Christian Würdig
Browse files

added WITH_ILP switch

added CVS ID tag
parent 388e5dc1
...@@ -3,11 +3,18 @@ ...@@ -3,11 +3,18 @@
* Date: 28.02.2006 * Date: 28.02.2006
* Copyright: (c) Universitaet Karlsruhe * Copyright: (c) Universitaet Karlsruhe
* Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
* $Id$
* *
* Common stuff used by all ILP fomulations. * Common stuff used by all ILP fomulations.
* *
*/ */
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#ifdef WITH_ILP
#include "becopyilp_t.h" #include "becopyilp_t.h"
#include "beifg_t.h" #include "beifg_t.h"
...@@ -166,3 +173,10 @@ void free_ilp_env(ilp_env_t *ienv) { ...@@ -166,3 +173,10 @@ void free_ilp_env(ilp_env_t *ienv) {
free_lpp(ienv->lp); free_lpp(ienv->lp);
free(ienv); free(ienv);
} }
#else /* WITH_ILP */
static void only_that_you_can_compile_without_WITH_ILP_defined(void) {
}
#endif /* WITH_ILP */
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment