From: ACSYS <cvc4-devel@cs.nyu.edu>
Date: Fri, 26 Oct 2012 18:15:32 +0000 (+0000)
Subject: today's build system fix: sometimes examples weren't built with "make examples";... 
X-Git-Tag: cvc5-1.0.0~7667
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbaaa9f285a2bcb5fd7a555e753968972b998f15;p=cvc5.git

today's build system fix: sometimes examples weren't built with "make examples"; fixed
---

diff --git a/Makefile b/Makefile
index 4ddb97a85..5bbd61b4c 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@
 #
 builddir = builds
 
-.PHONY: all install
+.PHONY: all install examples install-examples
 all install examples install-examples .DEFAULT:
 	@if test -d $(builddir); then \
 		echo cd $(builddir); \