diff options
Diffstat (limited to 'deps/mochiweb/Makefile')
| -rw-r--r-- | deps/mochiweb/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/deps/mochiweb/Makefile b/deps/mochiweb/Makefile new file mode 100644 index 00000000..dfd85a0e --- /dev/null +++ b/deps/mochiweb/Makefile @@ -0,0 +1,20 @@ +all: ebin/ + (cd src;$(MAKE) all) + +edoc: + (cd src;$(MAKE) edoc) + +test: ebin/ + (cd src;$(MAKE) test) + +clean: + rm -rf ebin + +clean_plt: + (cd src;$(MAKE) clean_plt) + +dialyzer: + (cd src;$(MAKE) dialyzer) + +ebin/: + @mkdir -p ebin |