From 933737eb5e2861bdcf43cca2ce1a5acbd3cc1dd2 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 19 Jun 2014 03:30:51 -0400 Subject: [PATCH] Fix make install-examples. --- examples/sets-translate/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 \ -- 2.30.2