X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Flitmus%2FMakefile;h=a4a19b7b6b5f714be633d4a8c6b5d0ad37c4b66d;hb=8349c08d00575cdee39e94796d33fb4c44ddd50b;hp=b4a1233d70685f895b7a4e07198bdaf7fee91f23;hpb=741d3d1160343d8545a783a2d05d3d0562b1c737;p=model-checker.git

diff --git a/test/litmus/Makefile b/test/litmus/Makefile
index b4a1233..a4a19b7 100644
--- a/test/litmus/Makefile
+++ b/test/litmus/Makefile
@@ -1,20 +1,4 @@
-BASE = ../..
+D := $(DIR)
 
-include $(BASE)/common.mk
-
-CPPFLAGS += -I$(BASE) -I$(BASE)/include
-
-SRCS = $(wildcard *.c)
-CPSRCS = $(wildcard *.cc)
-OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
-
-all: $(OBJS)
-
-%.o: %.c
-	$(CC) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
-
-%.o: %.cc
-	$(CXX) -o $@ $< $(CPPFLAGS) -L$(BASE) -l$(LIB_NAME)
-
-clean::
-	rm -f *.o
+OBJECTS += $(patsubst %.c, %.o, $(wildcard $(D)/*.c))
+OBJECTS += $(patsubst %.cc, %.o, $(wildcard $(D)/*.cc))