Changeset 26890 for trunk/magic/Makefile

Timestamp:

Feb 10, 2010, 7:22:24 PM (16 years ago)

Author:

eugene

Message:

updates from eam_branches/20091201 (main changes is due to DOS-style line breaks on the trunk; add VerifyStreaks)

File:

• trunk/magic/Makefile (modified) (3 diffs)

trunk/magic/Makefile

@@ -2 +2 @@
 default: all
 
-all: ssa-core-cpp magic
+all: ssa-core-cpp magic verify
 
-install: magic.install
+install: magic.install verify.install
 
 clean:
@@ -15 +15 @@
         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 +30 @@
         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: