projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: limit the number of future values per read
[model-checker.git]
/
test
/
Makefile
diff --git
a/test/Makefile
b/test/Makefile
index f7a01be0a344285f11e62af3de537699790ab47a..a3de6fe9e7c1030d4d783cc3d5880606ddd9140f 100644
(file)
--- a/
test/Makefile
+++ b/
test/Makefile
@@
-1,15
+1,18
@@
include ../common.mk
CPPFLAGS += -I.. -I../include
include ../common.mk
CPPFLAGS += -I.. -I../include
-TESTS=userprog
SRCS = $(wildcard *.c)
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)
all: $(OBJS)
%.o: %.c
$(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+%.o: %.cc
+ $(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+
clean::
clean::
- rm -f *.o
$(TESTS)
+ rm -f *.o