projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 73a0b67)
Fix make install-examples.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 19 Jun 2014 07:30:51 +0000 (03:30 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 19 Jun 2014 07:33:07 +0000 (03:33 -0400)
examples/sets-translate/Makefile.am patch | blob | history

diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am
index 720e565975651647863209411496073a6a0c7178..1c5dc392bbd225e47d4af944e9ff44931d582c08 100644 (file)
--- 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 \