From: stephey <stephey>
Date: Sat, 19 Jun 2010 00:17:29 +0000 (+0000)
Subject: Forgot to include the makefile from the previous update.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d8153b79731493601f5b69829a2240a3cea1a8fd;p=IRC.git

Forgot to include the makefile from the previous update.
---

diff --git a/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/extractLines b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/extractLines
new file mode 100644
index 00000000..c75e5726
--- /dev/null
+++ b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/extractLines
@@ -0,0 +1,3 @@
+#!/bin/sh
+lines=$(grep -n "#" $1 | cut -d: -f1 | sed '1q')
+sed '/^#/d' $1 > ttt$1
diff --git a/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/makefile b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/makefile
new file mode 100644
index 00000000..06824b8a
--- /dev/null
+++ b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/rBlocked/makefile
@@ -0,0 +1,29 @@
+PROGRAM=Labyrinth
+
+SOURCE_FILES=Coordinate.java CoordPathWrapper.java Grid.java Labyrinth.java List_Iter.java List_Node.java List_t.java Maze.java Pair.java Point.java Queue_Int.java Queue_t.java Router.java Solve_Arg.java Vector_t.java
+
+BUILDSCRIPT=../../../../../buildscript
+
+USEMLP=  -mlp 8 2 -mlpdebug  # use to turn mlp on and off and make sure rest of build not broken
+BSFLAGS= -32bit -nooptimize -debug -mainclass Labyrinth
+OWNERSHIP= -ownership -ownallocdepth 1 -enable-assertions  -methodeffects -flatirusermethods -ownwritedots final -ownaliasfile aliases.txt 
+
+default:
+	../../../../../buildscript -nojava $(USEMLP) $(BSFLAGS) $(OWNERSHIP) -o $(PROGRAM) $(SOURCE_FILES)
+
+single:
+	../../../../../buildscript $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
+
+java:
+	../../../../../buildscript $(USEMLP) $(BSFLAGS) $(OWNERSHIP) -o $(PROGRAM) $(SOURCE_FILES)
+
+clean:
+	rm -f  $(PROGRAM).bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  *.txt
+	rm -f  aliases.txt
+	rm -f  mlpReport*txt
+	rm -f  results*txt