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 | |
initial revision
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/.gitignore | 2 | ||||
| -rw-r--r-- | profiles/Makefile | 35 | ||||
| -rw-r--r-- | profiles/chrome.tar | bin | 0 -> 7137280 bytes | |||
| -rw-r--r-- | profiles/firefox.tar | bin | 0 -> 22261760 bytes |
4 files changed, 37 insertions, 0 deletions
diff --git a/profiles/.gitignore b/profiles/.gitignore new file mode 100644 index 0000000..3536516 --- /dev/null +++ b/profiles/.gitignore @@ -0,0 +1,2 @@ +chrome +firefox 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)) diff --git a/profiles/chrome.tar b/profiles/chrome.tar Binary files differnew file mode 100644 index 0000000..9417372 --- /dev/null +++ b/profiles/chrome.tar diff --git a/profiles/firefox.tar b/profiles/firefox.tar Binary files differnew file mode 100644 index 0000000..6a3b30e --- /dev/null +++ b/profiles/firefox.tar |