diff options
| author |  Rogan Creswick <creswick@galois.com> | 2012-03-30 17:07:02 -0700 |
|---|---|---|
| committer | Rogan Creswick <creswick@galois.com> | 2012-03-30 17:07:02 -0700 |
| commit | f6ab6622aab00fe7c2f4c3dc41f786ebbe0f0d73 (patch) | |
| tree | 870111038542cd27153e1396ebdc063573249689 /profiles/Makefile | |
initial revision
Diffstat (limited to 'profiles/Makefile')
| -rw-r--r-- | profiles/Makefile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/profiles/Makefile b/profiles/Makefile new file mode 100644 index 0000000..7da5900 --- /dev/null +++ b/profiles/Makefile @@ -0,0 +1,35 @@ + +# Entry Point ################################################################## + +.PHONY: all +all: unpack + +.PHONY: all +unpack: + +.PHONY: clean +clean: + + +# Macros ####################################################################### + +define profile +.PHONY: $1 +$1: $1/.token + +$1/.token: $1.tar + tar -xvf $$< + touch $$@ + +unpack: $1 + +clean-$1: + $(RM) -r $1 +clean: clean-$1 +endef + + +# Profile Management ########################################################### + +$(eval $(call profile,chrome)) +$(eval $(call profile,firefox)) |