Index: branches/eam_branches/20091201/magic/Makefile
===================================================================
--- branches/eam_branches/20091201/magic/Makefile	(revision 26810)
+++ branches/eam_branches/20091201/magic/Makefile	(revision 26870)
@@ -2,12 +2,11 @@
 default: all
 
-all: ssa-core-cpp magic remove
+all: ssa-core-cpp magic remove verify
 
-install: magic.install remove.install
+install: magic.install remove.install verify.install
 
 clean:
 	if [ -d magic ]; then (cd magic && make -f Makefile.magic clean); fi
 	if [ -d ssa-core-cpp ]; then (cd ssa-core-cpp && make clean); fi
-	cd $(REMOVE) && make -f Makefile.simple clean
 
 update: