diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-12 18:45:44 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-12 18:45:44 +0000 |
| commit | ef4867a2b481be042cbf337527bf296b5ddbb5d0 (patch) | |
| tree | 60554da6b54305e4d855194c9a78fcc74d032e3a /src/util/Makefile.am | |
| parent | a8ff3563d965e1220d6603becab09f446cc00d35 (diff) | |
another small fix to "make dist" that can lead to a misconfigured tarball
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 9644aa12c..24d82f01c 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -10,6 +10,13 @@ noinst_LTLIBRARIES = libutil.la libutilcudd.la libutilcudd_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) @CUDD_CPPFLAGS@ libutilcudd_la_LIBADD = @CUDD_LDFLAGS@ +# Do not list built sources (like integer.h, rational.h, and 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. libutil_la_SOURCES = \ Assert.h \ Assert.cpp \ @@ -29,8 +36,6 @@ libutil_la_SOURCES = \ configuration.h \ configuration_private.h \ configuration.cpp \ - rational.h \ - integer.h \ bitvector.h \ gmp_util.h \ sexpr.h \ |