Index: branches/eam_branches/20091201/magic/Makefile
===================================================================
--- branches/eam_branches/20091201/magic/Makefile	(revision 26295)
+++ branches/eam_branches/20091201/magic/Makefile	(revision 26810)
@@ -16,4 +16,5 @@
 	tar xvzf ~/ssa-core-cpp.tgz
 	cp Makefile.magic magic/Makefile.magic
+	cp magic/VerifyStreaks/main.cpp verify/VerifyStreaks.cpp
 
 ssa-core-cpp: ssa-core-cpp/build/libSSA.a
@@ -30,4 +31,15 @@
 	if [ -d magic ]; then (cd magic && make -f Makefile.magic install); fi
 
+update.verify:
+	cp magic/VerifyStreaks/main.cpp verify/VerifyStreaks.cpp
+
+verify: verify/VerifyStreaks
+
+verify/VerifyStreaks:
+	if [ -d magic ]; then (cd verify && make); fi
+
+verify.install:
+	if [ -d magic ]; then (cd verify && make install); fi
+
 REMOVE = remove/src