SUBDIRS = src test doc contrib
+@mk_include@ @top_srcdir@/Makefile.reconf_args
+
.PHONY: production debug default competition
-production: ; (cd @top_srcdir@ && ./configure --with-build=production && $(MAKE))
-debug: ; (cd @top_srcdir@ && ./configure --with-build=debug && $(MAKE))
-default: ; (cd @top_srcdir@ && ./configure --with-build=default && $(MAKE))
-competition:; (cd @top_srcdir@ && ./configure --with-build=competition && $(MAKE))
+production debug default competition:
+ cd @top_srcdir@; \
+ dir="builds/`config/config.guess`/`config/build-type $@ $(BTARGS)`"; \
+ if test -e "$$dir"; then \
+ cd "$$dir" && $(MAKE); \
+ else \
+ ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \
+ fi
+
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
ps ps-am tags tags-recursive uninstall uninstall-am
+@mk_include@ @top_srcdir@/Makefile.reconf_args
+
.PHONY: production debug default competition
-production: ; (cd @top_srcdir@ && ./configure --with-build=production && $(MAKE))
-debug: ; (cd @top_srcdir@ && ./configure --with-build=debug && $(MAKE))
-default: ; (cd @top_srcdir@ && ./configure --with-build=default && $(MAKE))
-competition:; (cd @top_srcdir@ && ./configure --with-build=competition && $(MAKE))
+production debug default competition:
+ cd @top_srcdir@; \
+ dir="builds/`config/config.guess`/`config/build-type $@ $(BTARGS)`"; \
+ if test -e "$$dir"; then \
+ cd "$$dir" && $(MAKE); \
+ else \
+ ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \
+ fi
# Tell versions [3.59,3.63) of GNU make to not export all variables.
# Otherwise a system limit (for SysV at least) may be exceeded.
--- /dev/null
+# This makefile snippet maps make-time arguments to configure and
+# build-type arguments
+#
+# Morgan Deters <mdeters@cs.nyu.edu> 2009 for CVC4
+BTARGS =
+CONFARGS =
+
+ifeq ($(OPTIMIZE),0)
+ BTARGS += noopt
+ CONFARGS += --disable-optimized
+else
+ifeq ($(OPTIMIZE),1)
+ BTARGS += opt
+ CONFARGS += --enable-optimized
+endif
+endif
+
+ifeq ($(DEBUG_SYMBOLS),0)
+ BTARGS += nodsy
+ CONFARGS += --disable-debug-symbols
+else
+ifeq ($(DEBUG_SYMBOLS),1)
+ BTARGS += dsy
+ CONFARGS += --enable-debug-symbols
+endif
+endif
+
+ifeq ($(ASSERTIONS),0)
+ BTARGS += noass
+ CONFARGS += --disable-assertions
+else
+ifeq ($(ASSERTIONS),1)
+ BTARGS += ass
+ CONFARGS += --enable-assertions
+endif
+endif
+
+ifeq ($(TRACING),0)
+ BTARGS += notrc
+ CONFARGS += --disable-tracing
+else
+ifeq ($(TRACING),1)
+ BTARGS += trc
+ CONFARGS += --enable-tracing
+endif
+endif
+
+ifeq ($(MUZZLE),0)
+ BTARGS += nomzl
+ CONFARGS += --disable-muzzle
+else
+ifeq ($(MUZZLE),1)
+ BTARGS += mzl
+ CONFARGS += --enable-muzzle
+endif
+endif
+
+ifeq ($(COVERAGE),0)
+ BTARGS += nocvg
+ CONFARGS += --disable-coverage
+else
+ifeq ($(COVERAGE),1)
+ BTARGS += cvg
+ CONFARGS += --enable-coverage
+endif
+endif
+
+ifeq ($(PROFILING),0)
+ BTARGS += noprf
+ CONFARGS += --disable-profiling
+else
+ifeq ($(PROFILING),1)
+ BTARGS += prf
+ CONFARGS += --enable-profiling
+endif
+endif
+
--- /dev/null
+#!/bin/sh
+#
+# build-type
+# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
+#
+# usage: build-type profile [ overrides... ]
+#
+# Returns a build string for the given profile and overrides.
+# For example, "build-type debug noass" returns the canonical build
+# string for a debug build with assertions turned off.
+#
+# The default build directory for CVC4 is then (assuming a standard
+# debug build):
+#
+# builds/`config/config.guess`/`config/build-type debug`
+#
+# This script is used both in CVC4's configure script and in the
+# top-level Makefile when you build another profile than the
+# "current" build (to see if there already was a build of that type).
+#
+# The codes for overrides are as follows:
+#
+# opt - optimizing
+# dsy - debug symbols
+# ass - assertions
+# trc - tracing
+# mzl - muzzle
+# cvg - coverage
+# prf - profiling
+#
+
+if [ $# -eq 0 ]; then
+ echo "usage: build-type profile [ overrides... ]" >&2
+ exit
+fi
+
+build_type=$1
+shift
+
+while [ $# -gt 0 ]; do
+ case "$1" in
+ no*) eval `expr "$1" : 'no\(.*\)'`=0 ;;
+ *) eval $1=1 ;;
+ esac
+ shift
+done
+
+build_type_suffix=
+for arg in opt dsy ass trc mzl cvg prf; do
+ if eval [ -n '"${'$arg'+set}"' ]; then
+ if eval [ '"${'$arg'}"' -eq 0 ]; then
+ build_type_suffix=$build_type_suffix-no$arg
+ else
+ build_type_suffix=$build_type_suffix-$arg
+ fi
+ fi
+done
+
+echo $build_type$build_type_suffix
case $ac_option in
-*|*=*) ;;
*) ac_cvc4_build_profile_set=yes
- AC_MSG_WARN([building profile $ac_option])
+ AC_MSG_NOTICE([CVC4: building profile $ac_option])
ac_option="--with-build=$ac_option" ;;
esac
eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"$ac_option\""'
--- /dev/null
+#!/bin/sh
+#
+# mkbuilddir
+# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
+#
+# usage: mkbuilddir target build-type
+#
+# Sets up the builds/ directory for building build-type for target:
+# - removes configure detritus from top-level source directory
+# - makes builds/$target/$build_type directory if it's not already there
+# - links builds/Makefile to (possibly nonexistent) build Makefile
+# - creates the builds/current Makefile include snippet
+# - links builds/src and builds/test into build directory
+#
+
+if [ $# -ne 2 ]; then
+ echo 'usage: mkbuilddir target build_type' >&2
+ exit 1
+fi
+
+target=$1
+build_type=$2
+
+echo Setting up "builds/$target/$build_type"...
+rm -fv config.log config.status confdefs.h
+mkdir -pv "builds/$target/$build_type"
+ln -sfv "$target/$build_type/Makefile.builds" builds/Makefile
+
+echo Creating builds/current...
+(echo "# This is the most-recently-configured CVC4 build"; \
+ echo "# 'make' in the top-level source directory applies to this build"; \
+ echo "CURRENT_BUILD = $target/$build_type") > builds/current
+
+for dir in src test; do
+ echo Linking builds/$dir...
+ rm -f "builds/$dir"
+ ln -sfv "$target/$build_type/$dir" "builds/$dir"
+done
+
am__EXEEXT_TRUE
LTLIBOBJS
LIBOBJS
+mk_include
CVC4_PARSER_LIBRARY_VERSION
CVC4_LIBRARY_VERSION
CVC4_LIBRARY_RELEASE_CODE
case $ac_option in
-*|*=*) ;;
*) ac_cvc4_build_profile_set=yes
- $as_echo "$as_me: WARNING: building profile $ac_option" >&2
+ $as_echo "$as_me: CVC4: building profile $ac_option" >&6
ac_option="--with-build=$ac_option" ;;
esac
eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"$ac_option\""'
done
eval set x $ac_cvc4_rewritten_args
shift
-echo "args are now:" "${@}"
# Initialize some variables set by options.
ac_init_help=
else
non_standard_build_profile=yes
fi
-build_type_suffix=
+btargs=
if test -n "${enable_optimized+set}"; then
- if test "$enable_optimized" = no; then
- build_type_suffix=$build_type_suffix-noopt
+ if test "$enable_optimized" = yes; then
+ btargs="$btargs opt"
else
- build_type_suffix=$build_type_suffix-opt
+ btargs="$btargs noopt"
fi
fi
if test -n "${enable_debug_symbols+set}"; then
- if test "$enable_debug_symbols" = no; then
- build_type_suffix=$build_type_suffix-nodsy
+ if test "$enable_debug_symbols" = yes; then
+ btargs="$btargs dsy"
else
- build_type_suffix=$build_type_suffix-dsy
+ btargs="$btargs nodsy"
fi
fi
if test -n "${enable_assertions+set}"; then
- if test "$enable_assertions" = no; then
- build_type_suffix=$build_type_suffix-noass
+ if test "$enable_assertions" = yes; then
+ btargs="$btargs ass"
else
- build_type_suffix=$build_type_suffix-ass
+ btargs="$btargs noass"
fi
fi
if test -n "${enable_tracing+set}"; then
- if test "$enable_tracing" = no; then
- build_type_suffix=$build_type_suffix-notrc
+ if test "$enable_tracing" = yes; then
+ btargs="$btargs trc"
else
- build_type_suffix=$build_type_suffix-trc
+ btargs="$btargs notrc"
fi
fi
if test -n "${enable_muzzle+set}"; then
- if test "$enable_muzzle" = no; then
- build_type_suffix=$build_type_suffix-nomzl
+ if test "$enable_muzzle" = yes; then
+ btargs="$btargs mzl"
else
- build_type_suffix=$build_type_suffix-mzl
+ btargs="$btargs nomzl"
fi
fi
if test -n "${enable_coverage+set}"; then
- if test "$enable_coverage" = no; then
- build_type_suffix=$build_type_suffix-nocvg
+ if test "$enable_coverage" = yes; then
+ btargs="$btargs cvg"
else
- build_type_suffix=$build_type_suffix-cvg
+ btargs="$btargs nocvg"
fi
fi
if test -n "${enable_profiling+set}"; then
- if test "$enable_profiling" = no; then
- build_type_suffix=$build_type_suffix-noprf
+ if test "$enable_profiling" = yes; then
+ btargs="$btargs prf"
else
- build_type_suffix=$build_type_suffix-prf
+ btargs="$btargs noprf"
fi
fi
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $with_build" >&5
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for appropriate build string" >&5
$as_echo_n "checking for appropriate build string... " >&6; }
-build_type=$with_build$build_type_suffix
+build_type=`$ac_confdir/config/build-type $with_build $btargs`
if test "$non_standard_build_profile" = yes; then
if test "$with_build" = default; then
- build_type=custom$build_type_suffix
+ build_type=`$ac_confdir/config/build-type custom $btargs`
fi
fi
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $build_type" >&5
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: builds/$target/$build_type" >&5
$as_echo "builds/$target/$build_type" >&6; }
echo
- echo Setting up "builds/$target/$build_type"...
- rm -fv config.log config.status confdefs.h
- mkdir -pv "builds/$target/$build_type"
- ln -sfv "$target/$build_type/Makefile.builds" builds/Makefile
- echo Creating builds/current...
- (echo "# This is the most-recently-configured CVC4 build"; \
- echo "# 'make' in the top-level source directory applies to this build"; \
- echo "CURRENT_BUILD = $target/$build_type") > builds/current
- echo Linking builds/src...
- rm -f builds/src
- ln -sfv "$target/$build_type/src" builds/src
- echo Linking builds/test...
- rm -f builds/test
- ln -sfv "$target/$build_type/test" builds/test
+ if test -z "$ac_srcdir"; then
+ mkbuilddir=./config/mkbuilddir
+ else
+ mkbuilddir=$ac_srcdir/config/mkbuilddir
+ fi
+ echo $mkbuilddir "$target" "$build_type"
+ $mkbuilddir "$target" "$build_type"
echo cd "builds/$target/$build_type"
cd "builds/$target/$build_type"
CVC4_CONFIGURE_IN_BUILDS=yes; export CVC4_CONFIGURE_IN_BUILDS
else
lt_cv_nm_interface="BSD nm"
echo "int some_variable = 0;" > conftest.$ac_ext
- (eval echo "\"\$as_me:5414: $ac_compile\"" >&5)
+ (eval echo "\"\$as_me:5407: $ac_compile\"" >&5)
(eval "$ac_compile" 2>conftest.err)
cat conftest.err >&5
- (eval echo "\"\$as_me:5417: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
+ (eval echo "\"\$as_me:5410: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
(eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out)
cat conftest.err >&5
- (eval echo "\"\$as_me:5420: output\"" >&5)
+ (eval echo "\"\$as_me:5413: output\"" >&5)
cat conftest.out >&5
if $GREP 'External.*some_variable' conftest.out > /dev/null; then
lt_cv_nm_interface="MS dumpbin"
;;
*-*-irix6*)
# Find out which ABI we are using.
- echo '#line 6623 "configure"' > conftest.$ac_ext
+ echo '#line 6616 "configure"' > conftest.$ac_ext
if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
(eval $ac_compile) 2>&5
ac_status=$?
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:8091: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:8084: $lt_compile\"" >&5)
(eval "$lt_compile" 2>conftest.err)
ac_status=$?
cat conftest.err >&5
- echo "$as_me:8095: \$? = $ac_status" >&5
+ echo "$as_me:8088: \$? = $ac_status" >&5
if (exit $ac_status) && test -s "$ac_outfile"; then
# The compiler can only warn and ignore the option if not recognized
# So say no if there are warnings other than the usual output.
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:8430: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:8423: $lt_compile\"" >&5)
(eval "$lt_compile" 2>conftest.err)
ac_status=$?
cat conftest.err >&5
- echo "$as_me:8434: \$? = $ac_status" >&5
+ echo "$as_me:8427: \$? = $ac_status" >&5
if (exit $ac_status) && test -s "$ac_outfile"; then
# The compiler can only warn and ignore the option if not recognized
# So say no if there are warnings other than the usual output.
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:8535: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:8528: $lt_compile\"" >&5)
(eval "$lt_compile" 2>out/conftest.err)
ac_status=$?
cat out/conftest.err >&5
- echo "$as_me:8539: \$? = $ac_status" >&5
+ echo "$as_me:8532: \$? = $ac_status" >&5
if (exit $ac_status) && test -s out/conftest2.$ac_objext
then
# The compiler can only warn and ignore the option if not recognized
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:8590: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:8583: $lt_compile\"" >&5)
(eval "$lt_compile" 2>out/conftest.err)
ac_status=$?
cat out/conftest.err >&5
- echo "$as_me:8594: \$? = $ac_status" >&5
+ echo "$as_me:8587: \$? = $ac_status" >&5
if (exit $ac_status) && test -s out/conftest2.$ac_objext
then
# The compiler can only warn and ignore the option if not recognized
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF
-#line 10973 "configure"
+#line 10966 "configure"
#include "confdefs.h"
#if HAVE_DLFCN_H
lt_dlunknown=0; lt_dlno_uscore=1; lt_dlneed_uscore=2
lt_status=$lt_dlunknown
cat > conftest.$ac_ext <<_LT_EOF
-#line 11069 "configure"
+#line 11062 "configure"
#include "confdefs.h"
#if HAVE_DLFCN_H
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:14625: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:14618: $lt_compile\"" >&5)
(eval "$lt_compile" 2>conftest.err)
ac_status=$?
cat conftest.err >&5
- echo "$as_me:14629: \$? = $ac_status" >&5
+ echo "$as_me:14622: \$? = $ac_status" >&5
if (exit $ac_status) && test -s "$ac_outfile"; then
# The compiler can only warn and ignore the option if not recognized
# So say no if there are warnings other than the usual output.
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:14724: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:14717: $lt_compile\"" >&5)
(eval "$lt_compile" 2>out/conftest.err)
ac_status=$?
cat out/conftest.err >&5
- echo "$as_me:14728: \$? = $ac_status" >&5
+ echo "$as_me:14721: \$? = $ac_status" >&5
if (exit $ac_status) && test -s out/conftest2.$ac_objext
then
# The compiler can only warn and ignore the option if not recognized
-e 's:.*FLAGS}\{0,1\} :&$lt_compiler_flag :; t' \
-e 's: [^ ]*conftest\.: $lt_compiler_flag&:; t' \
-e 's:$: $lt_compiler_flag:'`
- (eval echo "\"\$as_me:14776: $lt_compile\"" >&5)
+ (eval echo "\"\$as_me:14769: $lt_compile\"" >&5)
(eval "$lt_compile" 2>out/conftest.err)
ac_status=$?
cat out/conftest.err >&5
- echo "$as_me:14780: \$? = $ac_status" >&5
+ echo "$as_me:14773: \$? = $ac_status" >&5
if (exit $ac_status) && test -s out/conftest2.$ac_objext
then
# The compiler can only warn and ignore the option if not recognized
LDFLAGS="$CVC4LDFLAGS"
fi
+mk_include=include
+
+
ac_config_files="$ac_config_files Makefile.builds Makefile contrib/Makefile doc/Makefile src/Makefile src/expr/Makefile src/smt/Makefile src/main/Makefile src/prop/minisat/Makefile src/prop/Makefile src/util/Makefile src/context/Makefile src/parser/Makefile src/parser/cvc/Makefile src/parser/smt/Makefile src/theory/Makefile src/theory/uf/Makefile test/Makefile test/regress/Makefile test/unit/Makefile"
else
non_standard_build_profile=yes
fi
-build_type_suffix=
+btargs=
if test -n "${enable_optimized+set}"; then
- if test "$enable_optimized" = no; then
- build_type_suffix=$build_type_suffix-noopt
+ if test "$enable_optimized" = yes; then
+ btargs="$btargs opt"
else
- build_type_suffix=$build_type_suffix-opt
+ btargs="$btargs noopt"
fi
fi
if test -n "${enable_debug_symbols+set}"; then
- if test "$enable_debug_symbols" = no; then
- build_type_suffix=$build_type_suffix-nodsy
+ if test "$enable_debug_symbols" = yes; then
+ btargs="$btargs dsy"
else
- build_type_suffix=$build_type_suffix-dsy
+ btargs="$btargs nodsy"
fi
fi
if test -n "${enable_assertions+set}"; then
- if test "$enable_assertions" = no; then
- build_type_suffix=$build_type_suffix-noass
+ if test "$enable_assertions" = yes; then
+ btargs="$btargs ass"
else
- build_type_suffix=$build_type_suffix-ass
+ btargs="$btargs noass"
fi
fi
if test -n "${enable_tracing+set}"; then
- if test "$enable_tracing" = no; then
- build_type_suffix=$build_type_suffix-notrc
+ if test "$enable_tracing" = yes; then
+ btargs="$btargs trc"
else
- build_type_suffix=$build_type_suffix-trc
+ btargs="$btargs notrc"
fi
fi
if test -n "${enable_muzzle+set}"; then
- if test "$enable_muzzle" = no; then
- build_type_suffix=$build_type_suffix-nomzl
+ if test "$enable_muzzle" = yes; then
+ btargs="$btargs mzl"
else
- build_type_suffix=$build_type_suffix-mzl
+ btargs="$btargs nomzl"
fi
fi
if test -n "${enable_coverage+set}"; then
- if test "$enable_coverage" = no; then
- build_type_suffix=$build_type_suffix-nocvg
+ if test "$enable_coverage" = yes; then
+ btargs="$btargs cvg"
else
- build_type_suffix=$build_type_suffix-cvg
+ btargs="$btargs nocvg"
fi
fi
if test -n "${enable_profiling+set}"; then
- if test "$enable_profiling" = no; then
- build_type_suffix=$build_type_suffix-noprf
+ if test "$enable_profiling" = yes; then
+ btargs="$btargs prf"
else
- build_type_suffix=$build_type_suffix-prf
+ btargs="$btargs noprf"
fi
fi
AC_MSG_RESULT([$with_build])
AC_MSG_CHECKING([for appropriate build string])
-build_type=$with_build$build_type_suffix
+build_type=`$ac_confdir/config/build-type $with_build $btargs`
if test "$non_standard_build_profile" = yes; then
if test "$with_build" = default; then
- build_type=custom$build_type_suffix
+ build_type=`$ac_confdir/config/build-type custom $btargs`
fi
fi
AC_MSG_RESULT($build_type)
elif test -e src/include/cvc4_config.h; then
AC_MSG_RESULT([builds/$target/$build_type])
echo
- echo Setting up "builds/$target/$build_type"...
- rm -fv config.log config.status confdefs.h
- mkdir -pv "builds/$target/$build_type"
- ln -sfv "$target/$build_type/Makefile.builds" builds/Makefile
- echo Creating builds/current...
- (echo "# This is the most-recently-configured CVC4 build"; \
- echo "# 'make' in the top-level source directory applies to this build"; \
- echo "CURRENT_BUILD = $target/$build_type") > builds/current
- echo Linking builds/src...
- rm -f builds/src
- ln -sfv "$target/$build_type/src" builds/src
- echo Linking builds/test...
- rm -f builds/test
- ln -sfv "$target/$build_type/test" builds/test
+ if test -z "$ac_srcdir"; then
+ mkbuilddir=./config/mkbuilddir
+ else
+ mkbuilddir=$ac_srcdir/config/mkbuilddir
+ fi
+ echo $mkbuilddir "$target" "$build_type"
+ $mkbuilddir "$target" "$build_type"
echo cd "builds/$target/$build_type"
cd "builds/$target/$build_type"
CVC4_CONFIGURE_IN_BUILDS=yes; export CVC4_CONFIGURE_IN_BUILDS
LDFLAGS="$CVC4LDFLAGS"
fi
+mk_include=include
+AC_SUBST(mk_include)
+
AC_CONFIG_FILES([
Makefile.builds
Makefile
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
mandir = @mandir@
+mk_include = @mk_include@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
projects / cvc5.git / commitdiff