diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2015-03-22 15:52:15 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2015-03-23 13:01:02 +0100 |
| commit | 513fe6fac6ce937d32c16766587a05be9fbca6b1 (patch) | |
| tree | f13168c11cce598f9a7686126153023e9e89a570 | |
| parent | 80438cd2af17083d85bb12da6756961abfedecbb (diff) | |
Global Makefile.
| -rw-r--r-- | Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c4d2e59 --- /dev/null +++ b/Makefile @@ -0,0 +1,29 @@ +COMPONENTS := cli xul-ext + +PREFIX ?= /usr +MANPREFIX ?= $(PREFIX)/share/man + +all: $(COMPONENTS) + +debian-package: + git buildpackage + +cli: + make -C $@ + +xul-ext: + make -C $@ + +install: + make -C cli $@ + +installman: + make -C cli $@ + +uninstall: + make -C cli $@ + +clean: + $(foreach x,$(COMPONENTS), make -C $x $@;) + +.PHONY: all debian-package $(COMPONENTS) install installman uninstall clean |