common.mk: build with -O3 (except for Mac OSX)

[model-checker.git] / test / Makefile

diff --git a/test/Makefile b/test/Makefile
index c81739902b94d01fd48aee8064228149a7595443..a3de6fe9e7c1030d4d783cc3d5880606ddd9140f 100644 (file)
--- a/test/Makefile
+++ b/test/Makefile
@@ -3,12 +3,16 @@ include ../common.mk
 CPPFLAGS += -I.. -I../include
 
 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)
 
+%.o: %.cc
+       $(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+
 clean::
        rm -f *.o