diff options
Diffstat (limited to 'src/base/Makefile.am')
-rw-r--r-- | src/base/Makefile.am | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/src/base/Makefile.am b/src/base/Makefile.am deleted file mode 100644 index 3706f57a3..000000000 --- a/src/base/Makefile.am +++ /dev/null @@ -1,77 +0,0 @@ -AM_CPPFLAGS = \ - -D__BUILDING_CVC4LIB \ - -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) - -noinst_LTLIBRARIES = libbase.la - -# Do not list built sources here! -# Rather, list them under BUILT_SOURCES, and their .in versions under -# EXTRA_DIST. Otherwise, they're packaged up in the tarball, which is -# no good---they belong in the configured builds/ directory. If they -# end up in the source directory, they build the cvc4 that was -# configured at the time of the "make dist", which (1) may not be the -# configuration that the user wants, and (2) might cause link errors. -libbase_la_SOURCES = \ - Makefile.am \ - Makefile.in \ - configuration.cpp \ - configuration.h \ - configuration_private.h \ - cvc4_assert.cpp \ - cvc4_assert.h \ - cvc4_check.cpp \ - cvc4_check.h \ - exception.cpp \ - exception.h \ - listener.cpp \ - listener.h \ - map_util.h \ - modal_exception.h \ - output.cpp \ - output.h - -# listing {Debug,Trace}_tags too ensures that make doesn't auto-remove it -# after building (if it does, we don't get the "cached" effect with -# the .tmp files below, and we have to re-compile and re-link each -# time, even when there are no changes). -BUILT_SOURCES = \ - Debug_tags.h \ - Debug_tags \ - Trace_tags.h \ - Trace_tags - -MOSTLYCLEANFILES = \ - Debug_tags \ - Trace_tags \ - Debug_tags.tmp \ - Trace_tags.tmp \ - Debug_tags.h \ - Trace_tags.h - -EXTRA_DIST = \ - configuration.i \ - exception.i \ - mktagheaders \ - mktags \ - modal_exception.i - -%_tags.h: %_tags mktagheaders - $(AM_V_at)chmod +x @srcdir@/mktagheaders - $(AM_V_GEN)( @srcdir@/mktagheaders "$<" "$<" ) >"$@" - -# This .tmp business is to keep from having to re-compile options.cpp -# (and then re-link the libraries) if nothing has changed. -%_tags: %_tags.tmp - $(AM_V_GEN)\ - diff -q "$^" "$@" &>/dev/null || mv "$^" "$@" || true -# .PHONY ensures the .tmp version is always rebuilt (to check for any changes) -.PHONY: Debug_tags.tmp Trace_tags.tmp -# The "sed" invocation below is particularly obnoxious, but it works around -# inconsistencies in REs on different platforms, using only a basic regular -# expression (no |, no \<, ...). -Debug_tags.tmp Trace_tags.tmp: mktags - $(AM_V_at)chmod +x @srcdir@/mktags - $(AM_V_GEN)(@srcdir@/mktags \ - '$(@:_tags.tmp=)' \ - "$$(find @srcdir@/../ -name '*.cpp' -o -name '*.h' -o -name '*.cc' -o -name '*.g')") >"$@" |