diff options
Diffstat (limited to 'examples/hashsmt/Makefile.am')
| -rw-r--r-- | examples/hashsmt/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am index 64dc60899..b385856e7 100644 --- a/examples/hashsmt/Makefile.am +++ b/examples/hashsmt/Makefile.am @@ -15,3 +15,7 @@ sha1smt_SOURCES = \ sha1.hpp sha1smt_LDADD = \ @builddir@/../../src/libcvc4.la + +# for installation +examplesdir = $(docdir)/$(subdir) +examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST) |