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 (file)
index 0000000..c75e572
--- /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 (file)
index 0000000..06824b8
--- /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