From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 19 Jun 2014 07:30:51 +0000 (-0400)
Subject: Fix make install-examples.
X-Git-Tag: cvc5-1.0.0~6762
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=933737eb5e2861bdcf43cca2ce1a5acbd3cc1dd2;p=cvc5.git

Fix make install-examples.
---

diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am
index 720e56597..1c5dc392b 100644
--- a/examples/sets-translate/Makefile.am
+++ b/examples/sets-translate/Makefile.am
@@ -15,7 +15,8 @@ sets2arrays_LDADD = \
 	@builddir@/../../src/parser/libcvc4parser.la \
 	@builddir@/../../src/libcvc4.la
 
-sets2axioms_SOURCES = \
+# give nodist_: only distribute/install once
+nodist_sets2axioms_SOURCES = \
 	sets_translate.cpp
 sets2axioms_LDADD = \
 	@builddir@/../../src/parser/libcvc4parser.la \