Makefile: wire up test/ directory for compilation

[model-checker.git] / test / Makefile

diff --git a/test/Makefile b/test/Makefile
new file mode 100644 (file)
index 0000000..f7a01be
--- /dev/null
+++ b/test/Makefile
@@ -0,0 +1,15 @@
+include ../common.mk
+
+CPPFLAGS += -I.. -I../include
+TESTS=userprog
+
+SRCS = $(wildcard *.c)
+OBJS = $(patsubst %.c,%.o,$(SRCS))
+
+all: $(OBJS)
+
+%.o: %.c
+       $(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+
+clean::
+       rm -f *.o $(TESTS)