diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
commit | 42f89e550bb15d401c335ded7912a871b2b45af3 (patch) | |
tree | ccfe7440c45466deb823cae5f76b0a589c7b71d8 /src/Makefile.am | |
parent | c94347913fa464b1ec6a3da2ab21e319c0c42e02 (diff) |
build system fixes
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 4244bd053..5b245d303 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -53,6 +53,11 @@ libcvc4_noinst_la_LIBADD = \ @builddir@/theory/libtheory.la \ @builddir@/lib/libreplacements.la +CLEANFILES = \ + subversion_versioninfo.cpp \ + svninfo.tmp \ + svninfo + EXTRA_DIST = \ include/cvc4parser_private.h \ include/cvc4parser_public.h \ |