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~6758^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=056cf8f8d0186ab06c76b6379324df92e6313ffe;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 \