diff options
Diffstat (limited to 'src/base/Makefile.am')
| -rw-r--r-- | src/base/Makefile.am | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/base/Makefile.am b/src/base/Makefile.am new file mode 100644 index 000000000..b03b61aee --- /dev/null +++ b/src/base/Makefile.am @@ -0,0 +1,40 @@ +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 (like tls.h) 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 \ + cvc4_assert.cpp \ + cvc4_assert.h \ + exception.cpp \ + exception.h \ + lemma_input_channel_forward.h \ + lemma_output_channel_forward.h \ + modal_exception.h \ + output.cpp \ + output.h + + + +BUILT_SOURCES = \ + tls.h + +EXTRA_DIST = \ + exception.i \ + modal_exception.i \ + tls.h.in + +DISTCLEANFILES = \ + tls.h.tmp \ + tls.h |