projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
README.md: have to include our headers
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 0ad9fa66274e16cb68c5d495e8fd034bd54db04a..b7fd60bd5cfeca63e8ddf7886338d68364cb41d6 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-18,15
+18,20
@@
endif
TESTS_DIR := test
TESTS_DIR := test
-all: $(LIB_SO) tests
+MARKDOWN := doc/Markdown/Markdown.pl
+
+all: $(LIB_SO) tests README.html
debug: CPPFLAGS += -DCONFIG_DEBUG
debug: all
PHONY += docs
debug: CPPFLAGS += -DCONFIG_DEBUG
debug: all
PHONY += docs
-docs: *.c *.cc *.h
+docs: *.c *.cc *.h
README.html
doxygen
doxygen
+README.html: README.md
+ $(MARKDOWN) $< > $@
+
$(LIB_SO): $(OBJECTS)
$(CXX) $(SHARED) -o $(LIB_SO) $+ $(LDFLAGS)
$(LIB_SO): $(OBJECTS)
$(CXX) $(SHARED) -o $(LIB_SO) $+ $(LDFLAGS)