projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
a0b6d6e4ac9829bb6184e41c6cc5bca8b064c03e
[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