Do not install the "private-library" header

diff --git a/src/Makefile.am b/src/Makefile.am
index 40d3823e96a1de5945baf62f4cf48fe1626370f6..1d54bc2a8be053d5f0f2fd977c6b1e9eeee0db8e 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -120,7 +120,7 @@ install-data-local:
        (cd "$(srcdir)" && find * -name '*.h' | \
                xargs grep -l '^# *include  *"cvc4.*_public\.h"')) | \
        while read f; do \
-               if expr "$$f" : ".*_\(template\|private\|test_utils\)\.h$$" &>/dev/null; then \
+               if expr "$$f" : ".*_\(template\|private\|private_library\|test_utils\)\.h$$" &>/dev/null; then \
                        continue; \
                fi; \
                d="$$(echo "$$f" | sed 's,^include/,,')"; \
@@ -150,7 +150,7 @@ uninstall-local:
        (cd "$(srcdir)" && find * -name '*.h' | \
                xargs grep -l '^# *include  *"cvc4.*_public\.h"')) | \
        while read f; do \
-               if expr "$$f" : ".*_\(template\|private\|test_utils\)\.h$$" &>/dev/null; then \
+               if expr "$$f" : ".*_\(template\|private\|private_library\|test_utils\)\.h$$" &>/dev/null; then \
                        continue; \
                fi; \
                d="$$(echo "$$f" | sed 's,^include/,,')"; \
@@ -175,7 +175,7 @@ mostlyclean-local:
        (cd "$(srcdir)" && find * -name '*.h' | \
                xargs grep -l '^# *include  *"cvc4.*_public\.h"')) | \
        while read f; do \
-               if expr "$$f" : ".*_\(template\|private\|test_utils\)\.h$$" &>/dev/null; then \
+               if expr "$$f" : ".*_\(template\|private\|private_library\|test_utils\)\.h$$" &>/dev/null; then \
                        continue; \
                fi; \
                d="$$(echo "$$f" | sed 's,^include/,,')"; \