From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 9 May 2014 15:11:31 +0000 (-0400)
Subject: Fix for example installation.
X-Git-Tag: cvc5-1.0.0~6916
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f8a37b9ce3a88d211e252c02c5436fcfa360cb73;p=cvc5.git

Fix for example installation.
---

diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am
index 21726e9a6..950a06af8 100644
--- a/examples/hashsmt/Makefile.am
+++ b/examples/hashsmt/Makefile.am
@@ -28,4 +28,9 @@ sha1_collision_LDADD = \
 
 # for installation
 examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
+examples_DATA = \
+	sha1_inversion.cpp \
+	sha1_collision.cpp \
+	word.h \
+	word.cpp \
+	sha1.hpp