From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 26 Sep 2014 12:16:38 +0000 (-0400)
Subject: Fix some configuration-related oddness.
X-Git-Tag: cvc5-1.0.0~6509^2~27
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=191b98fb51580f9c7e54b533433c95b56602cb5a;p=cvc5.git

Fix some configuration-related oddness.
---

diff --git a/config/abc.m4 b/config/abc.m4
index 0d91a36a5..faeb68cf2 100644
--- a/config/abc.m4
+++ b/config/abc.m4
@@ -9,7 +9,7 @@ ABC_LIBS=
 ABC_LDFLAGS=
 if test "$with_abc" = no; then
   AC_MSG_RESULT([no, abc disabled by user])
-elif test "$with_abc" = yes; then
+elif test -n "$with_abc"; then
   AC_MSG_RESULT([yes, abc requested by user])
 
   # Get the location of all the ABC stuff
diff --git a/config/glpk.m4 b/config/glpk.m4
index 2799d5a77..8d16fceee 100644
--- a/config/glpk.m4
+++ b/config/glpk.m4
@@ -9,7 +9,7 @@ GLPK_LIBS=
 GLPK_LDFLAGS=
 if test "$with_glpk" = no; then
   AC_MSG_RESULT([no, glpk disabled by user])
-elif test "$with_glpk" = yes; then
+elif test -n "$with_glpk"; then
   AC_MSG_RESULT([yes, glpk requested by user])
 
   # Get the location of all the GLPK stuff