diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-19 03:30:51 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
| commit | 933737eb5e2861bdcf43cca2ce1a5acbd3cc1dd2 (patch) | |
| tree | b89a4fd5f27192eb70d55d2e7c3ee9a1935d1c57 /examples | |
| parent | 3de701d46b7b3bbdac40ad017c7f9a0a1cd8120b (diff) | |
Fix make install-examples.
Diffstat (limited to 'examples')
| -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 \ |