diff options
Diffstat (limited to 'source4/Makefile')
| -rw-r--r-- | source4/Makefile | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/source4/Makefile b/source4/Makefile new file mode 100644 index 0000000000..b49024047c --- /dev/null +++ b/source4/Makefile @@ -0,0 +1,57 @@ +# simple makefile wrapper to run waf + +WAF=WAF_MAKE=1 ../buildtools/bin/waf + +all: + $(WAF) build + +install: + $(WAF) install + +uninstall: + $(WAF) uninstall + +test: + $(WAF) test $(TEST_OPTIONS) + +testenv: + $(WAF) test --testenv $(TEST_OPTIONS) + +quicktest: + $(WAF) test --quick $(TEST_OPTIONS) + +dist: + $(WAF) dist + +distcheck: + $(WAF) distcheck + +clean: + $(WAF) clean + +distclean: + $(WAF) distclean + +reconfigure: configure + $(WAF) reconfigure + +show_waf_options: + $(WAF) --help + +# some compatibility make targets +everything: all + +testsuite: all + +check: test + +torture: all + +# this should do an install as well, once install is finished +installcheck: test + +etags: + $(WAF) etags + +ctags: + $(WAF) ctags |