X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=b7fd60bd5cfeca63e8ddf7886338d68364cb41d6;hb=130a35155171503883aaf18e57f8957ce63d06e8;hp=0ad9fa66274e16cb68c5d495e8fd034bd54db04a;hpb=f2325500e8d1264ea811d5e68419b28d154b54ca;p=model-checker.git diff --git a/Makefile b/Makefile index 0ad9fa6..b7fd60b 100644 --- a/Makefile +++ b/Makefile @@ -18,15 +18,20 @@ endif 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 -docs: *.c *.cc *.h +docs: *.c *.cc *.h README.html doxygen +README.html: README.md + $(MARKDOWN) $< > $@ + $(LIB_SO): $(OBJECTS) $(CXX) $(SHARED) -o $(LIB_SO) $+ $(LDFLAGS)