From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 7 Feb 2013 18:58:22 +0000 (-0500)
Subject: Do not install the "private-library" header
X-Git-Tag: cvc5-1.0.0~7391^2~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98eec3152a2b24dc0cc04cd1ea595e400cca203e;p=cvc5.git

Do not install the "private-library" header
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 40d3823e9..1d54bc2a8 100644
--- 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/,,')"; \