projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3dece37)
Fix for example installation.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 9 May 2014 15:11:31 +0000 (11:11 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 10 May 2014 00:15:32 +0000 (20:15 -0400)
examples/hashsmt/Makefile.am patch | blob | history

diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am
index 21726e9a690d3f92230ddf6f83ac507492001536..950a06af8478a3a56b1600e4e316c41f3d30faa8 100644 (file)
--- 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