From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 13 Sep 2010 17:27:15 +0000 (+0000)
Subject: link TAGS file into builds/ directory, when built.  Resolves bug #195
X-Git-Tag: cvc5-1.0.0~8871
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67f05d7dd6881c689c6e5385feff32d81ae05fb8;p=cvc5.git

link TAGS file into builds/ directory, when built.  Resolves bug #195
---

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 3f5b93b03..83183e4a3 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -91,6 +91,12 @@ check test units regress: all
 regress%: all
 	(cd $(CURRENT_BUILD)/test && $(MAKE) $@)
 
+TAGS tags:
+	(cd $(CURRENT_BUILD) && $(MAKE) $@)
+	ln -sf $(CURRENT_BUILD)/TAGS .
+
+.PHONY: TAGS tags
+
 # any other target than the default doesn't do the extra stuff above
 %:
 	(cd $(CURRENT_BUILD) && $(MAKE) $@)