X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FMakefile;h=a3de6fe9e7c1030d4d783cc3d5880606ddd9140f;hb=37bf8e7d54c72e0aeee029a491e45bb9d7b2f409;hp=f7a01be0a344285f11e62af3de537699790ab47a;hpb=3e29290164634f0c3dad7599df512e3890c67f2d;p=model-checker.git

diff --git a/test/Makefile b/test/Makefile
index f7a01be..a3de6fe 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,15 +1,18 @@
 include ../common.mk
 
 CPPFLAGS += -I.. -I../include
-TESTS=userprog
 
 SRCS = $(wildcard *.c)
-OBJS = $(patsubst %.c,%.o,$(SRCS))
+CPSRCS = $(wildcard *.cc)
+OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
 
 all: $(OBJS)
 
 %.o: %.c
 	$(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
 
+%.o: %.cc
+	$(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+
 clean::
-	rm -f *.o $(TESTS)
+	rm -f *.o