projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
model: remove useless special case
[model-checker.git]
/
test
/
Makefile
1
include ../common.mk
2
3
CPPFLAGS += -I.. -I../include
4
5
SRCS = $(wildcard *.c)
6
CPSRCS = $(wildcard *.cc)
7
OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
8
9
all: $(OBJS)
10
11
%.o: %.c
12
$(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
13
14
%.o: %.cc
15
$(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
16
17
clean::
18
rm -f *.o