From 2a9fdddfdc3c8c1aa066df794eaa1b4f751c0612 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 28 Jun 2010 17:30:16 +0200 Subject: [PATCH] configure.in: stop compiling Omega by default --- README | 4 ++-- configure.in | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README b/README index 6dc7a86..7374b83 100644 --- a/README +++ b/README @@ -45,8 +45,8 @@ Also note that if you have previously installed a shared library of an older version of barvinok, and you do not install one for this version, then the linker may pick up the old shared library rather than the new static library. -If you don't want to compile and use Omega, then configure with -the --without-omega option. +If you want to compile and use the included Omega, then configure with +the --with-omega=bundled option. Then diff --git a/configure.in b/configure.in index 38e054c..e5f203a 100644 --- a/configure.in +++ b/configure.in @@ -295,7 +295,7 @@ if test "$with_zsolve" != "no"; then fi AM_CONDITIONAL(USE_ZSOLVE, test x$use_zsolve = xtrue) -AX_SUBMODULE(omega,no|bundled|system,bundled) +AX_SUBMODULE(omega,no|bundled|system,no) AC_SUBST(OMEGA_CPPFLAGS) AC_SUBST(OMEGA_LDFLAGS) -- 2.11.4.GIT