diff options
Diffstat (limited to 'examples/sets-translate/Makefile.am')
-rw-r--r-- | examples/sets-translate/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
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 \ |