push changes
[model-checker.git] / test / Makefile
1 include ../common.mk
2
3 CPPFLAGS += -I.. -I../include
4
5 # Mac OSX options
6
7 SRCS = $(wildcard *.c)
8 OBJS = $(patsubst %.c,%.o,$(SRCS))
9
10 all: $(OBJS)
11
12 %.o: %.c
13         $(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
14
15 clean::
16         rm -f *.o