From 33e3657c15d6c760206aeaca10b5690af4a78223 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 30 Sep 2011 23:01:58 +0000 Subject: interfaces fixes and cleanups...and examples of each interface! --- src/Makefile.am | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/Makefile.am') 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' | \ -- cgit v1.2.3