diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-07-04 02:00:42 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-07-04 02:00:42 +0000 |
commit | cc726b5080f8926a3cb96a1b9d1098ad8725ab86 (patch) | |
tree | e27572b69cefa5cbc2addb6e19c0c5a13e402746 /configure.ac | |
parent | 33f1138d8ab09bf133b945647d9239befe297d5e (diff) |
make dist && make distcheck functional, other fixes
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 49e35f71e..4cdeb4955 100644 --- a/configure.ac +++ b/configure.ac @@ -244,6 +244,9 @@ AM_CONDITIONAL([CVC4_GMP_IMP], [test $cvc4_cln_or_gmp = gmp]) # construct the build string AC_MSG_CHECKING([for appropriate build string]) +if test -z "$ac_confdir"; then + ac_confdir="$srcdir" +fi build_type=`$ac_confdir/config/build-type $with_build $btargs $cvc4_cln_or_gmp` if test "$custom_build_profile" = yes; then if test "$with_build" = default; then |