Index: trunk/magic/Makefile
===================================================================
--- trunk/magic/Makefile	(revision 26442)
+++ trunk/magic/Makefile	(revision 26890)
@@ -2,7 +2,7 @@
 default: all
 
-all: ssa-core-cpp magic
+all: ssa-core-cpp magic verify
 
-install: magic.install
+install: magic.install verify.install
 
 clean:
@@ -15,4 +15,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
@@ -29,3 +30,22 @@
 	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
+# 
+# remove: FORCE
+# 	@cd $(REMOVE) && make -f Makefile.simple all
+# 
+# remove.install: remove
+# 	@cd $(REMOVE) && make -f Makefile.simple install
+
 FORCE: