projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
main: change default 'future delay' for promise expiration
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 1cc4f4baa9cb1054f34b5ba2497bb32c175aa87f..b653e7699c4c055dbfa99b68fab57c5fd95d303c 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-27,7
+27,7
@@
docs: *.c *.cc *.h
doxygen
$(LIB_SO): $(OBJECTS)
doxygen
$(LIB_SO): $(OBJECTS)
- $(CXX) $(SHARED) -o $(LIB_SO) $
(OBJECTS)
$(LDFLAGS)
+ $(CXX) $(SHARED) -o $(LIB_SO) $
+
$(LDFLAGS)
malloc.o: malloc.c
$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
malloc.o: malloc.c
$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
@@
-35,11
+35,14
@@
malloc.o: malloc.c
%.o: %.cc
$(CXX) -MMD -MF .$@.d -fPIC -c $< $(CPPFLAGS)
%.o: %.cc
$(CXX) -MMD -MF .$@.d -fPIC -c $< $(CPPFLAGS)
+%.pdf: %.dot
+ dot -Tpdf $< -o $@
+
-include $(OBJECTS:%=.%.d)
PHONY += clean
clean:
-include $(OBJECTS:%=.%.d)
PHONY += clean
clean:
- rm -f *.o *.so .*.d
+ rm -f *.o *.so .*.d
*.pdf *.dot
$(MAKE) -C $(TESTS_DIR) clean
PHONY += mrclean
$(MAKE) -C $(TESTS_DIR) clean
PHONY += mrclean
@@
-66,4
+69,7
@@
benchmarks: $(LIB_SO)
fi
$(MAKE) -C $(BENCH_DIR)
fi
$(MAKE) -C $(BENCH_DIR)
+PHONY += pdfs
+pdfs: $(patsubst %.dot,%.pdf,$(wildcard *.dot))
+
.PHONY: $(PHONY)
.PHONY: $(PHONY)