diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
commit | 33e3657c15d6c760206aeaca10b5690af4a78223 (patch) | |
tree | a75475200584ab5e11981827182d979d84f6e1ff /src/Makefile.am | |
parent | 192c5592424e5db0afc72e7316c4698949a2f7e5 (diff) |
interfaces fixes and cleanups...and examples of each interface!
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 5b245d303..63fcf590d 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -63,6 +63,7 @@ EXTRA_DIST = \ include/cvc4parser_public.h \ include/cvc4_private.h \ include/cvc4_public.h \ + include/cvc4.h \ cvc4.i subversion_versioninfo.cpp: svninfo @@ -94,7 +95,8 @@ svninfo.tmp: $(AM_V_GEN)(cd "$(top_srcdir)" && svn info && echo "Modifications: `test -z \"\`svn status -q\`\" && echo false || echo true`") >"$@" 2>/dev/null || true install-data-local: - (echo include/cvc4_public.h; \ + (echo include/cvc4.h; \ + echo include/cvc4_public.h; \ find * -name '*.h' | \ xargs grep -l '^# *include *"cvc4.*_public\.h"'; \ (cd "$(srcdir)" && find * -name '*.h' | \ @@ -115,7 +117,8 @@ install-data-local: done uninstall-local: - -(echo include/cvc4_public.h; \ + -(echo include/cvc4.h; \ + echo include/cvc4_public.h; \ find * -name '*.h' | \ xargs grep -l '^# *include *"cvc4.*_public\.h"'; \ (cd "$(srcdir)" && find * -name '*.h' | \ |