diff options
Diffstat (limited to 'src/base/Makefile.am')
-rw-r--r-- | src/base/Makefile.am | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/src/base/Makefile.am b/src/base/Makefile.am index f2fe3f306..bda063176 100644 --- a/src/base/Makefile.am +++ b/src/base/Makefile.am @@ -15,6 +15,9 @@ noinst_LTLIBRARIES = libbase.la libbase_la_SOURCES = \ Makefile.am \ Makefile.in \ + configuration.cpp \ + configuration.h \ + configuration_private.h \ cvc4_assert.cpp \ cvc4_assert.h \ exception.cpp \ @@ -30,11 +33,52 @@ libbase_la_SOURCES = \ BUILT_SOURCES = \ tls.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 \ tls.h.in DISTCLEANFILES = \ tls.h.tmp \ tls.h + +%_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')") >"$@" |