projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: use get_write_value()
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 1cc4f4baa9cb1054f34b5ba2497bb32c175aa87f..ea73d93d7901e7b78d2a81b8aab1c54924eb68f9 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-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)