diff options
author | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:28:25 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:28:25 -0700 |
commit | d316614847c16569da34a42e808dfb332fc6b6c9 (patch) | |
tree | 1d76a49c647c645d4513ab970b500f3c7b6a0cf1 /profiles | |
parent | b4f01ad9fa584c77fe6b2a6f55a9e5c00a701e58 (diff) |
Remove google closure, and start reworking the build system
Squashed commit of the following:
commit 446aae2afd089c28abd1d03a5fd20d4735837e16
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:50:17 2013 -0700
stage-dir doesn't need to be cleaned
Since everything goes into a common build tree now, cleaning just
involves removing the entire build tree.
commit d8f531ddf8ee1406ec915502c28dc0eb3912d0ee
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:47:10 2013 -0700
Switch to placing build artifacts in a build tree
commit 9eedeec8d6a1012b1b7e466120260276b1e952d4
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:35:01 2013 -0700
Remove the closure_compiler and closure_linter
commit 5784158cf2cd55f0ffd01147ae014379ecc857fd
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:34:27 2013 -0700
Move the scripts in build to tools/bin
commit 64a6a53ea0fd5e299e9d17c0e4f8fedf305272dc
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:27:55 2013 -0700
Build jsdoc
Also, remove the old Makefiles that were in doc, as they're not necessary
anymore.
commit 1ef0d9e39cd4a24807ee6ca956fbc627fb851b9d
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:18:59 2013 -0700
Conditionally build the manual
commit c326c58059e0d5035edecfd6261ee42797c49c2c
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:13:31 2013 -0700
Get the html manual building again
commit 480fa132ffb0562eb3f61d45d79d3315b1d3cc29
Author: Trevor Elliott <trevor@galois.com>
Date: Thu May 16 11:13:01 2013 -0700
Move doc specific .gitignore stuff to doc/.gitignore
commit 8c108d4e0df848839bcd6b4c22d623053f590e95
Author: Trevor Elliott <trevor@galois.com>
Date: Wed May 15 10:42:41 2013 -0700
Fix some path inconsistencies in the contexts build.mk
commit ee53404be09cf26983365374da84ade564b92926
Author: Trevor Elliott <trevor@galois.com>
Date: Wed May 15 10:37:40 2013 -0700
Preliminary build system changes
* Chrome extension builds, but there are problems
commit 474c6b88190787aeffd960ffb5855d31770e7141
Author: Trevor Elliott <trevor@galois.com>
Date: Mon May 13 19:06:31 2013 -0700
Remove the closure toolkit
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/Makefile | 35 | ||||
-rw-r--r-- | profiles/build.mk | 21 |
2 files changed, 21 insertions, 35 deletions
diff --git a/profiles/Makefile b/profiles/Makefile deleted file mode 100644 index 7da5900..0000000 --- a/profiles/Makefile +++ /dev/null @@ -1,35 +0,0 @@ - -# 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/build.mk b/profiles/build.mk new file mode 100644 index 0000000..9aff102 --- /dev/null +++ b/profiles/build.mk @@ -0,0 +1,21 @@ + +# Macros ####################################################################### + +define profile +unpack: profile-$1 + +.PHONY: profile-$1 +profile-$1: | $(path)/$1 + +$(path)/$1: $(path)/$1.tar + tar -C $(path) -xvf $$< + +clean:: + $(RM) -r $(path)/$1 +endef + + +# Profile Management ########################################################### + +$(eval $(call profile,chrome)) +$(eval $(call profile,firefox)) |