From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 18:38:42 +0000 (+0000)
Subject: fix installation of certain header files
X-Git-Tag: cvc5-1.0.0~7692
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=772d8b69493c0fd0f443bcbff0a92da8c7565a0f;p=cvc5.git

fix installation of certain header files
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 190a1b1bf..204ea63f8 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -107,6 +107,9 @@ install-data-local:
 	(echo include/cvc4.h; \
 	 echo include/cvc4_public.h; \
 	 echo include/cvc4parser_public.h; \
+	 echo util/tls.h; \
+	 echo util/integer.h; \
+	 echo util/rational.h; \
 	 find * -name '*.h' | \
 		xargs grep -l '^# *include  *"cvc4.*_public\.h"'; \
 	(cd "$(srcdir)" && find * -name '*.h' | \
@@ -134,6 +137,9 @@ uninstall-local:
 	-(echo include/cvc4.h; \
 	  echo include/cvc4_public.h; \
 	  echo include/cvc4parser_public.h; \
+	  echo util/tls.h; \
+	  echo util/integer.h; \
+	  echo util/rational.h; \
 	  find * -name '*.h' | \
 		xargs grep -l '^# *include  *"cvc4.*_public\.h"'; \
 	(cd "$(srcdir)" && find * -name '*.h' | \
@@ -155,6 +161,9 @@ mostlyclean-local:
 	(echo include/cvc4.h; \
 	 echo include/cvc4_public.h; \
 	 echo include/cvc4parser_public.h; \
+	 echo util/tls.h; \
+	 echo util/integer.h; \
+	 echo util/rational.h; \
 	 find * -name '*.h.fix' | \
 		xargs grep -l '^# *include  *<cvc4/cvc4.*_public\.h>' | \
 		sed 's,\.fix$$,,'; \
diff --git a/src/util/tls.h.in b/src/util/tls.h.in
index cd89be9d0..17f1f1d6e 100644
--- a/src/util/tls.h.in
+++ b/src/util/tls.h.in
@@ -24,8 +24,6 @@
 #ifndef __CVC4__TLS_H
 #define __CVC4__TLS_H
 
-#line 28 "@srcdir@/tls.h.in"
-
 // A bit obnoxious: we have to take varargs to support multi-argument
 // template types in the threadlocals.
 // E.g. "CVC4_THREADLOCAL(hash_set<type, hasher>*)" fails otherwise,