From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Sep 2011 18:46:29 +0000 (+0000)
Subject: Regular expressions in shell scripts on MacOS are inconsistent... again. :-(  Fixing... 
X-Git-Tag: cvc5-1.0.0~8455
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=623e4c71b3ec579a5933b3c65dd1da67b007f6c9;p=cvc5.git

Regular expressions in shell scripts on MacOS are inconsistent... again. :-(  Fixing a problem with Debug_tags and Trace_tags, closes bug #281
---

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index f3aba34cd..f5a3b7d00 100644
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -114,9 +114,9 @@ endif
 .PHONY: Debug_tags.tmp Trace_tags.tmp
 Debug_tags.tmp Trace_tags.tmp:
 	$(AM_V_GEN)\
-	grep '\<$(@:_tags.tmp=) *( *\".*\" *)' \
+	grep '[^a-zA-Z0-9_]$(@:_tags.tmp=) *( *\".*\" *)' \
 		`find @srcdir@/../ -name "*.cpp" -or -name "*.h" -or -name "*.cc" -or -name "*.g"` | \
-	sed 's/.*\<$(@:_tags.tmp=) *( *\"\([^"]*\)\".*/\1/g' | sort | uniq >"$@"
+	sed 's/.*[^a-zA-Z0-9_]$(@:_tags.tmp=) *( *\"\([^"]*\)\".*/\1/g' | sort | uniq >"$@"
 
 if CVC4_CLN_IMP
 libutil_la_SOURCES += \